Symantic.Parser.Machine.Generate

Type Gen

newtype Gen inp vs es a

Generate the CodeQ parsing the input.

Constructors

Gen

Fields

• unGen :: GenCtx inp vs es a -> CodeQ (Either (ParsingError inp) a)

Instances

Joinable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

defJoin :: forall v inp (vs :: [Type]) (es :: Peano) ret. LetName v -> Gen inp (v ': vs) es ret -> Gen inp vs es ret -> Gen inp vs es ret

refJoin :: forall v inp (vs :: [Type]) (es :: Peano) ret. LetName v -> Gen inp (v ': vs) es ret

Routinable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

subroutine :: forall v inp (vs :: [Type]) (es :: Peano) ret. LetName v -> Gen inp '[] ('Succ 'Zero) v -> Gen inp vs ('Succ es) ret -> Gen inp vs ('Succ es) ret

call :: forall v inp (vs :: [Type]) (es :: Peano) ret. LetName v -> Gen inp (v ': vs) ('Succ es) ret -> Gen inp vs ('Succ es) ret

ret :: forall inp ret (es :: Peano). Gen inp '[ret] es ret

jump :: forall ret inp (es :: Peano). LetName ret -> Gen inp '[] ('Succ es) ret

Inputable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

loadInput :: forall inp (vs :: [Type]) (es :: Peano) r. Gen inp vs es r -> Gen inp (Cursor inp ': vs) es r

pushInput :: forall inp (vs :: [Type]) (es :: Peano) ret. Gen inp (Cursor inp ': vs) es ret -> Gen inp vs es ret

Failable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

fail :: forall inp (vs :: [Type]) (es :: Peano) ret. [ErrorItem (InputToken inp)] -> Gen inp vs ('Succ es) ret

popFail :: forall inp (vs :: [Type]) (es :: Peano) ret. Gen inp vs es ret -> Gen inp vs ('Succ es) ret

catchFail :: forall inp (vs :: [Type]) (es :: Peano) ret. Gen inp vs ('Succ es) ret -> Gen inp (Cursor inp ': vs) es ret -> Gen inp vs es ret

Branchable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

case_ :: forall inp x (vs :: [Type]) (n :: Peano) r y. Gen inp (x ': vs) n r -> Gen inp (y ': vs) n r -> Gen inp (Either x y ': vs) n r

choices :: forall v inp (vs :: [Type]) (es :: Peano) ret. [InstrPure (v -> Bool)] -> [Gen inp vs es ret] -> Gen inp vs es ret -> Gen inp (v ': vs) es ret

Stackable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

push :: forall v inp (vs :: [Type]) (n :: Peano) ret. InstrPure v -> Gen inp (v ': vs) n ret -> Gen inp vs n ret

pop :: forall inp (vs :: [Type]) (n :: Peano) ret v. Gen inp vs n ret -> Gen inp (v ': vs) n ret

liftI2 :: forall x y z inp (vs :: [Type]) (es :: Peano) ret. InstrPure (x -> y -> z) -> Gen inp (z ': vs) es ret -> Gen inp (y ': (x ': vs)) es ret

swap :: forall inp x y (vs :: [Type]) (n :: Peano) r. Gen inp (x ': (y ': vs)) n r -> Gen inp (y ': (x ': vs)) n r

Readable Gen Char

Defined in Symantic.Parser.Machine.Generate

Methods

read :: forall inp (vs :: [Type]) (es :: Peano) ret. Char ~ InputToken inp => [ErrorItem Char] -> InstrPure (Char -> Bool) -> Gen inp (Char ': vs) ('Succ es) ret -> Gen inp vs ('Succ es) ret

Type ParsingError

data ParsingError inp

Constructors

ParsingErrorStandard

Fields

• parsingErrorOffset :: Offset
• parsingErrorUnexpected :: Maybe (InputToken inp)
• parsingErrorExpecting :: Set (ErrorItem (InputToken inp))

Instances

Show (InputToken inp) => Show (ParsingError inp)

Defined in Symantic.Parser.Machine.Generate

Methods

showsPrec :: Int -> ParsingError inp -> ShowS

show :: ParsingError inp -> String

showList :: [ParsingError inp] -> ShowS

Type Offset

type Offset = Int

Type Cont

type Cont inp v a = Cursor inp -> [ErrorItem (InputToken inp)] -> v -> Cursor inp -> Either (ParsingError inp) a

Type SubRoutine

type SubRoutine inp v a = Cont inp v a -> Cursor inp -> FailHandler inp a -> Either (ParsingError inp) a

Type FailHandler

type FailHandler inp a = Cursor inp -> Cursor inp -> [ErrorItem (InputToken inp)] -> Either (ParsingError inp) a

generate :: forall inp ret. Ord (InputToken inp) => Show (InputToken inp) => Lift (InputToken inp) => Input inp => CodeQ inp -> Show (Cursor inp) => Gen inp '[] ('Succ 'Zero) ret -> CodeQ (Either (ParsingError inp) ret)

(generate input mach) generates TemplateHaskell code parsing given input according to given machine.

Type GenCtx

data GenCtx inp vs (es :: Peano) a

This is a context only present at compile-time.

Constructors

(Lift (InputToken inp), Cursorable (Cursor inp), Show (InputToken inp)) => GenCtx

Fields

• valueStack :: ValueStack vs
• failStack :: FailStack inp es a
• retCode :: CodeQ (Cont inp a a)
• input :: CodeQ (Cursor inp)
• moreInput :: CodeQ (Cursor inp -> Bool)
• nextInput :: CodeQ (Cursor inp -> (# InputToken inp, Cursor inp #))
• farthestInput :: CodeQ (Cursor inp)
• farthestExpecting :: CodeQ [ErrorItem (InputToken inp)]

Type ValueStack

data ValueStack vs where

Constructors

ValueStackEmpty :: ValueStack '[]

ValueStackCons

Fields

• :: { valueStackHead :: CodeQ v
•    , valueStackTail :: ValueStack vs
•    } -> ValueStack (v ': vs)

Type FailStack

data FailStack inp es a where

Constructors

FailStackEmpty :: FailStack inp 'Zero a

FailStackCons

Fields

• :: { failStackHead :: CodeQ (FailHandler inp a)
•    , failStackTail :: FailStack inp es a
•    } -> FailStack inp ('Succ es) a

suspend :: Gen inp (v ': vs) es a -> GenCtx inp vs es a -> CodeQ (Cont inp v a)

resume :: CodeQ (Cont inp v a) -> Gen inp (v ': vs) es a

sat :: forall inp vs es a. Ord (InputToken inp) => Lift (InputToken inp) => CodeQ (InputToken inp -> Bool) -> Gen inp (InputToken inp ': vs) ('Succ es) a -> Gen inp vs ('Succ es) a -> Gen inp vs ('Succ es) a

emitLengthCheck :: Lift (InputToken inp) => Int -> Gen inp vs es a -> Gen inp vs es a -> Gen inp vs es a

liftCode :: InstrPure a -> CodeQ a

liftCode1 :: InstrPure (a -> b) -> CodeQ a -> CodeQ b

liftCode2 :: InstrPure (a -> b -> c) -> CodeQ a -> CodeQ b -> CodeQ c