Idris2Doc : Text.Parser.Expression

Text.Parser.Expression

dataAssoc : Type
Totality: total
Constructors:
AssocNone : Assoc
AssocLeft : Assoc
AssocRight : Assoc
dataOp : Type -> Type -> Type -> Type
Totality: total
Constructors:
Prefix : GrammarstatekTrue (a -> a) -> Opstateka
Postfix : GrammarstatekTrue (a -> a) -> Opstateka
Infix : GrammarstatekTrue (a -> a -> a) -> Assoc -> Opstateka
OperatorTable : Type -> Type -> Type -> Type
buildExpressionParser : OperatorTablestateka -> GrammarstatekTruea -> GrammarstatekTruea