[Haskell-cafe] Unary functions and infix notation

Wvv vitea3v at rambler.ru
Fri Sep 6 23:38:43 CEST 2013

But we can do next:

   Prelude> :set XPostfixOperators
   Prelude> let z = (\y -> True) :: a -> Bool 
   Prelude> :t (True `z`)

But still
`z` True   ~    \a -> a `z` True    ~   \a -> z a True
and `z` must be a function with minimum 2 arguments

View this message in context: http://haskell.1045720.n5.nabble.com/Unary-functions-and-infix-notation-tp5735766p5735807.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list