Polyform.Tokenized.Dual

data DualD p s i o o'

Constructors

• DualD (Tokenized p i o') (o -> s (List i))

Instances

• (Profunctor p) => Functor (DualD p s i o)
• (Applicative s, Profunctor p, Semigroupoid p, Strong p) => Apply (DualD p s i o')
• (Applicative s, Category p, Profunctor p, Strong p) => Applicative (DualD p s i o')
• (Profunctor p) => Profunctor (DualD p s i)

newtype Dual p s i o

Constructors

• Dual (DualD p s i o o)

Instances

• Newtype (Dual p s i o) _

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

pureDual :: forall i o p s. Category p => Strong p => Applicative s => o -> Dual p s i o

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

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

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

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

liftUntokenized :: forall i o p s. Functor s => Strong p => Dual p s (Maybe i) o -> Dual p s i o

unliftUntokenized :: forall i o p s. Profunctor p => Dual p s i o -> Dual p s (List i) o