Parsley.Internal.Core.InputTypes

Documentation

data Stream

An input type that represents an infinite stream of input characters.

Since: 0.1.0.0

Constructors

!Char :> Stream

Instances

PositionOps Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Proxy Stream -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Proxy Stream -> Code rep -> Code Int# -> Code rep

InputPrep Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Code Stream -> Code (InputDependant rep)

MarshalOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

dynHandler :: StaHandler s Stream a -> DynHandler s Stream a

dynCont :: StaCont s Stream a x -> DynCont s Stream a x

RecBuilder Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

buildIter :: Ctx s Stream a -> MVar Void -> Machine s Stream '[] One Void a -> (Code (Rep Stream) -> StaHandler s Stream a) -> Code (Rep Stream) -> Code (ST s (Maybe a))

buildRec :: forall r (rs :: [Type]) s a. MVar r -> Regs rs -> Ctx s Stream a -> Machine s Stream '[] One r a -> DynFunc rs s Stream a r

JoinBuilder Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

setupJoinPoint :: forall x s (xs :: [Type]) (n :: Nat) r a. ΦVar x -> Machine s Stream (x ': xs) n r a -> Machine s Stream xs n r a -> MachineMonad s Stream xs n r a

HandlerOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

bindHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s Stream xs n r a -> (Code (Rep Stream) -> StaHandler s Stream a) -> (Γ s Stream xs ('Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

Input Stream

Defined in Parsley.Internal.Backend.Machine

newtype CharList

By wrapping a regular String with this newtype, Parsley will not preprocess it into an array of characters, instead using regular pattern matching for the implementation.

Since: 0.1.0.0

Constructors

CharList String

Instances

PositionOps CharList

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind CharList)). rep ~ Rep CharList => Proxy CharList -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind CharList)). rep ~ Rep CharList => Proxy CharList -> Code rep -> Code Int# -> Code rep

InputPrep CharList

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind CharList)). rep ~ Rep CharList => Code CharList -> Code (InputDependant rep)

MarshalOps CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

dynHandler :: StaHandler s CharList a -> DynHandler s CharList a

dynCont :: StaCont s CharList a x -> DynCont s CharList a x

RecBuilder CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

buildIter :: Ctx s CharList a -> MVar Void -> Machine s CharList '[] One Void a -> (Code (Rep CharList) -> StaHandler s CharList a) -> Code (Rep CharList) -> Code (ST s (Maybe a))

buildRec :: forall r (rs :: [Type]) s a. MVar r -> Regs rs -> Ctx s CharList a -> Machine s CharList '[] One r a -> DynFunc rs s CharList a r

JoinBuilder CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

setupJoinPoint :: forall x s (xs :: [Type]) (n :: Nat) r a. ΦVar x -> Machine s CharList (x ': xs) n r a -> Machine s CharList xs n r a -> MachineMonad s CharList xs n r a

HandlerOps CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

bindHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s CharList xs n r a -> (Code (Rep CharList) -> StaHandler s CharList a) -> (Γ s CharList xs ('Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

Input CharList

Defined in Parsley.Internal.Backend.Machine

newtype Text16

By wrapping a regular Text input with this newtype, Parsley will assume that all of the characters fit into exactly one 16-bit chunk. This allows the consumption of characters in the datatype to be consumed much faster, but does not support multi-word characters.

Since: 0.1.0.0

Constructors

Text16 Text

Instances

PositionOps Text16

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind Text16)). rep ~ Rep Text16 => Proxy Text16 -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind Text16)). rep ~ Rep Text16 => Proxy Text16 -> Code rep -> Code Int# -> Code rep

InputPrep Text16

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind Text16)). rep ~ Rep Text16 => Code Text16 -> Code (InputDependant rep)

MarshalOps Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

dynHandler :: StaHandler s Text16 a -> DynHandler s Text16 a

dynCont :: StaCont s Text16 a x -> DynCont s Text16 a x

RecBuilder Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

buildIter :: Ctx s Text16 a -> MVar Void -> Machine s Text16 '[] One Void a -> (Code (Rep Text16) -> StaHandler s Text16 a) -> Code (Rep Text16) -> Code (ST s (Maybe a))

buildRec :: forall r (rs :: [Type]) s a. MVar r -> Regs rs -> Ctx s Text16 a -> Machine s Text16 '[] One r a -> DynFunc rs s Text16 a r

JoinBuilder Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

setupJoinPoint :: forall x s (xs :: [Type]) (n :: Nat) r a. ΦVar x -> Machine s Text16 (x ': xs) n r a -> Machine s Text16 xs n r a -> MachineMonad s Text16 xs n r a

HandlerOps Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

bindHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s Text16 xs n r a -> (Code (Rep Text16) -> StaHandler s Text16 a) -> (Γ s Text16 xs ('Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

Input Text16

Defined in Parsley.Internal.Backend.Machine

nomore :: Stream

The "end" of a stream, an infinite stream of '\0' (null) characters

Since: 0.1.0.0