Free.AlaCarte

Documentation

data (f :+: g) e infixr 8

Constructors

Left' (f e)

Right' (g e)

Instances

(Functor f, Functor g) => f :<: (f :+: g)

Defined in Free.AlaCarte

Methods

inj :: f a -> (f :+: g) a

prj :: (f :+: g) a -> Maybe (f a)

(Functor f, Functor g, f :<: g, Functor h) => f :<: (h :+: g)

Defined in Free.AlaCarte

Methods

inj :: f a -> (h :+: g) a

prj :: (h :+: g) a -> Maybe (f a)

(Functor f, Functor g) => Functor (f :+: g)

Defined in Free.AlaCarte

Methods

fmap :: (a -> b) -> (f :+: g) a -> (f :+: g) b

(<$) :: a -> (f :+: g) b -> (f :+: g) a

(Exec f, Exec g) => Exec (f :+: g)

Defined in Free.AlaCarte

Methods

execAlgebra :: (f :+: g) (IO a) -> IO a

class (Functor sub, Functor sup) => sub :<: sup where

Methods

inj :: sub a -> sup a

prj :: sup a -> Maybe (sub a)

Instances

Functor f => f :<: f

Defined in Free.AlaCarte

Methods

inj :: f a -> f a

prj :: f a -> Maybe (f a)

(Functor f, Functor g) => f :<: (f :+: g)

Defined in Free.AlaCarte

Methods

inj :: f a -> (f :+: g) a

prj :: (f :+: g) a -> Maybe (f a)

(Functor f, Functor g, f :<: g, Functor h) => f :<: (h :+: g)

Defined in Free.AlaCarte

Methods

inj :: f a -> (h :+: g) a

prj :: (h :+: g) a -> Maybe (f a)

data Free f a

Constructors

Pure a

Impure (f (Free f a))

Instances

Functor f => Applicative (Free f)

Defined in Free.AlaCarte

Methods

pure :: a -> Free f a

(<*>) :: Free f (a -> b) -> Free f a -> Free f b

liftA2 :: (a -> b -> c) -> Free f a -> Free f b -> Free f c

(*>) :: Free f a -> Free f b -> Free f b

(<*) :: Free f a -> Free f b -> Free f a

Functor f => Functor (Free f)

Defined in Free.AlaCarte

Methods

fmap :: (a -> b) -> Free f a -> Free f b

(<$) :: a -> Free f b -> Free f a

Functor f => Monad (Free f)

Defined in Free.AlaCarte

Methods

(>>=) :: Free f a -> (a -> Free f b) -> Free f b

(>>) :: Free f a -> Free f b -> Free f b

return :: a -> Free f a

foldFree :: forall f a b. Functor f => (a -> b) -> (f b -> b) -> Free f a -> b

exec :: Exec f => Free f a -> IO a

class Functor f => Exec f where

Methods

execAlgebra :: f (IO a) -> IO a

Instances

(Exec f, Exec g) => Exec (f :+: g)

Defined in Free.AlaCarte

Methods

execAlgebra :: (f :+: g) (IO a) -> IO a

injectFree :: g :<: f => g (Free f a) -> Free f a