smithy4s.schema

package smithy4s.schema

Members list

Type members

Classlikes

final case class Alt[U, A](label: String, schema: Schema[A], inject: A => U)

Represents a member of coproduct type (sealed trait)

Represents a member of coproduct type (sealed trait)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Alt

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Alt.type
trait CachedSchemaCompiler[+F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Impl[F]
object HttpStatusCode.type
class DerivingImpl[F]
object Decoder.type
object Encoder.type
class Impl[F]
Show all
Self type

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait EnumTag

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object IntEnum.type
object StringEnum.type
object EnumTag

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class Field[S, A](label: String, schema: Schema[A], get: S => A)

Represents a member of product type (case class)

Represents a member of product type (case class)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Field

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Field.type

Attributes

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

Attributes

Companion
object
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
Show all
object Primitive

Attributes

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

Attributes

Companion
object
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 OptionSchema[A]
class PrimitiveSchema[P]
class RefinementSchema[A, B]
class StructSchema[S]
class UnionSchema[U]
Show all
object Schema

Attributes

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

A structure indicating the match result of running Schema#partition against a given predicate

A structure indicating the match result of running Schema#partition against a given predicate

  • if the schema is not of a structure, or if none of the fields matched, then NoMatch should be returned
  • if the schema is a structure and only a subset of its fields pass the predicate, then PartialMatch should be returned
  • if the schema is a structure and all of its fields pass the predicate, then TotalMatch should be returned

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class NoMatch[A]
class SplittingMatch[A]
class TotalMatch[A]

Attributes

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

Attributes

Companion
object
Supertypes
trait PolyFunction[Schema, F]
class Object
trait Matchable
class Any
Known subtypes
Self type
object SchemaVisitor

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type

Types

type Repr[A] = String