AFun
Nested types and modules
| Type | Description |
| AdaptiveFun<'a, 'b> | |
| ConstantFun<'a, 'b> |
Functions and values
| Function or value | Description |
apply v f
Signature: v:IMod<'a> -> f:afun<'a,'b> -> IMod<'b>
Type parameters: 'a, 'b |
|
bind f m
Signature: f:('a -> afun<'x,'y>) -> m:IMod<'a> -> afun<'x,'y>
Type parameters: 'a, 'x, 'y |
|
chain l
Signature: l:afun<'a,'a> list -> afun<'a,'a>
Type parameters: 'a |
|
chainM l
Signature: l:IMod<afun<'a,'a> list> -> afun<'a,'a>
Type parameters: 'a |
|
compose g f
Signature: g:afun<'b,'c> -> f:afun<'a,'b> -> afun<'a,'c>
Type parameters: 'b, 'c, 'a |
|
constant v
Signature: v:'b -> afun<'a,'b>
Type parameters: 'b, 'a |
|
create f
Signature: f:('a -> 'b) -> afun<'a,'b>
Type parameters: 'a, 'b |
|
integrate f initial
Signature: f:afun<'a,'a> -> initial:'a -> IMod<'a>
Type parameters: 'a |
|
ofMod f
Signature: f:IMod<('a -> 'b)> -> afun<'a,'b>
Type parameters: 'a, 'b |
|
run v f
Signature: v:'a -> f:afun<'a,'b> -> IMod<'b>
Type parameters: 'a, 'b |
|
runChain l initial
Signature: l:afun<'?9499,'?9499> list -> initial:'?9499 -> IMod<'?9499>
Type parameters: '?9499 |
|
zip f g
Signature: f:afun<'a,'b> -> g:afun<'a,'c> -> afun<'a,('b * 'c)>
Type parameters: 'a, 'b, 'c |
|
zipWith combine f g
Signature: combine:('b -> 'c -> 'd) -> f:afun<'a,'b> -> g:afun<'a,'c> -> afun<'a,'d>
Type parameters: 'b, 'c, 'd, 'a |
|
