Data.Schematic.DSL

Documentation

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

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

Defined in Data.Schematic.DSL

Methods

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

SingI cs => Representable (SchemaText cs)

Defined in Data.Schematic.DSL

Methods

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

SingI cs => Representable (SchemaNumber cs)

Defined in Data.Schematic.DSL

Methods

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

SingI so => Representable (SchemaObject so)

Defined in Data.Schematic.DSL

Methods

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

SingI so => Representable (SchemaOptional so)

Defined in Data.Schematic.DSL

Methods

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

SingI (h ': tl) => Representable (SchemaUnion (h ': tl))

Defined in Data.Schematic.DSL

Methods

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

(SingI cs, SingI sa) => Representable (SchemaArray cs sa)

Defined in Data.Schematic.DSL

Methods

constructField :: Sing fn -> Proxy (SchemaArray cs sa) -> Repr (SchemaArray cs sa) -> FieldRepr (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 byField fs. (byField ~ ByField fn fs (FIndex fn fs), Representable byField) => Repr byField -> (Tagged fs :. FieldRepr) '(fn, byField)

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)