schematic
Type members
Classlikes
Represents a member of coproduct type (sealed trait)
Represents a member of coproduct type (sealed trait)
- Companion
- object
Represents a member of product type (case class)
Represents a member of product type (case class)
- Companion
- object
Natural transformation, turning a polymorphic type into another, whilst keeping the type parameter intact.
Natural transformation, turning a polymorphic type into another, whilst keeping the type parameter intact.
- Companion
- object
Purposefully open interface meant to enable building schemas as values, in an extensible manner.
Purposefully open interface meant to enable building schemas as values, in an extensible manner.
The metamodel gets inferred automatically via contravariance.
- Companion
- object
Represents a member of product type (case class)
Represents a member of product type (case class)
Provides capabilities to express a bijection between a type contained within the metamodel and one that is not.
Provides capabilities to express a bijection between a type contained within the metamodel and one that is not.
Provides schematic functions to model maps/dictionaries.
Provides schematic functions to model maps/dictionaries.
Provides capabilities to suspend encoders/decoders, which is useful for recursive datatypes
Provides capabilities to suspend encoders/decoders, which is useful for recursive datatypes
Provides functions to model coproducts (sealed-hints).
Provides functions to model coproducts (sealed-hints).