Idris2Doc : Data.String.Parser.Expression

Data.String.Parser.Expression

data Assoc : Type
  Totality: total
  Constructors:
  
AssocNone : Assoc
  
AssocLeft : Assoc
  
AssocRight : Assoc
BinaryOperator : Type -> Type
  
data Operator : Type -> Type
  Totality: total
  Constructors:
  
Infix : Parser (a -> a -> a) -> Assoc -> Operator a
  
Prefix : Parser (a -> a) -> Operator a
  
Postfix : Parser (a -> a) -> Operator a
OperatorTable : Type -> Type
  
data Ops : Type -> Type
  Totality: total
  Constructors:
  
BinOp : BinaryOperator a -> Ops a
  
UnOp : UnaryOperator a -> Ops a
ReturnType : Type -> Type
  
UnaryOperator : Type -> Type
  
buildExpressionParser : (a : Type) -> OperatorTable a -> Parser a -> Parser a