Parsley.Internal.Backend.Machine.InputOps

Documentation

class InputPrep input where

Methods

prepare :: rep ~ Rep input => Code input -> Code (InputDependant rep)

Instances

InputPrep ByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind ByteString)). rep ~ Rep ByteString => Code ByteString -> Code (InputDependant rep)

InputPrep ByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind ByteString)). rep ~ Rep ByteString => Code ByteString -> Code (InputDependant rep)

InputPrep Text

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind Text)). rep ~ Rep Text => Code Text -> Code (InputDependant rep)

InputPrep Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Code Stream -> Code (InputDependant rep)

InputPrep CharList

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind CharList)). rep ~ Rep CharList => Code CharList -> Code (InputDependant rep)

InputPrep Text16

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind Text16)). rep ~ Rep Text16 => Code Text16 -> Code (InputDependant rep)

InputPrep [Char]

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind [Char])). rep ~ Rep [Char] => Code [Char] -> Code (InputDependant rep)

InputPrep (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind (UArray Int Char))). rep ~ Rep (UArray Int Char) => Code (UArray Int Char) -> Code (InputDependant rep)

class PositionOps input where

Methods

same :: rep ~ Rep input => Proxy input -> Code rep -> Code rep -> Code Bool

shiftRight :: rep ~ Rep input => Proxy input -> Code rep -> Code Int# -> Code rep

Instances

PositionOps ByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind ByteString)). rep ~ Rep ByteString => Proxy ByteString -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind ByteString)). rep ~ Rep ByteString => Proxy ByteString -> Code rep -> Code Int# -> Code rep

PositionOps ByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind ByteString)). rep ~ Rep ByteString => Proxy ByteString -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind ByteString)). rep ~ Rep ByteString => Proxy ByteString -> Code rep -> Code Int# -> Code rep

PositionOps Text

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind Text)). rep ~ Rep Text => Proxy Text -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind Text)). rep ~ Rep Text => Proxy Text -> Code rep -> Code Int# -> Code rep

PositionOps Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Proxy Stream -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Proxy Stream -> Code rep -> Code Int# -> Code rep

PositionOps CharList

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind CharList)). rep ~ Rep CharList => Proxy CharList -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind CharList)). rep ~ Rep CharList => Proxy CharList -> Code rep -> Code Int# -> Code rep

PositionOps Text16

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind Text16)). rep ~ Rep Text16 => Proxy Text16 -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind Text16)). rep ~ Rep Text16 => Proxy Text16 -> Code rep -> Code Int# -> Code rep

PositionOps [Char]

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind [Char])). rep ~ Rep [Char] => Proxy [Char] -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind [Char])). rep ~ Rep [Char] => Proxy [Char] -> Code rep -> Code Int# -> Code rep

PositionOps (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind (UArray Int Char))). rep ~ Rep (UArray Int Char) => Proxy (UArray Int Char) -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind (UArray Int Char))). rep ~ Rep (UArray Int Char) => Proxy (UArray Int Char) -> Code rep -> Code Int# -> Code rep

class LogOps (rep :: TYPE r) where

Methods

shiftLeft :: Code rep -> Code Int# -> Code rep

offToInt :: Code rep -> Code Int

Instances

LogOps Text

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: Code Text -> Code Int# -> Code Text

offToInt :: Code Text -> Code Int

LogOps Int#

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: Code Int# -> Code Int# -> Code Int#

offToInt :: Code Int# -> Code Int

LogOps UnpackedLazyByteString

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: Code UnpackedLazyByteString -> Code Int# -> Code UnpackedLazyByteString

offToInt :: Code UnpackedLazyByteString -> Code Int

LogOps ((# Int#, ts #) :: TYPE ('TupleRep '['IntRep, 'LiftedRep]))

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

shiftLeft :: Code (# Int#, ts #) -> Code Int# -> Code (# Int#, ts #)

offToInt :: Code (# Int#, ts #) -> Code Int

data InputOps (rep :: TYPE r)

Constructors

InputOps

Fields

• _more :: Code (rep -> Bool)
• _next :: Code (rep -> (# Char, rep #))

more :: forall r (rep :: TYPE r). (?ops :: InputOps rep) => Code (rep -> Bool)

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

type InputDependant (rep :: TYPE r) = (# rep -> (# Char, rep #), rep -> Bool, rep #)