Aardvark.Base


HighFun

Static members

Static memberDescription
ApplyArg0(fun, a0)
Signature: (fun:Func<'TArg0,'TArg1,'TResult> * a0:'TArg0) -> Func<'TArg1,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TResult
ApplyArg0(fun, a0)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TResult> * a0:'TArg0) -> Func<'TArg1,'TArg2,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
ApplyArg0(fun, a0)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TArg3,'TResult> * a0:'TArg0) -> Func<'TArg1,'TArg2,'TArg3,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TArg3, 'TResult
ApplyArg0Arg1(fun, a0, a1)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TResult> * a0:'TArg0 * a1:'TArg1) -> Func<'TArg2,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
ApplyArg0Arg2(fun, a0, a2)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TResult> * a0:'TArg0 * a2:'TArg2) -> Func<'TArg1,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
ApplyArg1(fun, a1)
Signature: (fun:Func<'TArg0,'TArg1,'TResult> * a1:'TArg1) -> Func<'TArg0,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TResult
ApplyArg1(fun, a1)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TResult> * a1:'TArg1) -> Func<'TArg0,'TArg2,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
ApplyArg1(fun, a1)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TArg3,'TResult> * a1:'TArg1) -> Func<'TArg0,'TArg2,'TArg3,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TArg3, 'TResult
ApplyArg1Arg2(fun, a1, a2)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TResult> * a1:'TArg1 * a2:'TArg2) -> Func<'TArg0,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
ApplyArg2(fun, a2)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TResult> * a2:'TArg2) -> Func<'TArg0,'TArg1,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
ApplyArg2(fun, a2)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TArg3,'TResult> * a2:'TArg2) -> Func<'TArg0,'TArg1,'TArg3,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TArg3, 'TResult
ApplyArg3(fun, a3)
Signature: (fun:Func<'TArg0,'TArg1,'TArg2,'TArg3,'TResult> * a3:'TArg3) -> Func<'TArg0,'TArg1,'TArg2,'TResult>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TArg3, 'TResult
Compose(f0, f1)
Signature: (f0:Func<'T0,'T1> * f1:Func<'T1,'T2>) -> Func<'T0,'T2>
Type parameters: 'T0, 'T1, 'T2

Fun.Compose(f0, f1) returns f1(f0).

Compose(f0, f1, f2)
Signature: (f0:Func<'T0,'T1> * f1:Func<'T1,'T2> * f2:Func<'T2,'T3>) -> Func<'T0,'T3>
Type parameters: 'T0, 'T1, 'T2, 'T3

Fun.Compose(f0, f1, f2) returns f2(f1(f0)).

Compose(f0, f1, f2, f3)
Signature: (f0:Func<'T0,'T1> * f1:Func<'T1,'T2> * f2:Func<'T2,'T3> * f3:Func<'T3,'T4>) -> Func<'T0,'T4>
Type parameters: 'T0, 'T1, 'T2, 'T3, 'T4

Fun.Compose(f0, f1, f2, f3) returns f3(f2(f1(f0))).

Curry(fun)
Signature: fun:Func<'TArg0,'TArg1,'TResult> -> Func<'TArg0,Func<'TArg1,'TResult>>
Type parameters: 'TArg0, 'TArg1, 'TResult
Curry(fun)
Signature: fun:Func<'TArg0,'TArg1,'TArg2,'TResult> -> Func<'TArg0,Func<'TArg1,Func<'TArg2,'TResult>>>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TResult
Curry(fun)
Signature: fun:Func<'TArg0,'TArg1,'TArg2,'TArg3,'TResult> -> Func<'TArg0,Func<'TArg1,Func<'TArg2,Func<'TArg3,'TResult>>>>
Type parameters: 'TArg0, 'TArg1, 'TArg2, 'TArg3, 'TResult
IntoFunc(x)
Signature: x:'T -> Func<'T>
Type parameters: 'T

Wrap a value into a function.

Y(f)
Signature: f:Func<Func<'T0,'TR>,Func<'T0,'TR>> -> Func<'T0,'TR>
Type parameters: 'T0, 'TR
Y(f)
Signature: f:Func<Func<'T0,'T1,'TR>,Func<'T0,'T1,'TR>> -> Func<'T0,'T1,'TR>
Type parameters: 'T0, 'T1, 'TR
Y(f)
Signature: f:Func<Func<'T0,'T1,'T2,'TR>,Func<'T0,'T1,'T2,'TR>> -> Func<'T0,'T1,'T2,'TR>
Type parameters: 'T0, 'T1, 'T2, 'TR
Y(f)
Signature: f:Func<Func<'T0,'T1,'T2,'T3,'TR>,Func<'T0,'T1,'T2,'T3,'TR>> -> Func<'T0,'T1,'T2,'T3,'TR>
Type parameters: 'T0, 'T1, 'T2, 'T3, 'TR
Fork me on GitHub