Language.Reflection.Syntax.Ops

Operator aliases for some of the functions in
`Language.Reflection.Syntax`.

There are placed in a separate module in order not to
pollute the envirionment with additional fixity declarations.

Definitions

(.$) : TTImp -> TTImp -> TTImp

  Infix version of `app`
  
  Example: ```var "Just" .$ var "x"```

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 6

(.!) : TTImp -> (Name, TTImp) -> TTImp

  Infix version of `namedApp`.

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 6

=DEPRECATED=

(.=>) : Arg -> TTImp -> TTImp

  Infix alias for `lam`.
  
  @deprecation: This is in conflict with a similar operator from
  `Syntax.PreorderReasoning`. It will be removed in a later commit.

Totality: total
Visibility: public export
Fixity Declarations:
infix operator, level 1
infix operator, level 1

(.->) : Arg -> TTImp -> TTImp

  Infix alias for `pi`.

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 5

(.=) : TTImp -> TTImp -> Clause

  Infix alias for `patClause`

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 3