Data.Schematic.DSL

Documentation

type Constructor a = forall b. FSubset (FieldsOf a) b (FImage (FieldsOf a) b) => Rec (Tagged (FieldsOf a) :. FieldRepr) b -> JsonRepr (SchemaObject (FieldsOf a))

withRepr :: Constructor a

class Representable s where

Minimal complete definition

constructField

Methods

constructField :: Sing fn -> Proxy s -> Repr s -> FieldRepr '(fn, s)

Instances

Representable SchemaBoolean

Methods

constructField :: Sing Symbol fn -> Proxy Schema SchemaBoolean -> Repr SchemaBoolean -> FieldRepr ((Symbol, Schema) fn SchemaBoolean)

SingI [TextConstraint] cs => Representable (SchemaText cs)

Methods

constructField :: Sing Symbol fn -> Proxy Schema (SchemaText cs) -> Repr (SchemaText cs) -> FieldRepr ((Symbol, Schema) fn (SchemaText cs))

SingI [NumberConstraint] cs => Representable (SchemaNumber cs)

Methods

constructField :: Sing Symbol fn -> Proxy Schema (SchemaNumber cs) -> Repr (SchemaNumber cs) -> FieldRepr ((Symbol, Schema) fn (SchemaNumber cs))

SingI [(Symbol, Schema)] so => Representable (SchemaObject so)

Methods

constructField :: Sing Symbol fn -> Proxy Schema (SchemaObject so) -> Repr (SchemaObject so) -> FieldRepr ((Symbol, Schema) fn (SchemaObject so))

SingI Schema so => Representable (SchemaOptional so)

Methods

constructField :: Sing Symbol fn -> Proxy Schema (SchemaOptional so) -> Repr (SchemaOptional so) -> FieldRepr ((Symbol, Schema) fn (SchemaOptional so))

SingI [Schema] ((:) Schema h tl) => Representable (SchemaUnion ((:) Schema h tl))

Methods

constructField :: Sing Symbol fn -> Proxy Schema (SchemaUnion ((Schema ': h) tl)) -> Repr (SchemaUnion ((Schema ': h) tl)) -> FieldRepr ((Symbol, Schema) fn (SchemaUnion ((Schema ': h) tl)))

(SingI [ArrayConstraint] cs, SingI Schema sa) => Representable (SchemaArray cs sa)

Methods

constructField :: Sing Symbol fn -> Proxy Schema (SchemaArray cs sa) -> Repr (SchemaArray cs sa) -> FieldRepr ((Symbol, Schema) fn (SchemaArray cs sa))

construct :: Sing s -> Repr s -> JsonRepr s

type family FieldsOf (s :: Schema) :: [(Symbol, Schema)] where ...

Equations

FieldsOf (SchemaObject fs) = fs

type FieldConstructor fn = forall fs. Representable (ByField fn fs (FIndex fn fs)) => Repr (ByField fn fs (FIndex fn fs)) -> (Tagged fs :. FieldRepr) '(fn, ByField fn fs (FIndex fn fs))

field :: forall fn. KnownSymbol fn => FieldConstructor fn

type family Repr (s :: Schema) = (ty :: Type) where ...

Equations

Repr (SchemaObject so) = Rec FieldRepr so

Repr (SchemaArray cs sa) = Vector (JsonRepr sa)

Repr (SchemaText cs) = Text

Repr (SchemaNumber cs) = Scientific

Repr SchemaBoolean = Bool

Repr (SchemaOptional so) = Maybe (JsonRepr so)

Repr (SchemaUnion (h ': tl)) = Union JsonRepr (h ': tl)