Modulefree-5.2Haskell2010

Control.Alternative.Free.Final

Final encoding of free Alternative functors.

Synopsis

newtypenewtype Alt (f :: Type -> Type) a

The free Alternative for any f.

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

Instances7Functor, Applicative, Alternative, Alt, Apply, Semigroup, …

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

Given a natural transformation from f to g, this gives a canonical monoidal natural transformation from Alt f to g.

valueliftAlt :: f a -> Alt f a

A version of lift that can be used with f.

valuehoistAlt :: (forall a. f a -> g a) -> Alt f b -> Alt g b

Given a natural transformation from f to g this gives a monoidal natural transformation from Alt f to Alt g.