Symantic.Parser.Machine.View

Type ViewMachine

newtype ViewMachine (showName :: Bool) inp (vs :: [Type]) (es :: Peano) a

Constructors

ViewMachine

Fields

• unViewMachine :: Forest String -> Forest String

Instances

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

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

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

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

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

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

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

Show (ViewMachine sN inp vs es a)

Defined in Symantic.Parser.Machine.View

Methods

showsPrec :: Int -> ViewMachine sN inp vs es a -> ShowS

show :: ViewMachine sN inp vs es a -> String

showList :: [ViewMachine sN inp vs es a] -> ShowS

IsString (ViewMachine sN inp vs es a)

Defined in Symantic.Parser.Machine.View

Methods

fromString :: String -> ViewMachine sN inp vs es a

viewMachine :: ViewMachine sN inp vs es a -> ViewMachine sN inp vs es a

viewInstrCmd :: String -> Forest String -> Tree String

Helper to view a command.

viewInstrArg :: String -> Forest String -> Tree String

Helper to view an argument.