Mu.Schema.Definition

This module gives a set of combinators to define schemas in the sense of Avro or Protocol Buffers.

In order to re-use definitions at both the type and term levels, the actual constructors are defined in types ending with B, and are parametrized by the type used to describe identifiers. The versions without the suffix set this parameter to Type, and are thought as the API to be used in the type-level. If you use reflectSchema to obtain a term- level representation, the parameter is set to TypeRep.

Definition of schemas

type Schema' = Schema Symbol Symbol

A set of type definitions, where the names of types and fields are defined by type-level strings (Symbols).

type Schema typeName fieldName = SchemaB Type typeName fieldName

A set of type definitions. In general, we can use any kind we want for both type and field names, although in practice you always want to use Symbol.

type SchemaB builtin typeName fieldName = [TypeDefB builtin typeName fieldName]

A set of type definitions, parametric on type representations.

type TypeDef = TypeDefB Type

Defines a type in a schema. Each type can be: * a record: a list of key-value pairs, * an enumeration: an element of a list of choices, * a reference to a primitive type.

data TypeDefB builtin typeName fieldName

Defines a type in a schema, parametric on type representations.

Constructors

DRecord typeName [FieldDefB builtin typeName fieldName]

A list of key-value pairs.

DEnum typeName [ChoiceDef fieldName]

An element of a list of choices.

DSimple (FieldTypeB builtin typeName)

A reference to a primitive type.

Instances

FromSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term f ExampleSchema (ExampleSchema :/: "gender") -> Gender

FromSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "address") -> Address

FromSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "person") -> Person

ToSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

toSchema :: Gender -> Term f ExampleSchema (ExampleSchema :/: "gender")

ToSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

toSchema :: Address -> Term Identity ExampleSchema (ExampleSchema :/: "address")

ToSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

toSchema :: Person -> Term Identity ExampleSchema (ExampleSchema :/: "person")

KnownName n => KnownName ('DEnum n choices :: TypeDefB builtin typeName fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('DEnum n choices) -> String

KnownName n => KnownName ('DRecord n fields :: TypeDefB builtin typeName fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('DRecord n fields) -> String

newtype ChoiceDef fieldName

Defines each of the choices in an enumeration.

Constructors

ChoiceDef fieldName

One single choice from an enumeration.

Instances

FromSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term f ExampleSchema (ExampleSchema :/: "gender") -> Gender

FromSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "address") -> Address

FromSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "person") -> Person

ToSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

toSchema :: Gender -> Term f ExampleSchema (ExampleSchema :/: "gender")

ToSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

toSchema :: Address -> Term Identity ExampleSchema (ExampleSchema :/: "address")

ToSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

toSchema :: Person -> Term Identity ExampleSchema (ExampleSchema :/: "person")

KnownName n => KnownName ('ChoiceDef n :: ChoiceDef fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('ChoiceDef n) -> String

type FieldDef = FieldDefB Type

Defines a field in a record by a name and the corresponding type.

data FieldDefB builtin typeName fieldName

Defines a field in a record, parametric on type representations.

Constructors

FieldDef fieldName (FieldTypeB builtin typeName)

One single field in a record.

Instances

FromSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term f ExampleSchema (ExampleSchema :/: "gender") -> Gender

FromSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "address") -> Address

FromSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "person") -> Person

ToSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

toSchema :: Gender -> Term f ExampleSchema (ExampleSchema :/: "gender")

ToSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

toSchema :: Address -> Term Identity ExampleSchema (ExampleSchema :/: "address")

ToSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

toSchema :: Person -> Term Identity ExampleSchema (ExampleSchema :/: "person")

