idris

Safe HaskellNone

Idris.ParseOps

Synopsis

Documentation

table :: [FixDecl] -> OperatorTable IdrisParser PTermSource

Creates table for fixity declarations to build expression parser using pre-build and user-defined operator/fixity declarations

toTable :: [FixDecl] -> OperatorTable IdrisParser PTermSource

Calculates table for fixtiy declarations

binary :: String -> (FC -> PTerm -> PTerm -> PTerm) -> Assoc -> Operator IdrisParser PTermSource

Binary operator

prefix :: String -> (FC -> PTerm -> PTerm) -> Operator IdrisParser PTermSource

Prefix operator

backtick :: Operator IdrisParser PTermSource

Backtick operator

operatorFront :: IdrisParser NameSource

Parses an operator in function position i.e. enclosed by `()', with an optional namespace

  OperatorFront ::= (Identifier_t .)? '(' Operator_t ')';

fnName :: IdrisParser NameSource

Parses a function (either normal name or operator)

  FnName ::= Name | OperatorFront;

fixity :: IdrisParser PDeclSource

Parses a fixity declaration

Fixity ::=
  FixityType Natural_t OperatorList Terminator
  ;

fixityType :: IdrisParser (Int -> Fixity)Source

Parses a fixity declaration type (i.e. infix or prefix, associtavity)

    FixityType ::=
      'infixl'
      | 'infixr'
      | 'infix'
      | prefix
      ;