General
Namespace: NovelFS.NovelIO
General functions of wide applicability
Functions and values
| Function or value | Description |
const' x arg2
Signature: x:'c -> 'd -> 'c
Type parameters: 'c, 'd |
Helper function that takes two arguments and throws away the second, returning the first |
curry f a b
Signature: f:('?7470 * '?7471 -> '?7472) -> a:'?7470 -> b:'?7471 -> '?7472
Type parameters: '?7470, '?7471, '?7472 |
Converts an uncurried function to a curried function. |
flip f a b
Signature: f:('d -> 'e -> 'f) -> a:'e -> b:'d -> 'f
Type parameters: 'd, 'e, 'f |
When supplied with a function f, returns a new function that accepts the first and second arguments in the opposite order |
listCons x ys
Signature: x:'c -> ys:'c list -> 'c list
Type parameters: 'c |
Curried function for prepending to list, equivalent to x :: ys |
uncurry f (a, b)
Signature: f:('?7474 -> '?7475 -> '?7476) -> (a:'?7474 * b:'?7475) -> '?7476
Type parameters: '?7474, '?7475, '?7476 |
Converts a curried function to a function on pairs. |
