Data.Extensible.Inclusion

Inclusion

type (⊆) xs ys = Include ys xs

Unicode alias for Include

type Include ys = Forall (Member ys)

ys contains xs

inclusion :: forall xs ys. Include ys xs => xs :& Membership ys

Reify the inclusion of type level sets.

shrink :: xs ⊆ ys => (ys :& h) -> xs :& h

O(n) Select some elements.

spread :: xs ⊆ ys => (xs :/ h) -> ys :/ h

O(1) Embed to a larger union.

Key-value

type IncludeAssoc ys = Forall (Associated ys)

Similar to Include, but this focuses on keys.

class Associated' xs t => Associated xs t

Associated xs (k ':> v) is equivalent to Associate k v xs

Minimal complete definition

getAssociation

Instances

(Associated' xs t, t ~ (k2 :> v2)) => Associated (xs :: [Assoc k1 v1]) (t :: Assoc k1 v1)

Defined in Data.Extensible.Inclusion

Methods

getAssociation :: Membership xs t

type family Associated' (xs :: [Assoc k v]) (t :: Assoc k v) :: Constraint where ...

Equations

Associated' xs (k :> v) = Lookup xs k v

inclusionAssoc :: forall xs ys. IncludeAssoc ys xs => xs :& Membership ys

Reify the inclusion of type level sets.

shrinkAssoc :: IncludeAssoc ys xs => (ys :& h) -> xs :& h

O(n) Select some elements.

spreadAssoc :: IncludeAssoc ys xs => (xs :/ h) -> ys :/ h

O(1) Embed to a larger union.