Module

Data.Functor.Polynomial.Variant

Package: purescript-dissect
Repository: PureFunctor/purescript-dissect

This module provides a VariantF-like type specialized to contain polynomial functors and to be dissectible itself. Likewise, operations such as inj, case_, and on are also provided.

#VariantF Source

data VariantF :: forall k. Row (k -> Type) -> k -> Typedata VariantF r a

Instances

Functor (VariantF r)
(RowToList r r', DissectRow r' s', ListToRow s' s) => Dissect (VariantF r) (VariantF_2 s)
(RowToList r r', DissectRow r' s', PlugRow r' s', ListToRow s' s) => Plug (VariantF r) (VariantF_2 s)

#inj Source

inj :: forall n p q t r a. Functor p => Bifunctor q => Cons n p t r => IsSymbol n => Dissect p q => Plug p q => Proxy n -> p a -> VariantF r a

Inject a polynomial functor to a variant given a label.

#case_ Source

case_ :: forall a b. VariantF () a -> b

Combinator for pattern matching.

#on Source

on :: forall n r s p a b. Cons n p s r => IsSymbol n => Proxy n -> (p a -> b) -> (VariantF s a -> b) -> VariantF r a -> b

Attempt to read a variant given a label, defaulting to a failure branch with the failing label removed.

#VariantF_2 Source

data VariantF_2 :: Row (Type -> Type -> Type) -> Type -> Type -> Typedata VariantF_2 r a b

Instances

Bifunctor (VariantF_2 r)
(RowToList r r', DissectRow r' s', ListToRow s' s) => Dissect (VariantF r) (VariantF_2 s)
(RowToList r r', DissectRow r' s', PlugRow r' s', ListToRow s' s) => Plug (VariantF r) (VariantF_2 s)

#inj_2 Source

inj_2 :: forall n p q t r a b. Functor p => Bifunctor q => Cons n q t r => IsSymbol n => Dissect p q => Plug p q => Proxy n -> q a b -> VariantF_2 r a b

#DissectRow Source

class DissectRow :: RowList (Type -> Type) -> RowList (Type -> Type -> Type) -> Constraintclass DissectRow r s | r -> s

Instances

DissectRow Nil Nil
(DissectRow r s, Dissect p q) => DissectRow (Cons n p r) (Cons n q s)

#PlugRow Source

class PlugRow :: RowList (Type -> Type) -> RowList (Type -> Type -> Type) -> Constraintclass PlugRow r s | r -> s

Instances

PlugRow Nil Nil
(PlugRow r s, Plug p q) => PlugRow (Cons n p r) (Cons n q s)

Modules: Data.Functor.Polynomial; Data.Functor.Polynomial.Variant; Data.Functor.Polynomial.Variant.Internal; Dissect.Class