Header menu logo Nu

Modifier<'a, 'b> Type

Modifies behaviors. TODO: implement arrow choice combinators.

Union cases

Union case Description

Modifier 'a Behavior -> 'b Behavior

Full Usage: Modifier 'a Behavior -> 'b Behavior

Parameters:
Item : 'a Behavior -> 'b Behavior

Static members

Static member Description

left **** right

Full Usage: left **** right

Parameters:
Returns: Modifier<('a * 'a2), ('b * 'b2)>

Splits the input into two behaviors and runs the left and right modifiers on each part independently.

left : Modifier<'a, 'b>
right : Modifier<'a2, 'b2>
Returns: Modifier<('a * 'a2), ('b * 'b2)>

left &&&& right

Full Usage: left &&&& right

Parameters:
Returns: Modifier<'a, ('b * 'b2)>

Fan-out composition of two modifiers. It runs both modifiers on the same input behavior and produces a pair of results.

left : Modifier<'a, 'b>
right : Modifier<'a, 'b2>
Returns: Modifier<'a, ('b * 'b2)>

left <<<< right

Full Usage: left <<<< right

Parameters:
Returns: Modifier<'a, 'c>

Composes two modifiers, applying the right modifier first and then the left one.

left : Modifier<'b, 'c>
right : Modifier<'a, 'b>
Returns: Modifier<'a, 'c>

left <<<^ right

Full Usage: left <<<^ right

Parameters:
Returns: Modifier<'c, 'b>

Left-to-right behavior composition of a function with a modifier.

left : Func<'c, 'a>
right : Modifier<'a, 'b>
Returns: Modifier<'c, 'b>

left >>>> right

Full Usage: left >>>> right

Parameters:
Returns: Modifier<'a, 'c>

Composes two modifiers, applying the left modifier first and then the right one.

left : Modifier<'a, 'b>
right : Modifier<'b, 'c>
Returns: Modifier<'a, 'c>

left >>>^ right

Full Usage: left >>>^ right

Parameters:
Returns: Modifier<'c, 'b>

Right-to-left behavior composition of a modifier with a function.

left : Modifier<'a, 'b>
right : Func<'c, 'a>
Returns: Modifier<'c, 'b>

left ^<<< right

Full Usage: left ^<<< right

Parameters:
Returns: Modifier<'a, 'c>

Right-to-left function composition of a function with a modifier.

left : Func<'b, 'c>
right : Modifier<'a, 'b>
Returns: Modifier<'a, 'c>

left ^>>> right

Full Usage: left ^>>> right

Parameters:
Returns: Modifier<'a, 'c>

Left-to-right function composition of a modifier with a function.

left : Modifier<'a, 'b>
right : Func<'b, 'c>
Returns: Modifier<'a, 'c>

Type something to start searching.