Env.Internal.Free

Alt F is the free Alternative functor on F

Documentation

data Alt f a where

Constructors

Nope :: Alt f a

Pure :: a -> Alt f a

Ap :: Alt f (a -> b) -> Alt f a -> Alt f b

Alt :: Alt f a -> Alt f a -> Alt f a

Lift :: f a -> Alt f a

Instances

Functor f => Functor (Alt f)

Functor f => Applicative (Alt f)

Functor f => Alternative (Alt f)

liftAlt :: f a -> Alt f a

runAlt :: forall f g a. Alternative g => (forall x. f x -> g x) -> Alt f a -> g a

foldAlt :: Monoid p => (forall a. f a -> p) -> Alt f b -> p

hoistAlt :: forall f g b. Functor g => (forall a. f a -> g a) -> Alt f b -> Alt g b

Debug

inspect :: Alt f a -> String

Print the free structure