schematic
package schematic
- Alphabetic
- By Inheritance
- schematic
- ExistentialsPlatformCompat
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
case class
Alt[F[_], S, A](label: String, instance: F[A], inject: (A) ⇒ S) extends Product with Serializable
Represents a member of coproduct type (sealed trait)
- class ByteArray extends AnyRef
- type CollectionSchematic[F[_]] = Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F]
-
type
Existential[F[_]] = F[_]
- Definition Classes
- ExistentialsPlatformCompat
- trait ExistentialsPlatformCompat extends AnyRef
-
sealed abstract
class
Field[F[_], S, A] extends AnyRef
Represents a member of product type (case class)
- type NumericSchematic[F[_]] = Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F]
- final case class OneOf[-S[_[_]], U, A](label: String, schema: Schema[S, A], inject: (A) ⇒ U) extends Product with Serializable
- final case class OptionalField[S[_[_]], Struct, A](label: String, schema: Schema[S, A], get: (Struct) ⇒ Option[A]) extends StructureField[S, Struct, Option[A]] with Product with Serializable
-
trait
PolyFunction[F[_], G[_]] extends AnyRef
Natural transformation, turning a polymorphic type into another, whilst keeping the type parameter intact.
- type PrettyRepr[A] = Printer
- type PrimitiveSchematic[F[_]] = NumericSchematic[F] with Schematic[F] with Schematic[F] with Schematic[F]
- trait Printer extends AnyRef
- type Repr[A] = String
- final case class RequiredField[S[_[_]], Struct, A](label: String, schema: Schema[S, A], get: (Struct) ⇒ A) extends StructureField[S, Struct, A] with Product with Serializable
-
trait
Schema[-S[_[_]], A] extends AnyRef
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.
- trait SchematicPretty extends Mixin[PrettyRepr] with GenericAritySchematic[PrettyRepr]
- trait SchematicRepr extends Mixin[Repr] with GenericAritySchematic[Repr]
- type Static[A] = A with Tag
- abstract class StaticImpl extends AnyRef
-
sealed abstract
class
StructureField[-S[_[_]], Struct, A] extends AnyRef
Represents a member of product type (case class)
- trait StubSchematic[F[_]] extends Mixin[F] with schematic.javatime.StubSchematic[F] with GenericAritySchematic[F]
- type Wrapped[F[_], G[_], A] = F[G[A]]
Value Members
- object Alt extends Serializable
- object ByteArray
- object Existential
- object Field
- object OneOf extends Serializable
- object PolyFunction
- object Printer
- object Schema
- object Schematic
- object SchematicPretty extends SchematicPretty
- object SchematicRepr extends SchematicRepr
- object Static extends StaticImpl
- object bigdecimal
- object bigint
-
object
bijection
Provides capabilities to express a bijection between a type contained within the metamodel and one that is not.
- object boolean
- object byte
- object bytes
- object double
- object enumeration
- object float
- object instant
- object int
- object javatime
- object list
- object localDate
- object long
-
object
map
Provides schematic functions to model maps/dictionaries.
- object offsetDateTime
- object set
- object short
- object string
- object struct
-
object
suspended
Provides capabilities to suspend encoders/decoders, which is useful for recursive datatypes
-
object
union
Provides functions to model coproducts (sealed-hints).
- object unit
- object uuid
- object vector