Idris2Doc : Data.String.Parser.Expression

Data.String.Parser.Expression

dataAssoc : Type
Totality: total
Constructors:
AssocNone : Assoc
AssocLeft : Assoc
AssocRight : Assoc
BinaryOperator : Type -> Type
dataOperator : 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
dataOps : Type -> Type
Totality: total
Constructors:
BinOp : BinaryOperatora -> Opsa
UnOp : UnaryOperatora -> Opsa
ReturnType : Type -> Type
UnaryOperator : Type -> Type
buildExpressionParser : (a : Type) -> OperatorTablea -> Parsera -> Parsera