Data.Extensible.Sum

Documentation

data h :| s where

The extensible sum type

(:|) :: (k -> *) -> [k] -> *

Constructors

EmbedAt :: !(Membership xs x) -> h x -> h :| xs

Instances

(Applicative f, Choice p) => Extensible k f p ((:|) k)

Typeable ((k -> *) -> [k] -> *) ((:|) k)

WrapForall k * Eq h xs => Eq ((:|) k h xs)

(Eq ((:|) k h xs), WrapForall k * Ord h xs) => Ord ((:|) k h xs)

WrapForall k * Show h xs => Show ((:|) k h xs)

hoist :: (forall x. g x -> h x) -> (g :| xs) -> h :| xs

Change the wrapper.

embed :: x ∈ xs => h x -> h :| xs

O(1) lift a value.

strike :: forall h x xs. x ∈ xs => (h :| xs) -> Maybe (h x)

Try to extract something you want.

strikeAt :: forall h x xs. Membership xs x -> (h :| xs) -> Maybe (h x)

Try to extract something you want.

(<:|) :: (h x -> r) -> ((h :| xs) -> r) -> (h :| (x : xs)) -> r infixr 1

O(1) Naive pattern match

exhaust :: (h :| []) -> r

There is no empty union.

picked :: forall f h x xs. (x ∈ xs, Applicative f) => (h x -> f (h x)) -> (h :| xs) -> f (h :| xs)

Deprecated: Use piece instead

A traversal that tries to point a specific element.

embedAssoc :: Associate k a xs => h (k :> a) -> h :| xs

Embed a value, but focuses on its key.

pattern UnionAt (Membership k t x) (t x) :: (:|) k t t

Deprecated: This has renamed to EmbedAt