Mit.Monad

Documentation

data Mit r a

Instances

MonadIO (Mit r)

Defined in Mit.Monad

Methods

liftIO :: IO a -> Mit r a

Applicative (Mit r)

Defined in Mit.Monad

Methods

pure :: a -> Mit r a

(<*>) :: Mit r (a -> b) -> Mit r a -> Mit r b

liftA2 :: (a -> b -> c) -> Mit r a -> Mit r b -> Mit r c

(*>) :: Mit r a -> Mit r b -> Mit r b

(<*) :: Mit r a -> Mit r b -> Mit r a

Functor (Mit r)

Defined in Mit.Monad

Methods

fmap :: (a -> b) -> Mit r a -> Mit r b

(<$) :: a -> Mit r b -> Mit r a

Monad (Mit r)

Defined in Mit.Monad

Methods

(>>=) :: Mit r a -> (a -> Mit r b) -> Mit r b

(>>) :: Mit r a -> Mit r b -> Mit r b

return :: a -> Mit r a

runMit :: r -> Mit r a -> IO a

io :: IO a -> Mit r a

getEnv :: Mit r r

withEnv :: (r -> s) -> Mit s a -> Mit r a

type Goto r a = forall void. a -> Mit r void

label :: (Goto r a -> Mit r a) -> Mit r a

with :: (forall v. (a -> IO v) -> IO v) -> (a -> Mit r b) -> Mit r b

with_ :: (forall v. IO v -> IO v) -> Mit r a -> Mit r a