bind f m
Signature: f:('a -> astate<'s,'b>) -> m:astate<'s,'a> -> astate<'s,'b>
Type parameters: 'a, 's, 'b
|
|
bindMod f m
Signature: f:('a -> astate<'s,'b>) -> m:IMod<'a> -> astate<'s,'b>
Type parameters: 'a, 's, 'b
|
|
create v
Signature: v:'a -> astate<'?9572,'a>
Type parameters: 'a, '?9572
|
|
getState
Signature: astate<obj,obj>
Type parameters: 's
|
|
map f m
Signature: f:('a -> 'b) -> m:astate<'s,'a> -> astate<'s,'b>
Type parameters: 'a, 'b, 's
|
|
modifyState f
Signature: f:('s -> 's) -> astate<'s,unit>
Type parameters: 's
|
|
modifyState' f
Signature: f:('s -> 's) -> astate<'s,'s>
Type parameters: 's
|
|
ofAFun m
Signature: m:afun<'a,'b> -> astate<'s,('a -> 'b)>
Type parameters: 'a, 'b, 's
|
|
ofMod m
Signature: m:IMod<'a> -> astate<'s,'a>
Type parameters: 'a, 's
|
|
putState s
Signature: s:'s -> astate<'s,unit>
Type parameters: 's
|
|