Data.Extensible.Plain

Documentation

type AllOf xs = xs :& Identity

Alias for plain products

type OneOf xs = xs :/ Identity

Alias for plain sums

(<%) :: x -> AllOf xs -> AllOf (x ': xs) infixr 5

O(log n) Add a plain value to a product.

pluck :: x ∈ xs => AllOf xs -> x

Extract a plain value.

bury :: x ∈ xs => x -> OneOf xs

Embed a plain value.

(<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x ': xs) -> r infixr 1

Naive pattern matching for a plain value.

accessing :: (Coercible x a, x ∈ xs, Extensible f p t, ExtensibleConstr t xs Identity x) => (a -> x) -> Optic' p f (t xs Identity) a

An accessor for newtype constructors.