Symantic.Parser.Machine.Instructions

Semantic of the parsing instructions used to make the parsing control-flow explicit, in the convenient tagless-final encoding.

Type TermInstr

type TermInstr = Term CodeQ

Type Peano

data Peano

Type-level natural numbers, using the Peano recursive encoding.

Constructors

Zero

Succ Peano

Class Machine

type Machine tok repr = (Branchable repr, Failable repr, Inputable repr, Joinable repr, Routinable repr, Stackable repr, Readable tok repr)

All the Instructions.

Type ReprInstr

type ReprInstr = Type -> [Type] -> Peano -> Type -> Type

Type LetName

newtype LetName a

Name of a subroutine or defJoin indexed by the return type of the factorized Instructions. This helps type-inferencing.

Constructors

LetName

Fields

• unLetName :: Name

Instances

Eq (LetName a)

Defined in Symantic.Parser.Machine.Instructions

Methods

(==) :: LetName a -> LetName a -> Bool

(/=) :: LetName a -> LetName a -> Bool

Show (LetName a)

Defined in Symantic.Parser.Machine.Instructions

Methods

showsPrec :: Int -> LetName a -> ShowS

show :: LetName a -> String

showList :: [LetName a] -> ShowS

Class Stackable

class Stackable (repr :: ReprInstr) where

Minimal complete definition

push, pop, liftI2, swap

Methods

