Module

Polyform.Tokenized.Dual

Package
purescript-polyform
Repository
purescript-polyform/polyform

#DualD Source

data DualD p s i o o'

Constructors

Instances

#Dual Source

newtype Dual p s i o

Constructors

Instances

#dual Source

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

#pureDual Source

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

#diverge Source

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

#(~) Source

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

#parser Source

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

#serializer Source

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

#liftUntokenized Source

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

#unliftUntokenized Source

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