Parsley.Internal.Backend.Machine.InputOps

This module contains the primitive operations required by the parsing machinery to work with input.

Since: 1.0.0.0

Documentation

class InputPrep input

This class is responsible for converting the user's input into a form that parsley can work with efficiently.

Since: 1.0.0.0

Minimal complete definition

_prepare

Instances

InputPrep ByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep ByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep CharList

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep Text16

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep Text

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep String

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

InputPrep (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

_prepare :: starep ~ StaRep (UArray Int Char) => Code (UArray Int Char) -> (InputOps starep -> starep -> Code r) -> Code r

class PositionOps rep where

Defines operations for manipulating offsets for regular use. These are not tied to the original captured input but instead to the representation of its offset.

Since: 1.0.0.0

Methods

same :: rep -> rep -> Code Bool

Compares two "input"s for equality. In reality this usually means an offset present in the rep.

Since: 1.0.0.0

Instances

PositionOps PartialStaOffset

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: PartialStaOffset -> PartialStaOffset -> Code Bool

PositionOps PartialStaText

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: PartialStaText -> PartialStaText -> Code Bool

PositionOps (PartialStaOffWith ts)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: PartialStaOffWith ts -> PartialStaOffWith ts -> Code Bool

PositionOps (Code UnpackedLazyByteString)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: Code UnpackedLazyByteString -> Code UnpackedLazyByteString -> Code Bool

class LogOps rep where

Defines operation used for debugging operations.

Since: 1.0.0.0

Methods

shiftLeft :: rep -> Int -> (rep -> Code a) -> Code a

If possible, shifts the input back several characters. This is used to provide the previous input characters for the debugging combinator.

Since: 1.0.0.0

shiftRight :: rep -> Int -> (rep -> Code a) -> Code a

Advances the input by several characters at a time (existence not included). This can be used to check if characters exist at a future point in the input in conjunction with more.

Since: 2.3.0.0

offToInt :: rep -> Code Int

Converts the represention of the input into an Int.

Since: 1.0.0.0

Instances

LogOps PartialStaOffset

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: PartialStaOffset -> Int -> (PartialStaOffset -> Code a) -> Code a

shiftRight :: PartialStaOffset -> Int -> (PartialStaOffset -> Code a) -> Code a

offToInt :: PartialStaOffset -> Code Int

LogOps PartialStaText

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: PartialStaText -> Int -> (PartialStaText -> Code a) -> Code a

shiftRight :: PartialStaText -> Int -> (PartialStaText -> Code a) -> Code a

offToInt :: PartialStaText -> Code Int

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

LogOps (PartialStaOffWith String)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

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

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

offToInt :: PartialStaOffWith String -> Code Int

LogOps (Code UnpackedLazyByteString)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: Code UnpackedLazyByteString -> Int -> (Code UnpackedLazyByteString -> Code a) -> Code a

shiftRight :: Code UnpackedLazyByteString -> Int -> (Code UnpackedLazyByteString -> Code a) -> Code a

offToInt :: Code UnpackedLazyByteString -> Code Int

type DynOps o = DynOps_ (DynRep o) (StaRep o)

asDyn :: forall input. DynOps input => StaRep input -> Code (DynRep input)

asSta :: forall input. DynOps input => Code (DynRep input) -> StaRep input

data InputOps rep

This is a psuedo-typeclass, which depends directly on the values obtained from prepare. Because this instance may depend on local information, it is synthesised and passed around using ImplicitParams.

Since: 1.0.0.0

next :: forall rep a. (?ops :: InputOps rep) => rep -> (Code Char -> rep -> Code a) -> Code a

Wraps around InputOps and _next.

Given some input and a continuation that accepts new input and a character, it will read a character off (without checking that it exists!) and feeds it and the remaining input to the continuation.

Since: 1.0.0.0

check :: forall rep a. (?ops :: InputOps rep) => Int -> Int -> rep -> Maybe (Code Char -> Code a -> Code a) -> (rep -> [(Code Char, rep)] -> Code a) -> Code a -> Code a

uncons :: forall rep a. (?ops :: InputOps rep) => rep -> (Code Char -> rep -> Code a) -> Code a -> Code a

prepare :: InputPrep input => Code input -> ((?ops :: InputOps (StaRep input)) => StaRep input -> Code r) -> Code r