smithy4s.schema

Members list

Concise view

Type members

Classlikes

final case class Alt[F[_], U, A](label: String, instance: F[A], inject: A => U)

Represents a member of coproduct type (sealed trait)

Represents a member of coproduct type (sealed trait)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Alt

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Alt.type

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CollectionTag[C[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object IndexedSeqTag.type
object ListTag.type
object SetTag.type
object VectorTag.type

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
trait CompilationCache[F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class EnumValue[E](stringValue: String, intValue: Int, value: E, name: String, hints: Hints)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed abstract class Field[F[_], S, A]

Represents a member of product type (case class)

Represents a member of product type (case class)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Field

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Field.type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
sealed trait Primitive[T]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object PBigDecimal.type
object PBigInt.type
object PBlob.type
object PBoolean.type
object PByte.type
object PDocument.type
object PDouble.type
object PFloat.type
object PInt.type
object PLong.type
object PShort.type
object PString.type
object PTimestamp.type
object PUUID.type
object PUnit.type
object Primitive

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait Schema[A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BijectionSchema[A, B]
class CollectionSchema[C, A]
class LazySchema[A]
class MapSchema[K, V]
class RefinementSchema[A, B]
class StructSchema[S]
class UnionSchema[U]
object Schema

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Schema.type
trait SchemaVisitor[F[_]] extends PolyFunction[Schema, F]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Types

type Repr[A] = String
type SchemaAlt[U, A] = Alt[Schema, U, A]
type SchemaField[S, A] = Field[Schema, S, A]