Module

Polyform.Tokenized

Package: purescript-polyform
Repository: purescript-polyform/polyform

#Tokenized Source

newtype Tokenized p i o

TODO: Should we move from List i to Array i /\ Int so we can improve error reporting?

Constructors

Tokenized (p ((List i) /\ (Maybe i)) ((List i) /\ o))

Instances

(Profunctor p) => Functor (Tokenized p i)
(Profunctor p, Semigroupoid p, Strong p) => Apply (Tokenized p i)
(Category p, Profunctor p, Strong p) => Applicative (Tokenized p i)
(Alt (p (Maybe i)), Category p, Costrong p, Strong p) => Alt (Tokenized p i)

#uncons Source

uncons :: forall t6. List t6 -> (List t6) /\ (Maybe t6)

#liftUntokenized Source

liftUntokenized :: forall i o p. Strong p => p (Maybe i) o -> Tokenized p i o

#unliftUntokenized Source

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