Data.String.Parser.Expression

Definitions

data Assoc : Type

Totality: total
Visibility: public export
Constructors:

AssocNone : Assoc

AssocLeft : Assoc

AssocRight : Assoc

data Operator : Type -> Type

Totality: total
Visibility: public export
Constructors:

Infix : Parser (a -> a -> a) -> Assoc -> Operator a

Prefix : Parser (a -> a) -> Operator a

Postfix : Parser (a -> a) -> Operator a

OperatorTable : Type -> Type

Visibility: public export

BinaryOperator : Type -> Type

Visibility: public export

UnaryOperator : Type -> Type

Visibility: public export

data Ops : Type -> Type

Totality: total
Visibility: public export
Constructors:

BinOp : BinaryOperator a -> Ops a

UnOp : UnaryOperator a -> Ops a

ReturnType : Type -> Type

Visibility: public export

buildExpressionParser : (a : Type) -> OperatorTable a -> Parser a -> Parser a

Visibility: public export