smithy4s.schema
package smithy4s.schema
Members list
Type members
Classlikes
final case class Alt[U, A](label: String, schema: Schema[A], inject: A => U, project: PartialFunction[U, A])
object Alt
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait EncoderCompilerclass Impl[F]object HttpStatusCodeclass DerivingImpl[F]object Decoderclass Impl[F]object decodersobject encodersclass Uncached[F]trait EncoderCompilerShow all
- Self type
object CachedSchemaCompiler
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CachedSchemaCompiler.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object CollectionTag
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
CollectionTag.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
object CompilationCache
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CompilationCache.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object EnumTag
An ErrorSchema is similar to a UnionSchema in that it exposes alternatives
and ordinal
values, and therefore can be manipulated similarly to UnionSchemas.
An ErrorSchema is similar to a UnionSchema in that it exposes alternatives
and ordinal
values, and therefore can be manipulated similarly to UnionSchemas.
Additionally, it carries functions to go from E to Throwable and vice-versa. This is used by interpreters to inject data into error channels of effect types, or to recover data from an error-channel prior to serialisation.
Attributes
- Companion
- object
- Supertypes
object ErrorSchema
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ErrorSchema.type
object Field
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
class PartiallyAppliedTuple
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
final class PartiallyAppliedUnion[U](val alts: Vector[Alt[U, _]]) extends AnyVal
Attributes
- Supertypes
-
class AnyValtrait Matchableclass Any
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object Primitive
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class EnumerationSchema[E]class LazySchema[A]class OptionSchema[A]class PrimitiveSchema[P]class StructSchema[S]class UnionSchema[U]Show all
object Schema
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 Objecttrait Matchableclass Any
- Known subtypes
object SchemaPartition
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
SchemaPartition.type
trait SchemaVisitor[F[_]] extends PolyFunction[Schema, F]
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
object HostPrefixSchemaVisitorobject SchemaVisitorPathEncoderobject SchemaDescriptionclass Cached[F]trait Default[F]object SchemaVisitorHeaderMergeobject SchemaVisitorHeaderSplittrait Optional[F]Show all
- Self type
object SchemaVisitor
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SchemaVisitor.type
In this article