Safe Haskell	None
Language	Haskell2010

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) Source #

withRepr :: Constructor a Source #

class Representable s where Source #

Minimal complete definition

constructField

Methods

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

Instances

Representable SchemaBoolean Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy SchemaBoolean -> Repr SchemaBoolean -> FieldRepr (fn, SchemaBoolean) Source #
SingI cs => Representable (SchemaText cs) Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy (SchemaText cs) -> Repr (SchemaText cs) -> FieldRepr (fn, SchemaText cs) Source #
SingI cs => Representable (SchemaNumber cs) Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy (SchemaNumber cs) -> Repr (SchemaNumber cs) -> FieldRepr (fn, SchemaNumber cs) Source #
SingI so => Representable (SchemaObject so) Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy (SchemaObject so) -> Repr (SchemaObject so) -> FieldRepr (fn, SchemaObject so) Source #
SingI so => Representable (SchemaOptional so) Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy (SchemaOptional so) -> Repr (SchemaOptional so) -> FieldRepr (fn, SchemaOptional so) Source #
SingI (h ': tl) => Representable (SchemaUnion (h ': tl)) Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy (SchemaUnion (h ': tl)) -> Repr (SchemaUnion (h ': tl)) -> FieldRepr (fn, SchemaUnion (h ': tl)) Source #
(SingI cs, SingI sa) => Representable (SchemaArray cs sa) Source #
Instance details Defined in Data.Schematic.DSL Methods constructField :: Sing fn -> Proxy (SchemaArray cs sa) -> Repr (SchemaArray cs sa) -> FieldRepr (fn, SchemaArray cs sa) Source #

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

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

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) Source #

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

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

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)