Copyright	(C) 2016 Aaron Levin
License	BSD-style (see the file LICENSE)
Maintainer	Aaron Levin <aaron.michael.benjamin.levin@gmail.com>
Stability	provisional
Portability	non-portable (rank-2 polymorphism)
Safe Haskell	Safe
Language	Haskell2010

Control.Monad.Free.VanLaarhoven

Description

"van Laarhoven encoded Free Monad"

Synopsis

newtype Free effect a = Free {
- runFree :: forall m. Monad m => effect m -> m a
}

Documentation

newtype Free effect a #

The van Laarhoven-encoded Free Monad

Constructors

Free
Fields runFree :: forall m. Monad m => effect m -> m a

Instances

Monad (Free effect) #
Instance details Defined in Control.Monad.Free.VanLaarhoven Methods (>>=) :: Free effect a -> (a -> Free effect b) -> Free effect b # (>>) :: Free effect a -> Free effect b -> Free effect b # return :: a -> Free effect a # fail :: String -> Free effect a #
Functor (Free effect) #
Instance details Defined in Control.Monad.Free.VanLaarhoven Methods fmap :: (a -> b) -> Free effect a -> Free effect b # (<$) :: a -> Free effect b -> Free effect a #
Applicative (Free effect) #
Instance details Defined in Control.Monad.Free.VanLaarhoven Methods pure :: a -> Free effect a # (<>) :: Free effect (a -> b) -> Free effect a -> Free effect b # liftA2 :: (a -> b -> c) -> Free effect a -> Free effect b -> Free effect c # (>) :: Free effect a -> Free effect b -> Free effect b # (<*) :: Free effect a -> Free effect b -> Free effect a #