Data.Variant.Internal

data FProxy (a :: Type -> Type)

Proxy for a Functor.

Constructors

• FProxy

Instances

• (VariantFMatchEachCase v r a res) => VariantFMatchEachCase (Cons sym (FProxy f) v) (Cons sym (f a -> res) r) a res

data VariantCase :: Type

class VariantTags (rl :: RowList)  where

Members

• variantTags :: RLProxy rl -> List String

Instances

• VariantTags Nil
• (VariantTags rs, IsSymbol sym) => VariantTags (Cons sym a rs)

class Contractable gt lt  where

Members

• contractWith :: forall a f. Alternative f => RProxy gt -> RProxy lt -> String -> a -> f a

Instances

• (RowToList lt ltl, Union lt a gt, VariantTags ltl) => Contractable gt lt

class VariantRecordMatching (variant :: Row Type) (record :: Row Type) result |  -> variant record result

Type class that matches a row for a record that will eliminate a row for a variant, producing a result of the specified type. Just a wrapper for RLMatch to convert RowToList and vice versa.

Instances

• (RowToList variant vlist, RowToList record rlist, VariantMatchEachCase vlist rlist result, ListToRow vlist variant, ListToRow rlist record) => VariantRecordMatching variant record result

class VariantMatchEachCase (vlist :: RowList) (rlist :: RowList) result | vlist -> rlist result, rlist -> vlist result

Checks that a RowList matches the argument to be given to the function in the other RowList with the same label, such that it will produce the result type.

Instances

• VariantMatchEachCase Nil Nil r
• (VariantMatchEachCase v r res) => VariantMatchEachCase (Cons sym a v) (Cons sym (a -> res) r) res

class VariantFRecordMatching (variant :: Row Type) (record :: Row Type) typearg result |  -> variant record typearg result

Instances

• (RowToList variant vlist, RowToList record rlist, VariantFMatchEachCase vlist rlist typearg result, ListToRow vlist variant, ListToRow rlist record) => VariantFRecordMatching variant record typearg result

class VariantFMatchEachCase (vlist :: RowList) (rlist :: RowList) typearg result | vlist -> rlist typearg result, rlist -> vlist typearg result

Checks that a RowList matches the argument to be given to the function in the other RowList with the same label, such that it will produce the result type.

Instances

• VariantFMatchEachCase Nil Nil a r
• (VariantFMatchEachCase v r a res) => VariantFMatchEachCase (Cons sym (FProxy f) v) (Cons sym (f a -> res) r) a res

lookupTag :: String -> List String -> Boolean

A specialized lookup function which bails early. Foldable's elem is always worst-case.

lookupEq :: List String -> List (VariantCase -> VariantCase -> Boolean) -> Tuple String VariantCase -> Tuple String VariantCase -> Boolean

lookupOrd :: List String -> List (VariantCase -> VariantCase -> Ordering) -> Tuple String VariantCase -> Tuple String VariantCase -> Ordering

lookup :: forall a. String -> String -> List String -> List a -> a

unsafeGet :: forall a r. String -> Record r -> a

data RProxy (row :: Row Type)

Constructors

• RProxy

data RLProxy (rowList :: RowList)

Constructors

• RLProxy