curry f a b
Signature: f:('d * 'e -> 'f) -> a:'d -> b:'e -> 'f
Type parameters: 'd, 'e, 'f
|
|
fix f x
Signature: f:(('?21153 -> '?21154) -> '?21153 -> '?21154) -> x:'?21153 -> '?21154
Type parameters: '?21153, '?21154
|
|
fix2 f x y
Signature: f:(('?21156 -> '?21157 -> '?21158) -> '?21156 -> '?21157 -> '?21158) -> x:'?21156 -> y:'?21157 -> '?21158
Type parameters: '?21156, '?21157, '?21158
|
|
fix3 f x y z
Signature: f:(('?21160 -> '?21161 -> '?21162 -> '?21163) -> '?21160 -> '?21161 -> '?21162 -> '?21163) -> x:'?21160 -> y:'?21161 -> z:'?21162 -> '?21163
Type parameters: '?21160, '?21161, '?21162, '?21163
|
|
flip f a b
Signature: f:('d -> 'e -> 'f) -> a:'e -> b:'d -> 'f
Type parameters: 'd, 'e, 'f
|
|
konst a arg2
Signature: a:'a -> 'b -> 'a
Type parameters: 'a, 'b
|
|
konst2 a arg2 arg3
Signature: a:'?21124 -> '?21125 -> '?21126 -> '?21124
Type parameters: '?21124, '?21125, '?21126
|
|
swap (a, b)
Signature: (a:'?21118 * b:'?21119) -> '?21119 * '?21118
Type parameters: '?21118, '?21119
|
|
tuple2 a b
Signature: a:'?21128 -> b:'?21129 -> '?21128 * '?21129
Type parameters: '?21128, '?21129
|
Creates a pair
|
tuple3 a b c
Signature: a:'?21131 -> b:'?21132 -> c:'?21133 -> '?21131 * '?21132 * '?21133
Type parameters: '?21131, '?21132, '?21133
|
Creates a 3-tuple
|
tuple4 a b c d
Signature: a:'?21135 -> b:'?21136 -> c:'?21137 -> d:'?21138 -> '?21135 * '?21136 * '?21137 * '?21138
Type parameters: '?21135, '?21136, '?21137, '?21138
|
Creates a 4-tuple
|
tuple5 a b c d e
Signature: a:'?21140 -> b:'?21141 -> c:'?21142 -> d:'?21143 -> e:'?21144 -> '?21140 * '?21141 * '?21142 * '?21143 * '?21144
Type parameters: '?21140, '?21141, '?21142, '?21143, '?21144
|
Creates a 5-tuple
|
tuple6 a b c d e f
Signature: a:'?21146 -> b:'?21147 -> c:'?21148 -> d:'?21149 -> e:'?21150 -> f:'?21151 -> '?21146 * '?21147 * '?21148 * '?21149 * '?21150 * '?21151
Type parameters: '?21146, '?21147, '?21148, '?21149, '?21150, '?21151
|
Creates a 6-tuple
|
uncurry f (a, b)
Signature: f:('?21114 -> '?21115 -> '?21116) -> (a:'?21114 * b:'?21115) -> '?21116
Type parameters: '?21114, '?21115, '?21116
|
|