Copyright	(c) Fumiaki Kinoshita 2015
License	BSD3
Maintainer	Fumiaki Kinoshita <fumiexcel@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Extensible.Union

Description

Synopsis

Documentation

(<?!~) :: (forall b. f b -> (b -> x) -> a) -> (Match (Flux x) a :* fs) -> Match (Flux x) a :* (f : fs) infixr 1 Source

Prepend a clause for Match (Flux x) as well as (<?!).

newtype Union fs a Source

A union of * -> * types.

Constructors

Union
Fields getUnion :: Flux a :\| fs

Instances

Functor (Union fs)	fast fmap
Typeable ([* -> ] -> -> *) Union

liftU :: f ∈ fs => f a -> Union fs a Source

O(log n) Embed a value.

data Flux a f where Source

Constructors

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

mapFlux :: (a -> b) -> Flux a f -> Flux b f Source

fmap for the content.