Parsley.InputExtras

This module exports the Stream datatype, which can be used as an infinite input to a parser. It also exports Text16 and CharList, which can be wrapped around Text and String respectively to force them to be parsed faithfully to their representation. By default, Strings are converted to character arrays for performance, but CharList will be uncoverted. On the other hand, Text16 enables a faster, but potentially less general processing of Text data by assuming all characters are exactly 16-bits in width.

Since: 0.1.0.0

Documentation

nomore :: Stream

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

Since: parsley-core-0.1.0.0

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: parsley-core-0.1.0.0

Constructors

Text16 Text

Instances

Input Text16

Defined in Parsley.Internal.Backend.Machine

HandlerOps Text16

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

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

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

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# :: (Input# Text16 -> StaHandler# s Text16 a) -> (Code (Pos -> DynRep Text16 -> Handler# s Text16 a) -> Code b) -> Code b

bindIter# :: Input# Text16 -> (Code (Pos -> DynRep Text16 -> ST s (Maybe a)) -> Input# Text16 -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

bindRec# :: (DynSubroutine s Text16 a x -> StaSubroutine# s Text16 a x) -> DynSubroutine s Text16 a x

InputPrep Text16

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

_prepare :: starep ~ StaRep Text16 => Code Text16 -> (InputOps starep -> starep -> Code r) -> Code r

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: parsley-core-0.1.0.0

Constructors

CharList String

Instances

Input CharList

Defined in Parsley.Internal.Backend.Machine

HandlerOps CharList

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

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

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

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# :: (Input# CharList -> StaHandler# s CharList a) -> (Code (Pos -> DynRep CharList -> Handler# s CharList a) -> Code b) -> Code b

bindIter# :: Input# CharList -> (Code (Pos -> DynRep CharList -> ST s (Maybe a)) -> Input# CharList -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

bindRec# :: (DynSubroutine s CharList a x -> StaSubroutine# s CharList a x) -> DynSubroutine s CharList a x

InputPrep CharList

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

_prepare :: starep ~ StaRep CharList => Code CharList -> (InputOps starep -> starep -> Code r) -> Code r

data Stream

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

Since: parsley-core-0.1.0.0

Constructors

!Char :> Stream

Instances

Input Stream

Defined in Parsley.Internal.Backend.Machine

HandlerOps Stream

Defined in Parsley.Internal.Backend.Machine.BindingOps

Methods

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

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

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# :: (Input# Stream -> StaHandler# s Stream a) -> (Code (Pos -> DynRep Stream -> Handler# s Stream a) -> Code b) -> Code b

bindIter# :: Input# Stream -> (Code (Pos -> DynRep Stream -> ST s (Maybe a)) -> Input# Stream -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

bindRec# :: (DynSubroutine s Stream a x -> StaSubroutine# s Stream a x) -> DynSubroutine s Stream a x

InputPrep Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

_prepare :: starep ~ StaRep Stream => Code Stream -> (InputOps starep -> starep -> Code r) -> Code r

LogOps (PartialStaOffWith Stream)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: PartialStaOffWith Stream -> Int -> (PartialStaOffWith Stream -> Code a) -> Code a

shiftRight :: PartialStaOffWith Stream -> Int -> (PartialStaOffWith Stream -> Code a) -> Code a

offToInt :: PartialStaOffWith Stream -> Code Int