minioperational-0.1: fast and simple operational monad

Portabilitynon-portable
Stabilityexperimental
MaintainerFumiaki Kinsohita <fumiexcel@gmail.com>
Safe HaskellNone

Control.Monad.Operational.Mini

Description

Simple operational monad from a free monad

Documentation

type Program t = F (Yoneda t)Source

interpret :: Monad m => (forall x. t x -> m x) -> Program t a -> m aSource

module Control.Monad.Operational.Class