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
Coproductoperations.These methods are implemented here and extended onto the minimal
Coproducttypes to avoid issues that would otherwise be caused by the covariance of:+:[H, T].