Operators Module

Functions and values

Function or value Description

m1 *> m2

Full Usage: m1 *> m2

Parameters:
    m1 : 'a option
    m2 : 'b option

Returns: 'b option
Modifiers: inline
Type parameters: 'a, 'b
m1 : 'a option
m2 : 'b option
Returns: 'b option

m1 <* m2

Full Usage: m1 <* m2

Parameters:
    m1 : 'a option
    m2 : 'b option

Returns: 'a option
Modifiers: inline
Type parameters: 'a, 'b
m1 : 'a option
m2 : 'b option
Returns: 'a option

m >>* f

Full Usage: m >>* f

Parameters:
    m : 'a option
    f : 'a -> unit

Returns: 'a option
Modifiers: inline
Type parameters: 'a
m : 'a option
f : 'a -> unit
Returns: 'a option

f <!> m

Full Usage: f <!> m

Parameters:
    f : 'a -> 'b
    m : 'a option

Returns: 'b option
Modifiers: inline
Type parameters: 'a, 'b
f : 'a -> 'b
m : 'a option
Returns: 'b option

f <*> m

Full Usage: f <*> m

Parameters:
    f : ('a -> 'b) option
    m : 'a option

Returns: 'b option
Modifiers: inline
Type parameters: 'a, 'b
f : ('a -> 'b) option
m : 'a option
Returns: 'b option

f =<< m

Full Usage: f =<< m

Parameters:
    f : 'a -> 'b option
    m : 'a option

Returns: 'b option
Modifiers: inline
Type parameters: 'a, 'b
f : 'a -> 'b option
m : 'a option
Returns: 'b option

m >>= f

Full Usage: m >>= f

Parameters:
    m : 'a option
    f : 'a -> 'b option

Returns: 'b option
Modifiers: inline
Type parameters: 'a, 'b
m : 'a option
f : 'a -> 'b option
Returns: 'b option