Data.Extensible.Sum

Documentation

data (h :: k -> *) :| (s :: [k]) 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)

Associated Types

type ExtensibleConstr f (t :: (f -> *) -> [f] -> *) (h :: f -> *) (xs :: [f]) (x :: f) :: Constraint

Methods

pieceAt :: ExtensibleConstr f t h xs x => Membership f xs x -> Optic' * * ((:|) k) p (t h xs) (h x)

(∈) k (Last k xs) xs => Bounded ((:|) k (Proxy k) xs)

Methods

minBound :: (k :| Proxy k) xs

maxBound :: (k :| Proxy k) xs

Enum ((:|) k (Proxy k) xs)

Methods

succ :: (k :| Proxy k) xs -> (k :| Proxy k) xs

pred :: (k :| Proxy k) xs -> (k :| Proxy k) xs

toEnum :: Int -> (k :| Proxy k) xs

fromEnum :: (k :| Proxy k) xs -> Int

enumFrom :: (k :| Proxy k) xs -> [(k :| Proxy k) xs]

enumFromThen :: (k :| Proxy k) xs -> (k :| Proxy k) xs -> [(k :| Proxy k) xs]

enumFromTo :: (k :| Proxy k) xs -> (k :| Proxy k) xs -> [(k :| Proxy k) xs]

enumFromThenTo :: (k :| Proxy k) xs -> (k :| Proxy k) xs -> (k :| Proxy k) xs -> [(k :| Proxy k) xs]

type ExtensibleConstr k ((:|) k) h xs x

type ExtensibleConstr k ((:|) k) h xs x = ()

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.

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

Embed a value, but focuses on its key.