schematic
package schematic
- Alphabetic
- By Inheritance
- schematic
- ExistentialsPlatformCompat
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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]
- trait SchematicRepr extends Mixin[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]
- 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 maps
- 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