Data.Extensible.League

Efficient extensible functor

Documentation

newtype League fs a

A much more efficient representation for Union of Functors.

Constructors

League

Fields

getLeague :: Fuse a :| fs

Instances

Functor (League fs)

fast fmap

Typeable ([* -> *] -> * -> *) League

liftL :: (Functor f, f ∈ fs) => f a -> League fs a

O(log n) Embed a functor.

newtype Fuse a f

Flipped Yoneda

Constructors

Fuse

Fields

getFuse :: forall b. (a -> b) -> f b

meltdown :: Fuse a f -> f a

Fuse Fuse to retract a substantial functor.

mapFuse :: (a -> b) -> Fuse a f -> Fuse b f

fmap for the content.

(<?~) :: (f x -> a) -> (Match (Fuse x) a :* fs) -> Match (Fuse x) a :* (f : fs) infixr 1

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