Control.Monad.Free.Reflectable

A free monad that supports alternating between building and observing. It supports all operations (>>=, return, fromView and toView) in worst case constant time.

See the paper Reflection without Remorse: Revealing a hidden sequence to speed up Monadic Reflection, Atze van der Ploeg and Oleg Kiselyov, Haskell Symposium 2014 for more details.

Paper: http://homepages.cwi.nl/~ploeg/zseq.pdf Talk : http://www.youtube.com/watch?v=_XoI65Rxmss

Documentation

data FreeMonadView f a

Constructors

Pure a

Impure (f (FreeMonad f a))

data FreeMonad f a

Instances

Monad (FreeMonad f)

Functor (FreeMonad f)

Applicative (FreeMonad f)

fromView :: FreeMonadView f a -> FreeMonad f a

toView :: Functor f => FreeMonad f a -> FreeMonadView f a