TParsec.Types.Parameters

Tok : (rec : Parameters m) -> Type

Type of tokens

Toks : (rec : Parameters m) -> Nat -> Type

Type of sized input (~ Vec Tok)

param_m : (rec : Parameters m) -> Type -> Type

recordToken : (rec : Parameters m) -> Tok rec -> m ()

The action allowing us to track consumed tokens

set_Toks : (Toks : Nat -> Type) -> (rec : Parameters m) -> Parameters m

Type of sized input (~ Vec Tok)