forked from steger/pr3-sose2026
const binary function
parent
918af522d6
commit
8da0378153
|
|
@ -50,7 +50,10 @@ Expression | Type (:t) | Value | Comment
|
|||
`uncurry` | `(a -> b -> c) -> (a, b) -> c`| |
|
||||
`` (`div` 4) `` | `Integral a => a -> a` | | **Sectioning** binds the **second** argument of infix functions; Similar `(/8),(*8),(+8),(-8)` |
|
||||
``divSomethingBy4 = (`div` 4)`` | `Integral a => a -> a` | |
|
||||
`divSomethingBy4 8` | `Integral a => a` | `2` |
|
||||
`divSomethingBy4 8` | `Integral a => a` | `2` |
|
||||
`const` | `a -> b -> a` | |
|
||||
`const 8` | `Num a => b -> a` | | function that ignores the input and always returns 8
|
||||
`const 8 4` | `Num a => a` | `8` |
|
||||
|
||||
## Tuples
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue