reasonable-operational-0.1.0.1: library for takahashi method.
Control.Monad.Operational
data CoYoneda f x where Source
Constructors
Instances
liftCoYoneda :: f a -> CoYoneda f a Source
data Free f r Source
liftF :: Functor f => f r -> Free f r Source
newtype Program f a Source
Fields
singleton :: f a -> Program f a Source
interpret :: forall instr m b. Monad m => (forall a. instr a -> m a) -> Program instr b -> m b Source