GToSchemaRecord w (sch :: Schema ts fs) (fmap :: Mappings Symbol fs) ('[] :: [FieldDef ts fs]) f

Defined in Mu.Schema.Class

Methods

toSchemaRecord :: Proxy fmap -> f a -> NP (Field w sch) '[]

(GToSchemaRecord w sch fmap cs f, GToSchemaRecordSearch w sch t f (FindSel f (MappingLeft fmap name))) => GToSchemaRecord w (sch :: Schema typeName fieldName) (fmap :: Mappings Symbol fieldName) ('FieldDef name t ': cs :: [FieldDefB Type typeName fieldName]) f

Defined in Mu.Schema.Class

Methods

toSchemaRecord :: Proxy fmap -> f a -> NP (Field w sch) ('FieldDef name t ': cs)

KnownName n => KnownName ('FieldDef n t :: FieldDefB builtin typeName fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('FieldDef n t) -> String

type FieldType = FieldTypeB Type

Types of fields of a record. References to other types in the same schema are done via the TSchematic constructor.

data FieldTypeB builtin typeName

Types of fields of a record, parametric on type representations.

Constructors

TNull

Null, as found in Avro.

TPrimitive builtin

Reference to a primitive type, such as integers or Booleans. The set of supported primitive types depends on the protocol.

TSchematic typeName

Reference to another type in the schema.

TOption (FieldTypeB builtin typeName)

Optional value.

TList (FieldTypeB builtin typeName)

List of values.

TMap (FieldTypeB builtin typeName) (FieldTypeB builtin typeName)

Map of values. The set of supported key types depends on the protocol.

TUnion [FieldTypeB builtin typeName]

Represents a choice between types.

type family (sch :: Schema t f) :/: (name :: t) :: TypeDef t f where ...

Lookup a type in a schema by its name.

Equations

'[] :/: name = TypeError (('Text "Cannot find type " :<>: 'ShowType name) :<>: 'Text " in the schema")

('DRecord name fields ': rest) :/: name = 'DRecord name fields

('DEnum name choices ': rest) :/: name = 'DEnum name choices

(other ': rest) :/: name = rest :/: name

One-to-one mappings

data Mapping a b

Defines a mapping between two elements.

Constructors

a :-> b

type Mappings a b = [Mapping a b]

Defines a set of mappings between elements of a and b.

Finding correspondences

type family MappingRight (ms :: Mappings a b) (v :: a) :: b where ...

Finds the corresponding right value of v in a mapping ms. When the kinds are Symbol, return the same value if not found.

Equations

MappingRight '[] (v :: Symbol) = v

MappingRight '[] v = TypeError ('Text "Cannot find value " :<>: 'ShowType v)

MappingRight ((x :-> y) ': rest) x = y

MappingRight (other ': rest) x = MappingRight rest x

type family MappingLeft (ms :: Mappings a b) (v :: b) :: a where ...

Finds the corresponding left value of v in a mapping ms. When the kinds are Symbol, return the same value if not found.

Equations

MappingLeft '[] (v :: Symbol) = v

MappingLeft '[] v = TypeError ('Text "Cannot find value " :<>: 'ShowType v)

MappingLeft ((x :-> y) ': rest) y = x

MappingLeft (other ': rest) y = MappingLeft rest y

Reflection to term-level

reflectSchema :: ReflectSchema s => Proxy s -> SchemaB TypeRep String String

Reflect a schema into term-level.

reflectFields :: ReflectFields fs => Proxy fs -> [FieldDefB TypeRep String String]

Reflect a list of fields into term-level.

reflectChoices :: ReflectChoices cs => Proxy cs -> [ChoiceDef String]

Reflect a list of enumeration choices into term-level.

reflectFieldTypes :: ReflectFieldTypes ts => Proxy ts -> [FieldTypeB TypeRep String]

Reflect a list of schema types into term-level.

reflectFieldType :: ReflectFieldType ty => Proxy ty -> FieldTypeB TypeRep String

Reflect a schema type into term-level.

Supporting type classes

class KnownName (a :: k) where

Type names and field names can be of any kind, but for many uses we need a way to turn them into strings at run-time. This class generalizes KnownSymbol.

Methods

nameVal :: proxy a -> String

Instances

KnownName 'False

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy 'False -> String

KnownName 'True

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy 'True -> String

KnownNat n => KnownName (n :: Nat)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy n -> String

KnownSymbol s => KnownName (s :: Symbol)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy s -> String

KnownName n => KnownName ('ChoiceDef n :: ChoiceDef fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('ChoiceDef n) -> String

KnownName n => KnownName ('FieldDef n t :: FieldDefB builtin typeName fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('FieldDef n t) -> String

KnownName n => KnownName ('DEnum n choices :: TypeDefB builtin typeName fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('DEnum n choices) -> String

KnownName n => KnownName ('DRecord n fields :: TypeDefB builtin typeName fieldName)

Defined in Mu.Schema.Definition

Methods

nameVal :: proxy ('DRecord n fields) -> String