Parsley.Internal.Backend.Machine.Types.Offset

This module contains the statically refined Offset type, which can be used to reason about input in different parts of a parser as it is evaluated.

Since: 1.4.0.0

Documentation

data Offset o

Augments a regular Code (Rep o) with information about its origins and how much input is known to have been consumed since it came into existence. This can be used to statically evaluate handlers (see staHandlerEval).

Since: 1.4.0.0

Constructors

Offset

Fields

• offset :: Code (Rep o)

  The underlying code that represents the current offset into the input.

• unique :: Word

  The unique identifier that determines where this offset originated from.

• moved :: Word

  The amount of input that has been consumed on this offset since it was born.

Instances

Show (Offset o)

Defined in Parsley.Internal.Backend.Machine.Types.Offset

Methods

showsPrec :: Int -> Offset o -> ShowS

show :: Offset o -> String

showList :: [Offset o] -> ShowS

same :: Offset o -> Offset o -> Maybe Bool

Given two Offsets, this determines whether or not they represent the same offset into the input stream at runtime. This comparison only makes sense when both Offsets share the same origin, hence the Maybe.

Since: 1.4.0.0

moveOne :: Offset o -> Code (Rep o) -> Offset o

Updates an Offset with its new underlying representation of a real runtime offset and records that another character has been consumed.

Since: 1.4.0.0

mkOffset :: Code (Rep o) -> Word -> Offset o

Makes a fresh Offset that has not had any input consumed off of it yet.

Since: 1.4.0.0