License	BSD-3-Clause
Maintainer	Jamie Willis
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Parsley.Internal.Core.InputTypes

Description

Extra types of input specialised for specific scenarios.

Since: 1.0.0.0

Synopsis

data Stream = !Char :> Stream
newtype CharList = CharList String
newtype Text16 = Text16 Text
nomore :: Stream

Documentation

data Stream Source #

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

Since: 0.1.0.0

Constructors

!Char :> Stream

Instances

Instances details

Input Stream Source #
Instance details Defined in Parsley.Internal.Backend.Machine
HandlerOps Stream Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods bindHandler# :: StaHandler# s Stream a -> (DynHandler s Stream a -> Code b) -> Code b Source #
JoinBuilder Stream Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods setupJoinPoint# :: StaCont# s Stream a x -> (DynCont s Stream a x -> Code b) -> Code b Source #
MarshalOps Stream Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods dynHandler# :: StaHandler# s Stream a -> DynHandler s Stream a Source # dynCont# :: StaCont# s Stream a x -> DynCont s Stream a x Source #
RecBuilder Stream Source #
Instance details 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 Source # bindIter# :: Input# Stream -> (Code (Pos -> DynRep Stream -> ST s (Maybe a)) -> Input# Stream -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) Source # bindRec# :: (DynSubroutine s Stream a x -> StaSubroutine# s Stream a x) -> DynSubroutine s Stream a x Source #
InputPrep Stream Source #
Instance details Defined in Parsley.Internal.Backend.Machine.InputOps Methods _prepare :: starep ~ StaRep Stream => Code Stream -> (InputOps starep -> starep -> Code r) -> Code r
LogOps (PartialStaOffWith Stream) Source #
Instance details Defined in Parsley.Internal.Backend.Machine.InputOps Methods shiftLeft :: PartialStaOffWith Stream -> Int -> (PartialStaOffWith Stream -> Code a) -> Code a Source # shiftRight :: PartialStaOffWith Stream -> Int -> (PartialStaOffWith Stream -> Code a) -> Code a Source # offToInt :: PartialStaOffWith Stream -> Code Int Source #

newtype CharList Source #

Deprecated: CharList is no longer necessary, use String directly instead

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

Deprecated: CharList is no longer necessary, use String directly instead

Instances

Instances details

Input CharList Source #
Instance details Defined in Parsley.Internal.Backend.Machine
HandlerOps CharList Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods bindHandler# :: StaHandler# s CharList a -> (DynHandler s CharList a -> Code b) -> Code b Source #
JoinBuilder CharList Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods setupJoinPoint# :: StaCont# s CharList a x -> (DynCont s CharList a x -> Code b) -> Code b Source #
MarshalOps CharList Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods dynHandler# :: StaHandler# s CharList a -> DynHandler s CharList a Source # dynCont# :: StaCont# s CharList a x -> DynCont s CharList a x Source #
RecBuilder CharList Source #
Instance details 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 Source # bindIter# :: Input# CharList -> (Code (Pos -> DynRep CharList -> ST s (Maybe a)) -> Input# CharList -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) Source # bindRec# :: (DynSubroutine s CharList a x -> StaSubroutine# s CharList a x) -> DynSubroutine s CharList a x Source #
InputPrep CharList Source #
Instance details Defined in Parsley.Internal.Backend.Machine.InputOps Methods _prepare :: starep ~ StaRep CharList => Code CharList -> (InputOps starep -> starep -> Code r) -> Code r

newtype Text16 Source #

Deprecated: Text16 is not legal with the UTF-8 encoding of Text, use Text instead

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

Deprecated: Text16 is not legal with the UTF-8 encoding of Text, use Text instead

Instances

Instances details

Input Text16 Source #
Instance details Defined in Parsley.Internal.Backend.Machine
HandlerOps Text16 Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods bindHandler# :: StaHandler# s Text16 a -> (DynHandler s Text16 a -> Code b) -> Code b Source #
JoinBuilder Text16 Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods setupJoinPoint# :: StaCont# s Text16 a x -> (DynCont s Text16 a x -> Code b) -> Code b Source #
MarshalOps Text16 Source #
Instance details Defined in Parsley.Internal.Backend.Machine.BindingOps Methods dynHandler# :: StaHandler# s Text16 a -> DynHandler s Text16 a Source # dynCont# :: StaCont# s Text16 a x -> DynCont s Text16 a x Source #
RecBuilder Text16 Source #
Instance details 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 Source # bindIter# :: Input# Text16 -> (Code (Pos -> DynRep Text16 -> ST s (Maybe a)) -> Input# Text16 -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) Source # bindRec# :: (DynSubroutine s Text16 a x -> StaSubroutine# s Text16 a x) -> DynSubroutine s Text16 a x Source #
InputPrep Text16 Source #
Instance details Defined in Parsley.Internal.Backend.Machine.InputOps Methods _prepare :: starep ~ StaRep Text16 => Code Text16 -> (InputOps starep -> starep -> Code r) -> Code r

nomore :: Stream Source #

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

Since: 0.1.0.0