
  0 | module Syntax.IHateParens.Function
  1 | 
  2 | %default total
  3 | 
  4 | ----------------------------
  5 | --- Function composition ---
  6 | ----------------------------
  7 | 
  8 | export infixl 0 .|
  9 | 
 10 | ||| Instead of `f (a b) $ c d` or `f (a b) (c d)` you can write `f .| a b .| c d`
 11 | public export %inline %tcinline
 12 | (.|) : (a -> b) -> a -> b
 13 | (.|) f = f
 14 |