Text.Parser.Expression

Definitions

data Assoc : Type

Totality: total
Visibility: public export
Constructors:

AssocNone : Assoc

AssocLeft : Assoc

AssocRight : Assoc

data Op : Type -> Type -> Type -> Type

Totality: total
Visibility: public export
Constructors:

Prefix : Grammar state k True (a -> a) -> Op state k a

Postfix : Grammar state k True (a -> a) -> Op state k a

Infix : Grammar state k True (a -> a -> a) -> Assoc -> Op state k a

OperatorTable : Type -> Type -> Type -> Type

Visibility: public export

buildExpressionParser : OperatorTable state k a -> Grammar state k True a -> Grammar state k True a

Visibility: export