Util.Free

Documentation

newtype F f a

Constructors

F

Fields

runF :: forall r. (a -> r) -> (f r -> r) -> r

Instances

Functor f => Monad (F f)

Functor f => Functor (F f)

Functor f => Applicative (F f)

liftF :: Functor f => f a -> F f a

A version of lift that can be used with just a Functor for f.