push :: TermInstr v -> repr inp (v ': vs) es a -> repr inp vs es a

pop :: repr inp vs es a -> repr inp (v ': vs) es a

liftI2 :: TermInstr (x -> y -> z) -> repr inp (z ': vs) es a -> repr inp (y ': (x ': vs)) es a

swap :: repr inp (x ': (y ': vs)) es a -> repr inp (y ': (x ': vs)) es a

mapI :: TermInstr (x -> y) -> repr inp (y ': vs) es a -> repr inp (x ': vs) es a

(mapI f k).

appI :: repr inp (y ': vs) es a -> repr inp (x ': ((x -> y) ': vs)) es a

(appI k) pops (x) and (x2y) from the valueStack, pushes (x2y x) and continues with the next Instruction (k).

Instances

Stackable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

push :: forall v inp (vs :: [Type]) (es :: Peano) a. TermInstr v -> Gen inp (v ': vs) es a -> Gen inp vs es a

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

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

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

mapI :: forall x y inp (vs :: [Type]) (es :: Peano) a. TermInstr (x -> y) -> Gen inp (y ': vs) es a -> Gen inp (x ': vs) es a

appI :: forall inp y (vs :: [Type]) (es :: Peano) a x. Gen inp (y ': vs) es a -> Gen inp (x ': ((x -> y) ': vs)) es a

Stackable (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

push :: forall v inp (vs :: [Type]) (es :: Peano) a. TermInstr v -> ViewMachine sN inp (v ': vs) es a -> ViewMachine sN inp vs es a

pop :: forall inp (vs :: [Type]) (es :: Peano) a v. ViewMachine sN inp vs es a -> ViewMachine sN inp (v ': vs) es a

liftI2 :: forall x y z inp (vs :: [Type]) (es :: Peano) a. TermInstr (x -> y -> z) -> ViewMachine sN inp (z ': vs) es a -> ViewMachine sN inp (y ': (x ': vs)) es a

swap :: forall inp x y (vs :: [Type]) (es :: Peano) a. ViewMachine sN inp (x ': (y ': vs)) es a -> ViewMachine sN inp (y ': (x ': vs)) es a

mapI :: forall x y inp (vs :: [Type]) (es :: Peano) a. TermInstr (x -> y) -> ViewMachine sN inp (y ': vs) es a -> ViewMachine sN inp (x ': vs) es a

appI :: forall inp y (vs :: [Type]) (es :: Peano) a x. ViewMachine sN inp (y ': vs) es a -> ViewMachine sN inp (x ': ((x -> y) ': vs)) es a

Stackable repr => Stackable (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

push :: forall v inp (vs :: [Type]) (es :: Peano) a. TermInstr v -> SomeInstr repr inp (v ': vs) es a -> SomeInstr repr inp vs es a

pop :: forall inp (vs :: [Type]) (es :: Peano) a v. SomeInstr repr inp vs es a -> SomeInstr repr inp (v ': vs) es a

liftI2 :: forall x y z inp (vs :: [Type]) (es :: Peano) a. TermInstr (x -> y -> z) -> SomeInstr repr inp (z ': vs) es a -> SomeInstr repr inp (y ': (x ': vs)) es a

swap :: forall inp x y (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp (x ': (y ': vs)) es a -> SomeInstr repr inp (y ': (x ': vs)) es a

mapI :: forall x y inp (vs :: [Type]) (es :: Peano) a. TermInstr (x -> y) -> SomeInstr repr inp (y ': vs) es a -> SomeInstr repr inp (x ': vs) es a

appI :: forall inp y (vs :: [Type]) (es :: Peano) a x. SomeInstr repr inp (y ': vs) es a -> SomeInstr repr inp (x ': ((x -> y) ': vs)) es a

Stackable repr => Trans (Instr Stackable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Stackable repr inp vs es a -> repr inp vs es a

data Instr Stackable repr

Defined in Symantic.Parser.Machine.Optimize

data Instr Stackable repr where

• Push :: forall v (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. TermInstr v -> SomeInstr repr inp (v ': vs) es a -> Instr Stackable repr inp vs es a
• Pop :: forall (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a v. SomeInstr repr inp vs es a -> Instr Stackable repr inp (v ': vs) es a
• LiftI2 :: forall x y z (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. TermInstr (x -> y -> z) -> SomeInstr repr inp (z ': vs) es a -> Instr Stackable repr inp (y ': (x ': vs)) es a
• Swap :: forall (repr :: ReprInstr) inp x y (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp (x ': (y ': vs)) es a -> Instr Stackable repr inp (y ': (x ': vs)) es a

Class Routinable

class Routinable (repr :: ReprInstr) where

Methods

subroutine :: LetName v -> repr inp '[] ('Succ 'Zero) v -> repr inp vs ('Succ es) a -> repr inp vs ('Succ es) a

call :: LetName v -> repr inp (v ': vs) ('Succ es) a -> repr inp vs ('Succ es) a

ret :: repr inp '[a] es a

jump :: LetName a -> repr inp '[] ('Succ es) a

Instances

Routinable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

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

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

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

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

ShowLetName sN Name => Routinable (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

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

call :: forall v inp (vs :: [Type]) (es :: Peano) a. LetName v -> ViewMachine sN inp (v ': vs) ('Succ es) a -> ViewMachine sN inp vs ('Succ es) a

ret :: forall inp a (es :: Peano). ViewMachine sN inp '[a] es a

jump :: forall a inp (es :: Peano). LetName a -> ViewMachine sN inp '[] ('Succ es) a

Routinable repr => Routinable (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

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

call :: forall v inp (vs :: [Type]) (es :: Peano) a. LetName v -> SomeInstr repr inp (v ': vs) ('Succ es) a -> SomeInstr repr inp vs ('Succ es) a

ret :: forall inp a (es :: Peano). SomeInstr repr inp '[a] es a

jump :: forall a inp (es :: Peano). LetName a -> SomeInstr repr inp '[] ('Succ es) a

Routinable repr => Trans (Instr Routinable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Routinable repr inp vs es a -> repr inp vs es a

data Instr Routinable repr

Defined in Symantic.Parser.Machine.Optimize

data Instr Routinable repr where

• Subroutine :: forall v (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. LetName v -> SomeInstr repr inp ('[] :: [Type]) ('Succ 'Zero) v -> SomeInstr repr inp vs ('Succ es) a -> Instr Routinable repr inp vs ('Succ es) a
• Jump :: forall a (repr :: ReprInstr) inp (es :: Peano). LetName a -> Instr Routinable repr inp ('[] :: [Type]) ('Succ es) a
• Call :: forall v (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. LetName v -> SomeInstr repr inp (v ': vs) ('Succ es) a -> Instr Routinable repr inp vs ('Succ es) a
• Ret :: forall (repr :: ReprInstr) inp a (es :: Peano). Instr Routinable repr inp '[a] es a

Class Branchable

class Branchable (repr :: ReprInstr) where

Minimal complete definition

caseI, choices

Methods

caseI :: repr inp (x ': vs) es r -> repr inp (y ': vs) es r -> repr inp (Either x y ': vs) es r

choices :: [TermInstr (v -> Bool)] -> [repr inp vs es a] -> repr inp vs es a -> repr inp (v ': vs) es a

ifI :: repr inp vs es a -> repr inp vs es a -> repr inp (Bool ': vs) es a

(ifI ok ko) pops a Bool from the valueStack and continues either with the Instruction (ok) if it is True or (ko) otherwise.

Instances

Branchable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

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

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

ifI :: forall inp (vs :: [Type]) (es :: Peano) a. Gen inp vs es a -> Gen inp vs es a -> Gen inp (Bool ': vs) es a

Branchable (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

caseI :: forall inp x (vs :: [Type]) (es :: Peano) r y. ViewMachine sN inp (x ': vs) es r -> ViewMachine sN inp (y ': vs) es r -> ViewMachine sN inp (Either x y ': vs) es r

choices :: forall v inp (vs :: [Type]) (es :: Peano) a. [TermInstr (v -> Bool)] -> [ViewMachine sN inp vs es a] -> ViewMachine sN inp vs es a -> ViewMachine sN inp (v ': vs) es a

ifI :: forall inp (vs :: [Type]) (es :: Peano) a. ViewMachine sN inp vs es a -> ViewMachine sN inp vs es a -> ViewMachine sN inp (Bool ': vs) es a

Branchable repr => Branchable (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

caseI :: forall inp x (vs :: [Type]) (es :: Peano) r y. SomeInstr repr inp (x ': vs) es r -> SomeInstr repr inp (y ': vs) es r -> SomeInstr repr inp (Either x y ': vs) es r

choices :: forall v inp (vs :: [Type]) (es :: Peano) a. [TermInstr (v -> Bool)] -> [SomeInstr repr inp vs es a] -> SomeInstr repr inp vs es a -> SomeInstr repr inp (v ': vs) es a

ifI :: forall inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp vs es a -> SomeInstr repr inp vs es a -> SomeInstr repr inp (Bool ': vs) es a

Branchable repr => Trans (Instr Branchable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Branchable repr inp vs es a -> repr inp vs es a

data Instr Branchable repr

Defined in Symantic.Parser.Machine.Optimize

data Instr Branchable repr where

• Case :: forall (repr :: ReprInstr) inp x (vs :: [Type]) (es :: Peano) a y. SomeInstr repr inp (x ': vs) es a -> SomeInstr repr inp (y ': vs) es a -> Instr Branchable repr inp (Either x y ': vs) es a
• Choices :: forall v (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. [TermInstr (v -> Bool)] -> [SomeInstr repr inp vs es a] -> SomeInstr repr inp vs es a -> Instr Branchable repr inp (v ': vs) es a

Class Failable

class Failable (repr :: ReprInstr) where

Methods

fail :: [ErrorItem (InputToken inp)] -> repr inp vs ('Succ es) a

popFail :: repr inp vs es a -> repr inp vs ('Succ es) a

catchFail :: repr inp vs ('Succ es) a -> repr inp (Cursor inp ': vs) es a -> repr inp vs es a

Instances

Failable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

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

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

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

Failable (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

fail :: forall inp (vs :: [Type]) (es :: Peano) a. [ErrorItem (InputToken inp)] -> ViewMachine sN inp vs ('Succ es) a

popFail :: forall inp (vs :: [Type]) (es :: Peano) a. ViewMachine sN inp vs es a -> ViewMachine sN inp vs ('Succ es) a

catchFail :: forall inp (vs :: [Type]) (es :: Peano) a. ViewMachine sN inp vs ('Succ es) a -> ViewMachine sN inp (Cursor inp ': vs) es a -> ViewMachine sN inp vs es a

Failable repr => Failable (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

fail :: forall inp (vs :: [Type]) (es :: Peano) a. [ErrorItem (InputToken inp)] -> SomeInstr repr inp vs ('Succ es) a

popFail :: forall inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp vs es a -> SomeInstr repr inp vs ('Succ es) a

catchFail :: forall inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp vs ('Succ es) a -> SomeInstr repr inp (Cursor inp ': vs) es a -> SomeInstr repr inp vs es a

Failable repr => Trans (Instr Failable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Failable repr inp vs es a -> repr inp vs es a

data Instr Failable repr

Defined in Symantic.Parser.Machine.Optimize

data Instr Failable repr where

• Fail :: forall inp (repr :: ReprInstr) (vs :: [Type]) (es :: Peano) a. [ErrorItem (InputToken inp)] -> Instr Failable repr inp vs ('Succ es) a
• PopFail :: forall (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) ret. SomeInstr repr inp vs es ret -> Instr Failable repr inp vs ('Succ es) ret
• CatchFail :: forall (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) ret. SomeInstr repr inp vs ('Succ es) ret -> SomeInstr repr inp (Cursor inp ': vs) es ret -> Instr Failable repr inp vs es ret

Class Inputable

class Inputable (repr :: ReprInstr) where

Methods

loadInput :: repr inp vs es a -> repr inp (Cursor inp ': vs) es a

pushInput :: repr inp (Cursor inp ': vs) es a -> repr inp vs es a

Instances

Inputable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

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

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

Inputable (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

loadInput :: forall inp (vs :: [Type]) (es :: Peano) a. ViewMachine sN inp vs es a -> ViewMachine sN inp (Cursor inp ': vs) es a

pushInput :: forall inp (vs :: [Type]) (es :: Peano) a. ViewMachine sN inp (Cursor inp ': vs) es a -> ViewMachine sN inp vs es a

Inputable repr => Inputable (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

loadInput :: forall inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp vs es a -> SomeInstr repr inp (Cursor inp ': vs) es a

pushInput :: forall inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp (Cursor inp ': vs) es a -> SomeInstr repr inp vs es a

Inputable repr => Trans (Instr Inputable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Inputable repr inp vs es a -> repr inp vs es a

data Instr Inputable repr

Defined in Symantic.Parser.Machine.Optimize

data Instr Inputable repr where

• LoadInput :: forall (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp vs es a -> Instr Inputable repr inp (Cursor inp ': vs) es a
• PushInput :: forall (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. SomeInstr repr inp (Cursor inp ': vs) es a -> Instr Inputable repr inp vs es a

Class Joinable

class Joinable (repr :: ReprInstr) where

Methods

defJoin :: LetName v -> repr inp (v ': vs) es a -> repr inp vs es a -> repr inp vs es a

refJoin :: LetName v -> repr inp (v ': vs) es a

Instances

Joinable Gen

Defined in Symantic.Parser.Machine.Generate

Methods

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

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

ShowLetName sN Name => Joinable (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

defJoin :: forall v inp (vs :: [Type]) (es :: Peano) a. LetName v -> ViewMachine sN inp (v ': vs) es a -> ViewMachine sN inp vs es a -> ViewMachine sN inp vs es a

refJoin :: forall v inp (vs :: [Type]) (es :: Peano) a. LetName v -> ViewMachine sN inp (v ': vs) es a

Joinable repr => Joinable (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

defJoin :: forall v inp (vs :: [Type]) (es :: Peano) a. LetName v -> SomeInstr repr inp (v ': vs) es a -> SomeInstr repr inp vs es a -> SomeInstr repr inp vs es a

refJoin :: forall v inp (vs :: [Type]) (es :: Peano) a. LetName v -> SomeInstr repr inp (v ': vs) es a

Joinable repr => Trans (Instr Joinable repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr Joinable repr inp vs es a -> repr inp vs es a

data Instr Joinable repr

Defined in Symantic.Parser.Machine.Optimize

data Instr Joinable repr where

• DefJoin :: forall v (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. LetName v -> SomeInstr repr inp (v ': vs) es a -> SomeInstr repr inp vs es a -> Instr Joinable repr inp vs es a
• RefJoin :: forall v (repr :: ReprInstr) inp (vs :: [Type]) (es :: Peano) a. LetName v -> Instr Joinable repr inp (v ': vs) es a

Class Readable

class Readable (tok :: Type) (repr :: ReprInstr) where

Methods

read :: tok ~ InputToken inp => [ErrorItem tok] -> TermInstr (tok -> Bool) -> repr inp (tok ': vs) ('Succ es) a -> repr inp vs ('Succ es) a

Instances

Readable Char Gen

Defined in Symantic.Parser.Machine.Generate

Methods

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

Readable tok (ViewMachine sN)

Defined in Symantic.Parser.Machine.View

Methods

read :: forall inp (vs :: [Type]) (es :: Peano) a. tok ~ InputToken inp => [ErrorItem tok] -> TermInstr (tok -> Bool) -> ViewMachine sN inp (tok ': vs) ('Succ es) a -> ViewMachine sN inp vs ('Succ es) a

(Readable tok repr, Typeable tok) => Readable tok (SomeInstr repr)

Defined in Symantic.Parser.Machine.Optimize

Methods

read :: forall inp (vs :: [Type]) (es :: Peano) a. tok ~ InputToken inp => [ErrorItem tok] -> TermInstr (tok -> Bool) -> SomeInstr repr inp (tok ': vs) ('Succ es) a -> SomeInstr repr inp vs ('Succ es) a

(Readable tok repr, tok ~ InputToken inp) => Trans (Instr (Readable tok) repr inp vs es) (repr inp vs es)

Defined in Symantic.Parser.Machine.Optimize

Methods

trans :: Instr (Readable tok) repr inp vs es a -> repr inp vs es a

data Instr (Readable tok) repr

Defined in Symantic.Parser.Machine.Optimize

data Instr (Readable tok) repr where

• Read :: forall inp (repr :: ReprInstr) (vs :: [Type]) (es :: Peano) a tok. [ErrorItem (InputToken inp)] -> TermInstr (InputToken inp -> Bool) -> SomeInstr repr inp (InputToken inp ': vs) ('Succ es) a -> Instr (Readable tok) repr inp vs ('Succ es) a