Parsley.Internal.Core.InputTypes

Extra types of input specialised for specific scenarios.

Since: 1.0.0.0

Documentation

data Stream

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

Since: 0.1.0.0

Constructors

!Char :> Stream

Instances

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.BindingOps

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.BindingOps

Methods

bindIterHandler# :: (Code (Rep Stream) -> StaHandler# s Stream a) -> (Code (Rep Stream -> Handler# s Stream a) -> Code b) -> Code b

bindIter# :: Code (Rep Stream) -> (DynHandler s Stream a -> Code (Rep Stream) -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

bindRec# :: (DynSubroutine s Stream a x -> DynCont s Stream a x -> Code (Rep Stream) -> DynHandler s Stream a -> Code (ST s (Maybe a))) -> DynSubroutine s Stream a x

JoinBuilder Stream

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

setupJoinPoint# :: StaCont# s Stream a x -> (DynCont s Stream a x -> Code b) -> Code b

HandlerOps Stream

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

bindHandler# :: StaHandler# s Stream a -> (DynHandler s Stream a -> Code b) -> Code b

Input Stream

Defined in Parsley.Internal.Backend.Machine

PositionOps (# Int#, Stream #)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: Code (# Int#, Stream #) -> Code (# Int#, Stream #) -> Code Bool

shiftRight :: Code (# Int#, Stream #) -> Code Int# -> Code (# Int#, Stream #)

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

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.BindingOps

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.BindingOps

Methods

bindIterHandler# :: (Code (Rep CharList) -> StaHandler# s CharList a) -> (Code (Rep CharList -> Handler# s CharList a) -> Code b) -> Code b

bindIter# :: Code (Rep CharList) -> (DynHandler s CharList a -> Code (Rep CharList) -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

bindRec# :: (DynSubroutine s CharList a x -> DynCont s CharList a x -> Code (Rep CharList) -> DynHandler s CharList a -> Code (ST s (Maybe a))) -> DynSubroutine s CharList a x

JoinBuilder CharList

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

setupJoinPoint# :: StaCont# s CharList a x -> (DynCont s CharList a x -> Code b) -> Code b

HandlerOps CharList

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

bindHandler# :: StaHandler# s CharList a -> (DynHandler s CharList a -> Code b) -> Code b

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

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.BindingOps

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.BindingOps

Methods

bindIterHandler# :: (Code (Rep Text16) -> StaHandler# s Text16 a) -> (Code (Rep Text16 -> Handler# s Text16 a) -> Code b) -> Code b

bindIter# :: Code (Rep Text16) -> (DynHandler s Text16 a -> Code (Rep Text16) -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

bindRec# :: (DynSubroutine s Text16 a x -> DynCont s Text16 a x -> Code (Rep Text16) -> DynHandler s Text16 a -> Code (ST s (Maybe a))) -> DynSubroutine s Text16 a x

JoinBuilder Text16

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

setupJoinPoint# :: StaCont# s Text16 a x -> (DynCont s Text16 a x -> Code b) -> Code b

HandlerOps Text16

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

bindHandler# :: StaHandler# s Text16 a -> (DynHandler s Text16 a -> Code b) -> Code b

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