Fumiaki Kinoshita fumieval

🐦

Birb

Bird lover

fumieval / progLA.hs

Last active August 29, 2015 14:05 — forked from myuon/progLA.hs

	{-# LANGUAGE GADTs, FlexibleContexts, TemplateHaskell #-}
	import Control.Monad.State
	import qualified Data.IntMap as M
	import Control.Lens

	data Field = Field String (M.IntMap Chara) deriving (Show)
	data Chara = Chara String deriving (Show)
	updateField f (Field s m) = Field (f s) m
	updateChara f (Chara s) = Chara (f s)

fumieval / haru_station_info.py

Last active August 29, 2015 14:07 — forked from karno/haru_station_info.py

fumieval / extensible.hs

Last active March 17, 2018 20:48 — forked from cdepillabout/extensible.hs

small example of hlist from extensible library

	{-# LANGUAGE TypeOperators #-}
	import Control.Applicative
	import Data.Extensible
	import Control.Monad.Trans.Maybe
	import Data.Text

	-- the shape of the problem
	--
	-- we want a list of Parsers, all of different types.
	-- we will apply each of them, one after another,

fumieval / questionasker.hs

Created March 16, 2018 08:15 — forked from anonymous/questionasker.hs

	module Parser where
	import Control.Applicative
	import Data.Text

	-- the shape of the problem
	--
	-- we want a list of Parsers, all of different types.
	-- we will apply each of them, one after another,
	-- in the context of asking questions in some monadic
	-- context.