Operators
provides special operators for composing IMods
Functions and values
| Function or value | Description |
( !! ) m
Signature: m:IMod<'a> -> 'a
Type parameters: 'a |
forces the value of a cell |
( %- ) l r
Signature: l:IMod<^a> -> r:IMod<^b> -> IMod<^?9282>
Type parameters: ^a, ^b, ^?9282 |
adaptively subtracts two values |
( %&& ) l r
Signature: l:IMod<bool> -> r:IMod<bool> -> IMod<bool>
|
creates an adaptive cell providing the value of "l && r" |
( %* ) l r
Signature: l:IMod<^a> -> r:IMod<^b> -> IMod<^?9286>
Type parameters: ^a, ^b, ^?9286 |
adaptively mutiplies two values |
( %. ) l r
Signature: l:('a -> IMod<'a>) -> r:'a -> IMod<'a>
Type parameters: 'a |
expresses an adaptive "if then else" expression (e.g. m %? a %. b <=> if m then a else b) |
( %/ ) l r
Signature: l:IMod<^a> -> r:IMod<^b> -> IMod<^?9290>
Type parameters: ^a, ^b, ^?9290 |
adaptively divides two values |
( %? ) l vt vf
Signature: l:IMod<bool> -> vt:'a -> vf:'a -> IMod<'a>
Type parameters: 'a |
expresses an adaptive "if then else" expression (e.g. m %? a %. b <=> if m then a else b) |
( %|| ) l r
Signature: l:IMod<bool> -> r:IMod<bool> -> IMod<bool>
|
creates an adaptive cell providing the value of "l || r" |
( %+ ) l r
Signature: l:IMod<^a> -> r:IMod<^b> -> IMod<^?9278>
Type parameters: ^a, ^b, ^?9278 |
adaptively adds two values |
( ~~ ) v
Signature: v:'a -> IMod<'a>
Type parameters: 'a |
creates a constant cell containing the given value |
mref v
Signature: v:'a -> ModRef<'a>
Type parameters: 'a |
creates a changeable cell containing the given value |
