Carrier for Coproduct
operations.
Record wrapper providing selectDynamic
access to fields.
Discriminated union wrapper providing selectDynamic
access to fields.
Enhances values of any type with a representation via Generic
with a method supporting conversion to a Zipper
.
Carrier for HList
operations.
Carrier for HList
operations.
These methods are implemented here and pimped onto the minimal HList
types to avoid issues that would otherwise be
caused by the covariance of ::[H, T]
.
Carrier for Nat
operations.
Record operations on HList
's with field-like elements.
Discriminated union operations on Coproducts
's with field-like elements.
Carrier for
Coproduct
operations.These methods are implemented here and extended onto the minimal
Coproduct
types to avoid issues that would otherwise be caused by the covariance of:+:[H, T]
.