Idris2Doc : Syntax.IHateParens.Function

Syntax.IHateParens.Function

(source)

Definitions

(.|) : (a->b) ->a->b
  Instead of `f (a b) $ c d` or `f (a b) (c d)` you can write `f .| a b .| c d`

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