Mit.Monad

Documentation

data Mit r x a

Instances

MonadIO (Mit r x)

Defined in Mit.Monad

Methods

liftIO :: IO a -> Mit r x a

Applicative (Mit r x)

Defined in Mit.Monad

Methods

pure :: a -> Mit r x a

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

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

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

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

Functor (Mit r x)

Defined in Mit.Monad

Methods

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

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

Monad (Mit r x)

Defined in Mit.Monad

Methods

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

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

return :: a -> Mit r x a

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

io :: IO a -> Mit r x a

getEnv :: Mit r x r

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

type Goto r x a = forall xx void. Label (X x a) xx => a -> Mit r xx void

class Label a b

Instances

Label (X a b) (X c d) => Label (X a b) (X (X c d) e)

Defined in Mit.Monad

Methods

bury :: X a b -> X (X c d) e

Label (X a b) (X a b)

Defined in Mit.Monad

Methods

bury :: X a b -> X a b

label :: forall r x a. (Goto r x a -> Mit r (X x a) a) -> Mit r x a

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

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

data X a b

Instances

Label (X a b) (X c d) => Label (X a b) (X (X c d) e)

Defined in Mit.Monad

Methods

bury :: X a b -> X (X c d) e

Label (X a b) (X a b)

Defined in Mit.Monad

Methods

bury :: X a b -> X a b