Polyform.Dual

data DualD p i o o'

D from diverging as o' can be different from o. They "join" in Dual type which wraps DualD a few lines below.

Constructors

• DualD (p i o') (o -> i)

Instances

• (Functor (p i)) => Functor (DualD p i o)
• (Apply (p i), Semigroup i) => Apply (DualD p i o')
• (Applicative (p i), Monoid i) => Applicative (DualD p i o')
• (Alt (p i)) => Alt (DualD p i o')
• (Plus (p i), Alt (p i), Monoid i) => Plus (DualD p i o')
• (Functor (p i)) => Profunctor (DualD p i)

newtype Dual p i o

Dual turns DualD into Invariant (it differs from Join).

Constructors

• Dual (DualD p i o o)

Instances

• Newtype (Dual p i o) _
• (Functor (p i)) => Invariant (Dual p i)
• (Semigroupoid p) => Semigroupoid (Dual p)
• (Category p) => Category (Dual p)

dual :: forall p o i. (p i o) -> (o -> i) -> Dual p i o

parser :: forall p o i. Dual p i o -> p i o

serializer :: forall p o i. Dual p i o -> (o -> i)

hoist :: forall q p o i. ((p i) ~> (q i)) -> Dual p i o -> Dual q i o

Operator alias for Polyform.Dual.diverge (left-associative / precedence 5)

diverge :: forall p o' o i. Functor (p i) => Profunctor p => (o' -> o) -> Dual p i o -> DualD p i o' o