Copyright	(C) 2012 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	GADTs, Rank2Types
Safe Haskell	Safe
Language	Haskell2010

Control.Alternative.Free.Final

Description

Final encoding of free Alternative functors.

Synopsis

Documentation

newtype Alt f a Source

The free Alternative for a Functor f.

Constructors

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

Instances

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

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

A version of lift that can be used with f.

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

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