Module

Data.Functor.Polynomial.Variant.Internal

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

#VariantFRep Source

newtype VariantFRep :: (Type -> Type) -> (Type -> Type -> Type) -> Type -> Typenewtype VariantFRep p q a

Constructors

VariantFRep { bimap :: forall v w x y. (v -> w) -> (x -> y) -> q v x -> q w y, map :: forall x y. (x -> y) -> p x -> p y, plug :: forall x. x -> q x x -> p x, right :: forall c j. Either (p j) (Tuple (q c j) c) -> Either (Tuple j (q c j)) (p c), tag :: String, value :: p a }

#VariantFRep_2 Source

newtype VariantFRep_2 :: (Type -> Type) -> (Type -> Type -> Type) -> Type -> Type -> Typenewtype VariantFRep_2 p q a b

Constructors

VariantFRep_2 { bimap :: forall v w x y. (v -> w) -> (x -> y) -> q v x -> q w y, map :: forall x y. (x -> y) -> p x -> p y, plug :: forall x. x -> q x x -> p x, right :: forall c j. Either (p j) (Tuple (q c j) c) -> Either (Tuple j (q c j)) (p c), tag :: String, value :: q a b }

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