Control.Alternative.Free.Final

Final encoding of free Alternative functors.

Documentation

newtype Alt f a

The free Alternative for a Functor f.

Constructors

Alt

Fields

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

Instances

Alternative (Alt f)

Functor (Alt f)

Applicative (Alt f)

Alt (Alt f)

Apply (Alt f)

Monoid (Alt f a)

Semigroup (Alt f a)

runAlt :: forall f g a. 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.

liftAlt :: f a -> Alt f a

A version of lift that can be used with f.

hoistAlt :: (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.