Data.Karakuri

Documentation

data Karakuri m a

Karakuri means automaton in Japanese.

Constructors

forall s . Karakuri (s -> m s) (s -> a) s

Instances

Functor (Karakuri m)

Monad m => Applicative (Karakuri m)

Comonad (Karakuri m)

Monad m => ComonadApply (Karakuri m)

type Karakuri' = Karakuri Identity

step :: Monad m => Karakuri m a -> m (Karakuri m a)

Run a Karakuri.

transKarakuri :: (forall s. m s -> n s) -> Karakuri m a -> Karakuri n a

stateful :: Monad m => StateT s m () -> s -> Karakuri m s

Create a Karakuri from the stateful action.

stateful' :: Monad m => State s () -> s -> Karakuri m s

Create a Karakuri from the stateful action.

effective :: Monad m => a -> m a -> Karakuri m a

Create a Karakuri that performs the given action every time.