Encodes the associative law that reductions may satisfy.
Takes a pair of reductions to a reduction on pairs.
Takes a pair of reductions to a reduction on pairs. Alias for zip
.
The binary operation.
The binary operation. Alias for apply
.
Lift a reduction to an applicative environment.
The binary operation.
The binary operation. Alias for -\
.
Maps a bijection on a reduction to produce a function.
Lift a reduction to a composition of functors.
Swaps the arguments to the binary operation.
Swaps the arguments to the binary operation. Alias for unary_~
.
Takes a pair of reductions to a reduction on a disjunction with left (A) bias.
Lifts this reduction to a reduction with an environment.
Maps a function on the inputs to a reduction to produce a reduction.
Maps a function on the output of a reduction to produce a reduction.
Maps a function on the inputs and output of a reduction to produce a function.
Takes a reduction and produces a reduction on Option
, taking as many Some
values as possible.
Return a unary operation that applies to both sides of the binary operation.
Return a unary operation that applies to both sides of the binary operation as an endomorphism.
Takes a reduction to a reduction on a unary function.
Takes a reduction to a reduction on a binary function.
Takes a reduction to a reduction on a binary function with an environment (Q) in argument position.
Takes a reduction to a reduction on a binary function with an environment (Q) in return position.
Takes a reduction to a reduction on a ternary function.
Takes a reduction to a reduction on a ternary function with an environment (Q) in argument position.
Takes a reduction to a reduction on a ternary function with an environment (Q) in return position.
Takes a reduction to a reduction on an arity-4 function.
Takes a reduction to a reduction on an arity-4 function with an environment (Q) in argument position.
Takes a reduction to a reduction on an arity-4 function with an environment (Q) in return position.
Takes a reduction to a reduction on an arity-5 function.
Takes a reduction to a reduction on an arity-5 function with an environment (Q) in argument position.
Takes a reduction to a reduction on an arity-5 function with an environment (Q) in return position.
Takes a reduction to a reduction on a unary function with an environment (Q) in argument position.
Takes a reduction to a reduction on a unary function in an environment (Q).
The binary operation in curried form.
Takes a pair of reductions to a reduction on a disjunction with right (B) bias.
Takes a reduction to a scalaz semigroup.
Takes a reduction to a reduction on state.
Takes a pair of reductions to a reduction on store (comonad).
Swaps the arguments to the binary operation.
Swaps the arguments to the binary operation. Alias for dual
.
Takes a reduction to a reduction on validation values with bias on success.
Takes a reduction to a reduction on writer.
Takes a reduction and a semigroup to a reduction on pairs.
Takes a reduction and two semigroups to a reduction on tuple-3.
Takes a reduction and three semigroups to a reduction on tuple-4.
Takes a reduction and four semigroups to a reduction on tuple-5.
Maps a pair of functions on a reduction to produce a reduction.
Takes a pair of reductions to a reduction on pairs.
Takes a pair of reductions to a reduction on pairs. Alias for ***
.
Takes three reductions to a reduction on tuple-3.
Takes four reductions to a reduction on tuple-4.
Takes five reductions to a reduction on tuple-5.
Takes six reductions to a reduction on tuple-6.
Takes seven reductions to a reduction on tuple-7.
Takes eight reductions to a reduction on tuple-8.