Abstraction of map
for container types
Wrapper for T
, used when the compiler is looking for a type constructor e.g.
Wrapper for T
, used when the compiler is looking for a type constructor e.g. C[_]
Generalization for types that can be interpreted as a "push" or "pop" to a stack.
Generalization for types that can be interpreted as a "push" or "pop" to a stack.
For example, XMLEvent
has StartElement
and EndElement
subclasses which can be
treated as "push" and "pop" respectively.
Type-level tuple reduction function that treats Unit
as an Identity.
Type-level tuple reduction function that treats Unit
as an Identity.
For example:
TypeReduce.Aux[(Unit, Unit)]{ type Out = Unit } TypeReduce.Aux[(T, Unit)]{ type Out = T } TypeReduce.Aux[(Unit, T)]{ type Out = T } TypeReduce.Aux[(L, R)]{ type Out = (L, R) }