Module type_level_values::fn_adaptors [−][src]
Operator adaptors for TypeFn_ implementors.
Contains types for converting operators to a different arity(amount of parameters), transforming one input to an operator before applying it,etc.
Structs
| ApplyLhs |
Type-level version of "|x|Op(Lhs,x)" |
| ApplyNonNth |
Applies every parameter to Op except for the nth,creating a unary function that takes that parameter and evaluates Op. |
| ApplyNth |
Applies a parameter of a TypeFn_< SomeTuple > , reducing the arity of the resulting TypeFn_<> by 1. |
| ApplyRhs |
Type-level version of "|x|Op(x,Rhs)" |
| Const |
Type-level version of "|_| Value ". |
| EvalLhsOp |
Type-level version of "|l,r| l(r) " |
| EvalRhsOp |
Type-level version of "|l,r| r(l) " |
| IdentityFn |
Type-level version of "|x| x ". |
| Ignoring |
Ignores the captured variable,acting like an TypeFn_ identity function. |
| MapLhs |
Type-level version of "|l,r|Op(Mapper(l),r)" |
| MapNth |
Maps the nth parameter using Mapper and then passes it to Op. |
| MapRhs |
Type-level version of "|l,r|Op(l,Mapper(r))" |
| ReturnLhs |
Type-level version of "|l,_|l" |
| ReturnRhs |
Type-level version of "|_,r|r" |
| TupledIn |
A type-level version of "|x| f((x,)) " |
Type Definitions
| ApplyNonSelf |
Applies every parameter except the self parameter,which is by convention the first. |
| IgnoreFirst |
Ignores |