Parsley.Internal.Backend.Machine

Since: 0.1.0.0

Documentation

class (InputPrep input, Ops input) => Input input

Instances

Input ByteString

Defined in Parsley.Internal.Backend.Machine

Input ByteString

Defined in Parsley.Internal.Backend.Machine

Input Text

Defined in Parsley.Internal.Backend.Machine

Input Stream

Defined in Parsley.Internal.Backend.Machine

Input CharList

Defined in Parsley.Internal.Backend.Machine

Input Text16

Defined in Parsley.Internal.Backend.Machine

Input [Char]

Defined in Parsley.Internal.Backend.Machine

Input (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine

eval :: forall input a. (Input input, Trace) => Code input -> (LetBinding input a a, DMap MVar (LetBinding input a)) -> Code (Maybe a)

class PositionOps input

Minimal complete definition

same, shiftRight

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

module Parsley.Internal.Backend.Machine.Instructions

data Defunc a where

Constructors

SAME :: PositionOps o => Defunc (o -> o -> Bool)

Instances

Show (Defunc a)

Defined in Parsley.Internal.Backend.Machine.Defunc

Methods

showsPrec :: Int -> Defunc a -> ShowS

show :: Defunc a -> String

showList :: [Defunc a] -> ShowS

user :: Defunc a -> Defunc a

module Parsley.Internal.Backend.Machine.Identifiers

data LetBinding o a x

Instances

Show (LetBinding o a x)

Defined in Parsley.Internal.Backend.Machine.LetBindings

Methods

showsPrec :: Int -> LetBinding o a x -> ShowS

show :: LetBinding o a x -> String

showList :: [LetBinding o a x] -> ShowS

makeLetBinding :: Binding o a x -> Set IΣVar -> LetBinding o a x