Idris2Doc : Data.String.Parser.Expression

Data.String.Parser.Expression

Assoc : Type
Totality: total
Constructors:
AssocNone : Assoc
AssocLeft : Assoc
AssocRight : Assoc
BinaryOperator : Type -> Type
Operator : Type -> Type
Totality: total
Constructors:
Infix : Parser (a -> a -> a) -> Assoc -> Operatora
Prefix : Parser (a -> a) -> Operatora
Postfix : Parser (a -> a) -> Operatora
OperatorTable : Type -> Type
Ops : Type -> Type
Totality: total
Constructors:
BinOp : BinaryOperatora -> Opsa
UnOp : UnaryOperatora -> Opsa
ReturnType : Type -> Type
UnaryOperator : Type -> Type
buildExpressionParser : (a : Type) -> OperatorTablea -> Parsera -> Parsera