Symantic.Parser.Machine.Input

Class Cursorable

class Show cur => Cursorable cur where

Minimal complete definition

offset, lowerOffset, sameOffset, shiftRight

Methods

offset :: cur -> Int

compareOffset :: CodeQ (cur -> cur -> Ordering)

lowerOffset :: CodeQ (cur -> cur -> Bool)

sameOffset :: CodeQ (cur -> cur -> Bool)

shiftRight :: CodeQ (cur -> Int -> cur)

Instances

Cursorable Int

Defined in Symantic.Parser.Machine.Input

Methods

offset :: Int -> Int

compareOffset :: CodeQ (Int -> Int -> Ordering)

lowerOffset :: CodeQ (Int -> Int -> Bool)

sameOffset :: CodeQ (Int -> Int -> Bool)

shiftRight :: CodeQ (Int -> Int -> Int)

Cursorable Text

Defined in Symantic.Parser.Machine.Input

Methods

offset :: Text -> Int

compareOffset :: CodeQ (Text -> Text -> Ordering)

lowerOffset :: CodeQ (Text -> Text -> Bool)

sameOffset :: CodeQ (Text -> Text -> Bool)

shiftRight :: CodeQ (Text -> Int -> Text)

Cursorable UnpackedLazyByteString

Defined in Symantic.Parser.Machine.Input

Methods

offset :: UnpackedLazyByteString -> Int

compareOffset :: CodeQ (UnpackedLazyByteString -> UnpackedLazyByteString -> Ordering)

lowerOffset :: CodeQ (UnpackedLazyByteString -> UnpackedLazyByteString -> Bool)

sameOffset :: CodeQ (UnpackedLazyByteString -> UnpackedLazyByteString -> Bool)

shiftRight :: CodeQ (UnpackedLazyByteString -> Int -> UnpackedLazyByteString)

Cursorable (OffWith String)

Defined in Symantic.Parser.Machine.Input

Methods

offset :: OffWith String -> Int

compareOffset :: CodeQ (OffWith String -> OffWith String -> Ordering)

lowerOffset :: CodeQ (OffWith String -> OffWith String -> Bool)

sameOffset :: CodeQ (OffWith String -> OffWith String -> Bool)

shiftRight :: CodeQ (OffWith String -> Int -> OffWith String)

shiftRightText :: Text -> Int -> Text

shiftLeftText :: Text -> Int -> Text

shiftRightByteString :: UnpackedLazyByteString -> Int -> UnpackedLazyByteString

shiftLeftByteString :: UnpackedLazyByteString -> Int -> UnpackedLazyByteString

offWith :: CodeQ (ts -> OffWith ts)

Type Text16

newtype Text16

Constructors

Text16 Text

Type CharList

newtype CharList

Constructors

CharList String

Type Stream

data Stream

Constructors

!Char :> Stream

nomore :: Stream

Type OffWith

data OffWith ts

Constructors

OffWith !Int ts

Instances

Show ts => Show (OffWith ts)

Defined in Symantic.Parser.Machine.Input

Methods

showsPrec :: Int -> OffWith ts -> ShowS

show :: OffWith ts -> String

showList :: [OffWith ts] -> ShowS

Cursorable (OffWith String)

Defined in Symantic.Parser.Machine.Input

Methods

offset :: OffWith String -> Int

compareOffset :: CodeQ (OffWith String -> OffWith String -> Ordering)

lowerOffset :: CodeQ (OffWith String -> OffWith String -> Bool)

sameOffset :: CodeQ (OffWith String -> OffWith String -> Bool)

shiftRight :: CodeQ (OffWith String -> Int -> OffWith String)

Type OffWithStreamAnd

data OffWithStreamAnd ts

Constructors

OffWithStreamAnd !Int !Stream ts

Type UnpackedLazyByteString

data UnpackedLazyByteString

Constructors

UnpackedLazyByteString !Int !Addr# ForeignPtrContents !Int !Int ByteString

Instances

Show UnpackedLazyByteString

Defined in Symantic.Parser.Machine.Input

Methods

showsPrec :: Int -> UnpackedLazyByteString -> ShowS

show :: UnpackedLazyByteString -> String

showList :: [UnpackedLazyByteString] -> ShowS

Cursorable UnpackedLazyByteString

Defined in Symantic.Parser.Machine.Input

Methods

offset :: UnpackedLazyByteString -> Int

compareOffset :: CodeQ (UnpackedLazyByteString -> UnpackedLazyByteString -> Ordering)

lowerOffset :: CodeQ (UnpackedLazyByteString -> UnpackedLazyByteString -> Bool)

sameOffset :: CodeQ (UnpackedLazyByteString -> UnpackedLazyByteString -> Bool)

shiftRight :: CodeQ (UnpackedLazyByteString -> Int -> UnpackedLazyByteString)

emptyUnpackedLazyByteString :: Int -> UnpackedLazyByteString

Class Input

class Cursorable (Cursor inp) => Input inp where

Associated Types

type Cursor inp :: Type

type InputToken inp :: Type

Methods

cursorOf :: CodeQ inp -> CodeQ (# Cursor inp, Cursor inp -> Bool, Cursor inp -> (# InputToken inp, Cursor inp #) #)

Instances

Input String

Defined in Symantic.Parser.Machine.Input

Associated Types

type Cursor String

type InputToken String

Methods

cursorOf :: CodeQ String -> CodeQ (# Cursor String, Cursor String -> Bool, Cursor String -> (# InputToken String, Cursor String #) #)

Input ByteString

Defined in Symantic.Parser.Machine.Input

Associated Types

type Cursor ByteString

type InputToken ByteString

Methods

cursorOf :: CodeQ ByteString -> CodeQ (# Cursor ByteString, Cursor ByteString -> Bool, Cursor ByteString -> (# InputToken ByteString, Cursor ByteString #) #)

Input ByteString

Defined in Symantic.Parser.Machine.Input

Associated Types

type Cursor ByteString

type InputToken ByteString

Methods

cursorOf :: CodeQ ByteString -> CodeQ (# Cursor ByteString, Cursor ByteString -> Bool, Cursor ByteString -> (# InputToken ByteString, Cursor ByteString #) #)

Input Text

Defined in Symantic.Parser.Machine.Input

Associated Types

type Cursor Text

type InputToken Text

Methods

cursorOf :: CodeQ Text -> CodeQ (# Cursor Text, Cursor Text -> Bool, Cursor Text -> (# InputToken Text, Cursor Text #) #)

Input (UArray Int Char)

Defined in Symantic.Parser.Machine.Input

Associated Types

type Cursor (UArray Int Char)

type InputToken (UArray Int Char)

Methods

cursorOf :: CodeQ (UArray Int Char) -> CodeQ (# Cursor (UArray Int Char), Cursor (UArray Int Char) -> Bool, Cursor (UArray Int Char) -> (# InputToken (UArray Int Char), Cursor (UArray Int Char) #) #)