Safe Haskell	None
Language	Haskell2010

Data.Schematic.Schema

Synopsis

type family CRepr (s :: Schema) :: Type where ...
data TextConstraint
- = TEq Nat
- | TLt Nat
- | TLe Nat
- | TGt Nat
- | TGe Nat
- | TRegex Symbol
- | TEnum [Symbol]
data DemotedTextConstraint
- = DTEq Integer
- | DTLt Integer
- | DTLe Integer
- | DTGt Integer
- | DTGe Integer
- | DTRegex Text
- | DTEnum [Text]
data NumberConstraint
- = NLe Nat
- | NLt Nat
- | NGt Nat
- | NGe Nat
- | NEq Nat
data DemotedNumberConstraint
- = DNLe Integer
- | DNLt Integer
- | DNGt Integer
- | DNGe Integer
- | DNEq Integer
data ArrayConstraint = AEq Nat
data DemotedArrayConstraint = DAEq Integer
data Schema
- = SchemaText [TextConstraint]
- | SchemaBoolean
- | SchemaNumber [NumberConstraint]
- | SchemaObject [(Symbol, Schema)]
- | SchemaArray [ArrayConstraint] Schema
- | SchemaNull
- | SchemaOptional Schema
- | SchemaUnion [Schema]
data DemotedSchema
- = DSchemaText [DemotedTextConstraint]
- | DSchemaNumber [DemotedNumberConstraint]
- | DSchemaBoolean
- | DSchemaObject [(Text, DemotedSchema)]
- | DSchemaArray [DemotedArrayConstraint] DemotedSchema
- | DSchemaNull
- | DSchemaOptional DemotedSchema
- | DSchemaUnion [DemotedSchema]
data FieldRepr :: (Symbol, Schema) -> Type where
- FieldRepr :: (SingI schema, KnownSymbol name) => JsonRepr schema -> FieldRepr '(name, schema)
toJsonRepr :: FieldRepr '(fn, sch) -> JsonRepr sch
knownFieldName :: forall proxy (fieldName :: Symbol) schema. KnownSymbol fieldName => proxy '(fieldName, schema) -> Text
knownFieldSchema :: forall proxy fieldName schema. SingI schema => proxy '(fieldName, schema) -> Sing schema
type family USubsets (u :: [k]) :: Constraint where ...
data JsonRepr :: Schema -> Type where
- ReprText :: Text -> JsonRepr (SchemaText cs)
- ReprNumber :: Scientific -> JsonRepr (SchemaNumber cs)
- ReprBoolean :: Bool -> JsonRepr SchemaBoolean
- ReprNull :: JsonRepr SchemaNull
- ReprArray :: Vector (JsonRepr s) -> JsonRepr (SchemaArray cs s)
- ReprObject :: Rec FieldRepr fs -> JsonRepr (SchemaObject fs)
- ReprOptional :: Maybe (JsonRepr s) -> JsonRepr (SchemaOptional s)
- ReprUnion :: Union JsonRepr (h ': tl) -> JsonRepr (SchemaUnion (h ': tl))
fromOptional :: SingI s => Sing (SchemaOptional s) -> Value -> Parser (Maybe (JsonRepr s))
parseUnion :: FromJSON (JsonRepr (SchemaUnion ss)) => sing (ss :: [Schema]) -> Value -> Parser (JsonRepr (SchemaUnion ss))
class FalseConstraint a
type family TopLevel (schema :: Schema) :: Constraint where ...

Documentation

type family CRepr (s :: Schema) :: Type where ... Source #

Equations

CRepr (SchemaText cs) = TextConstraint
CRepr (SchemaNumber cs) = NumberConstraint
CRepr (SchemaObject fs) = (String, Schema)
CRepr (SchemaArray ar s) = ArrayConstraint

data TextConstraint Source #

Constructors

TEq Nat
TLt Nat
TLe Nat
TGt Nat
TGe Nat
TRegex Symbol
TEnum [Symbol]

Instances

Generic TextConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep TextConstraint :: * -> * # Methods from :: TextConstraint -> Rep TextConstraint x # to :: Rep TextConstraint x -> TextConstraint #
SingKind TextConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Demote TextConstraint = (r :: *) # Methods fromSing :: Sing a -> Demote TextConstraint # toSing :: Demote TextConstraint -> SomeSing TextConstraint #
KnownNat n => SingI (TEq n :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TEq n) #
KnownNat n => SingI (TLt n :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TLt n) #
KnownNat n => SingI (TLe n :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TLe n) #
KnownNat n => SingI (TGt n :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TGt n) #
KnownNat n => SingI (TGe n :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TGe n) #
(KnownSymbol s, SingI s) => SingI (TRegex s :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TRegex s) #
SingI ss => SingI (TEnum ss :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (TEnum ss) #
Eq (Sing (TEq n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TEq n) -> Sing (TEq n) -> Bool # (/=) :: Sing (TEq n) -> Sing (TEq n) -> Bool #
Eq (Sing (TLt n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TLt n) -> Sing (TLt n) -> Bool # (/=) :: Sing (TLt n) -> Sing (TLt n) -> Bool #
Eq (Sing (TLe n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TLe n) -> Sing (TLe n) -> Bool # (/=) :: Sing (TLe n) -> Sing (TLe n) -> Bool #
Eq (Sing (TGt n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TGt n) -> Sing (TGt n) -> Bool # (/=) :: Sing (TGt n) -> Sing (TGt n) -> Bool #
Eq (Sing (TGe n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TGe n) -> Sing (TGe n) -> Bool # (/=) :: Sing (TGe n) -> Sing (TGe n) -> Bool #
Eq (Sing (TRegex t)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TRegex t) -> Sing (TRegex t) -> Bool # (/=) :: Sing (TRegex t) -> Sing (TRegex t) -> Bool #
Eq (Sing (TEnum ss)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (TEnum ss) -> Sing (TEnum ss) -> Bool # (/=) :: Sing (TEnum ss) -> Sing (TEnum ss) -> Bool #
type Rep TextConstraint Source #
Instance details Defined in Data.Schematic.Schema type Rep TextConstraint = D1 (MetaData "TextConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "TEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: (C1 (MetaCons "TLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "TLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))) :+: ((C1 (MetaCons "TGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "TGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat))) :+: (C1 (MetaCons "TRegex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)) :+: C1 (MetaCons "TEnum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Symbol])))))
data Sing (tc :: TextConstraint) Source #
Instance details Defined in Data.Schematic.Schema data Sing (tc :: TextConstraint) where STEq :: Sing (TEq n) STLt :: Sing (TLt n) STLe :: Sing (TLe n) STGt :: Sing (TGt n) STGe :: Sing (TGe n) STRegex :: Sing (TRegex s) STEnum :: Sing (TEnum ss)
type Demote TextConstraint Source #
Instance details Defined in Data.Schematic.Schema type Demote TextConstraint = DemotedTextConstraint

data DemotedTextConstraint Source #

Constructors

DTEq Integer
DTLt Integer
DTLe Integer
DTGt Integer
DTGe Integer
DTRegex Text
DTEnum [Text]

Instances

Eq DemotedTextConstraint Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: DemotedTextConstraint -> DemotedTextConstraint -> Bool # (/=) :: DemotedTextConstraint -> DemotedTextConstraint -> Bool #
Show DemotedTextConstraint Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> DemotedTextConstraint -> ShowS # show :: DemotedTextConstraint -> String # showList :: [DemotedTextConstraint] -> ShowS #
Generic DemotedTextConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep DemotedTextConstraint :: * -> * # Methods from :: DemotedTextConstraint -> Rep DemotedTextConstraint x # to :: Rep DemotedTextConstraint x -> DemotedTextConstraint #
type Rep DemotedTextConstraint Source #
Instance details Defined in Data.Schematic.Schema type Rep DemotedTextConstraint = D1 (MetaData "DemotedTextConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "DTEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "DTLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DTLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))) :+: ((C1 (MetaCons "DTGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DTGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :+: (C1 (MetaCons "DTRegex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "DTEnum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))))

data NumberConstraint Source #

Constructors

NLe Nat
NLt Nat
NGt Nat
NGe Nat
NEq Nat

Instances

Generic NumberConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep NumberConstraint :: * -> * # Methods from :: NumberConstraint -> Rep NumberConstraint x # to :: Rep NumberConstraint x -> NumberConstraint #
SingKind NumberConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Demote NumberConstraint = (r :: *) # Methods fromSing :: Sing a -> Demote NumberConstraint # toSing :: Demote NumberConstraint -> SomeSing NumberConstraint #
KnownNat n => SingI (NLe n :: NumberConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (NLe n) #
KnownNat n => SingI (NLt n :: NumberConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (NLt n) #
KnownNat n => SingI (NGt n :: NumberConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (NGt n) #
KnownNat n => SingI (NGe n :: NumberConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (NGe n) #
KnownNat n => SingI (NEq n :: NumberConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (NEq n) #
Eq (Sing (NLe n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (NLe n) -> Sing (NLe n) -> Bool # (/=) :: Sing (NLe n) -> Sing (NLe n) -> Bool #
Eq (Sing (NLt n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (NLt n) -> Sing (NLt n) -> Bool # (/=) :: Sing (NLt n) -> Sing (NLt n) -> Bool #
Eq (Sing (NGt n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (NGt n) -> Sing (NGt n) -> Bool # (/=) :: Sing (NGt n) -> Sing (NGt n) -> Bool #
Eq (Sing (NGe n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (NGe n) -> Sing (NGe n) -> Bool # (/=) :: Sing (NGe n) -> Sing (NGe n) -> Bool #
Eq (Sing (NEq n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (NEq n) -> Sing (NEq n) -> Bool # (/=) :: Sing (NEq n) -> Sing (NEq n) -> Bool #
type Rep NumberConstraint Source #
Instance details Defined in Data.Schematic.Schema type Rep NumberConstraint = D1 (MetaData "NumberConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "NLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "NLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat))) :+: (C1 (MetaCons "NGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: (C1 (MetaCons "NGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "NEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))))
data Sing (nc :: NumberConstraint) Source #
Instance details Defined in Data.Schematic.Schema data Sing (nc :: NumberConstraint) where SNEq :: Sing (NEq n) SNGt :: Sing (NGt n) SNGe :: Sing (NGe n) SNLt :: Sing (NLt n) SNLe :: Sing (NLe n)
type Demote NumberConstraint Source #
Instance details Defined in Data.Schematic.Schema type Demote NumberConstraint = DemotedNumberConstraint

data DemotedNumberConstraint Source #

Constructors

DNLe Integer
DNLt Integer
DNGt Integer
DNGe Integer
DNEq Integer

Instances

Eq DemotedNumberConstraint Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: DemotedNumberConstraint -> DemotedNumberConstraint -> Bool # (/=) :: DemotedNumberConstraint -> DemotedNumberConstraint -> Bool #
Show DemotedNumberConstraint Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> DemotedNumberConstraint -> ShowS # show :: DemotedNumberConstraint -> String # showList :: [DemotedNumberConstraint] -> ShowS #
Generic DemotedNumberConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep DemotedNumberConstraint :: * -> * # Methods from :: DemotedNumberConstraint -> Rep DemotedNumberConstraint x # to :: Rep DemotedNumberConstraint x -> DemotedNumberConstraint #
type Rep DemotedNumberConstraint Source #
Instance details Defined in Data.Schematic.Schema type Rep DemotedNumberConstraint = D1 (MetaData "DemotedNumberConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "DNLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DNLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :+: (C1 (MetaCons "DNGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "DNGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DNEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))))

data ArrayConstraint Source #

Constructors

AEq Nat

Instances

Generic ArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep ArrayConstraint :: * -> * # Methods from :: ArrayConstraint -> Rep ArrayConstraint x # to :: Rep ArrayConstraint x -> ArrayConstraint #
SingKind ArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Demote ArrayConstraint = (r :: *) # Methods fromSing :: Sing a -> Demote ArrayConstraint # toSing :: Demote ArrayConstraint -> SomeSing ArrayConstraint #
KnownNat n => SingI (AEq n :: ArrayConstraint) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (AEq n) #
Eq (Sing (AEq n)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (AEq n) -> Sing (AEq n) -> Bool # (/=) :: Sing (AEq n) -> Sing (AEq n) -> Bool #
type Rep ArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema type Rep ArrayConstraint = D1 (MetaData "ArrayConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) (C1 (MetaCons "AEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))
data Sing (ac :: ArrayConstraint) Source #
Instance details Defined in Data.Schematic.Schema data Sing (ac :: ArrayConstraint) where SAEq :: Sing (AEq n)
type Demote ArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema type Demote ArrayConstraint = DemotedArrayConstraint

data DemotedArrayConstraint Source #

Constructors

DAEq Integer

Instances

Eq DemotedArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: DemotedArrayConstraint -> DemotedArrayConstraint -> Bool # (/=) :: DemotedArrayConstraint -> DemotedArrayConstraint -> Bool #
Show DemotedArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> DemotedArrayConstraint -> ShowS # show :: DemotedArrayConstraint -> String # showList :: [DemotedArrayConstraint] -> ShowS #
Generic DemotedArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep DemotedArrayConstraint :: * -> * # Methods from :: DemotedArrayConstraint -> Rep DemotedArrayConstraint x # to :: Rep DemotedArrayConstraint x -> DemotedArrayConstraint #
type Rep DemotedArrayConstraint Source #
Instance details Defined in Data.Schematic.Schema type Rep DemotedArrayConstraint = D1 (MetaData "DemotedArrayConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) (C1 (MetaCons "DAEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Schema Source #

Constructors

SchemaText [TextConstraint]
SchemaBoolean
SchemaNumber [NumberConstraint]
SchemaObject [(Symbol, Schema)]
SchemaArray [ArrayConstraint] Schema
SchemaNull
SchemaOptional Schema
SchemaUnion [Schema]

Instances

Generic Schema Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep Schema :: * -> * # Methods from :: Schema -> Rep Schema x # to :: Rep Schema x -> Schema #
SingKind Schema Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Demote Schema = (r :: *) # Methods fromSing :: Sing a -> Demote Schema # toSing :: Demote Schema -> SomeSing Schema #
SingI SchemaBoolean Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing SchemaBoolean #
SingI SchemaNull Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing SchemaNull #
SingI sl => SingI (SchemaText sl :: Schema) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (SchemaText sl) #
SingI sl => SingI (SchemaNumber sl :: Schema) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (SchemaNumber sl) #
SingI stl => SingI (SchemaObject stl :: Schema) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (SchemaObject stl) #
SingI s => SingI (SchemaOptional s :: Schema) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (SchemaOptional s) #
SingI s => SingI (SchemaUnion s :: Schema) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (SchemaUnion s) #
(KnownSymbol name, SingI schema, Serial m (JsonRepr schema)) => Serial m (FieldRepr ((,) name schema)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (FieldRepr (name, schema)) #
(SingI ac, SingI s) => SingI (SchemaArray ac s :: Schema) Source #
Instance details Defined in Data.Schematic.Schema Methods sing :: Sing (SchemaArray ac s) #
FElem fn ((,) fn r ': rs) Z Source #
Instance details Defined in Data.Schematic.Lens Associated Types type ByField fn ((fn, r) ': rs) Z :: Schema Source # Methods flens :: Functor g => (f (fn, ByField fn ((fn, r) ': rs) Z) -> g (f (fn, ByField fn ((fn, r) ': rs) Z))) -> Rec f ((fn, r) ': rs) -> g (Rec f ((fn, r) ': rs)) Source # fget :: FGetter fn f ((fn, r) ': rs) Z Source # fput :: f (fn, ByField fn ((fn, r) ': rs) Z) -> Rec f ((fn, r) ': rs) -> Rec f ((fn, r) ': rs) Source #
(FIndex r (s ': rs) ~ S i, FElem r rs i) => FElem r (s ': rs) (S i) Source #
Instance details Defined in Data.Schematic.Lens Associated Types type ByField r (s ': rs) (S i) :: Schema Source # Methods flens :: Functor g => (f (r, ByField r (s ': rs) (S i)) -> g (f (r, ByField r (s ': rs) (S i)))) -> Rec f (s ': rs) -> g (Rec f (s ': rs)) Source # fget :: FGetter r f (s ': rs) (S i) Source # fput :: f (r, ByField r (s ': rs) (S i)) -> Rec f (s ': rs) -> Rec f (s ': rs) Source #
Eq (JsonRepr schema) => Eq (FieldRepr ((,) name schema)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool # (/=) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool #
Show (JsonRepr schema) => Show (FieldRepr ((,) name schema)) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> FieldRepr (name, schema) -> ShowS # show :: FieldRepr (name, schema) -> String # showList :: [FieldRepr (name, schema)] -> ShowS #
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 #
FSubset ([] :: [(Symbol, Schema)]) ss ([] :: [Nat]) Source #
Instance details Defined in Data.Schematic.Lens Methods fsubset :: Functor g => (Rec f [] -> g (Rec f [])) -> Rec f ss -> g (Rec f ss) Source # fcast :: Rec f ss -> Rec f [] Source # freplace :: Rec f [] -> Rec f ss -> Rec f ss Source #
Eq (Sing (SchemaText cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (SchemaText cs) -> Sing (SchemaText cs) -> Bool # (/=) :: Sing (SchemaText cs) -> Sing (SchemaText cs) -> Bool #
Eq (Sing SchemaBoolean) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing SchemaBoolean -> Sing SchemaBoolean -> Bool # (/=) :: Sing SchemaBoolean -> Sing SchemaBoolean -> Bool #
Eq (Sing (SchemaNumber cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (SchemaNumber cs) -> Sing (SchemaNumber cs) -> Bool # (/=) :: Sing (SchemaNumber cs) -> Sing (SchemaNumber cs) -> Bool #
Eq (Sing (SchemaObject cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (SchemaObject cs) -> Sing (SchemaObject cs) -> Bool # (/=) :: Sing (SchemaObject cs) -> Sing (SchemaObject cs) -> Bool #
Eq (Sing (SchemaArray as s)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (SchemaArray as s) -> Sing (SchemaArray as s) -> Bool # (/=) :: Sing (SchemaArray as s) -> Sing (SchemaArray as s) -> Bool #
Eq (Sing SchemaNull) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing SchemaNull -> Sing SchemaNull -> Bool # (/=) :: Sing SchemaNull -> Sing SchemaNull -> Bool #
Eq (Sing (SchemaOptional s)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (SchemaOptional s) -> Sing (SchemaOptional s) -> Bool # (/=) :: Sing (SchemaOptional s) -> Sing (SchemaOptional s) -> Bool #
Eq (Sing (SchemaUnion s)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: Sing (SchemaUnion s) -> Sing (SchemaUnion s) -> Bool # (/=) :: Sing (SchemaUnion s) -> Sing (SchemaUnion s) -> Bool #
ToJSON (Union JsonRepr as) Source #
Instance details Defined in Data.Schematic.Schema Methods toJSON :: Union JsonRepr as -> Value # toEncoding :: Union JsonRepr as -> Encoding # toJSONList :: [Union JsonRepr as] -> Value # toEncodingList :: [Union JsonRepr as] -> Encoding #
(SingI a, FromJSON (Union JsonRepr as)) => FromJSON (Union JsonRepr (a ': as)) Source #
Instance details Defined in Data.Schematic.Schema Methods parseJSON :: Value -> Parser (Union JsonRepr (a ': as)) # parseJSONList :: Value -> Parser [Union JsonRepr (a ': as)] #
FromJSON (Union JsonRepr ([] :: [Schema])) Source #
Instance details Defined in Data.Schematic.Schema Methods parseJSON :: Value -> Parser (Union JsonRepr []) # parseJSONList :: Value -> Parser [Union JsonRepr []] #
(ByField fn ss i ~ s, FElem fn ss i, FSubset rs ss is) => FSubset ((,) fn s ': rs) ss (i ': is) Source #
Instance details Defined in Data.Schematic.Lens Methods fsubset :: Functor g => (Rec f ((fn, s) ': rs) -> g (Rec f ((fn, s) ': rs))) -> Rec f ss -> g (Rec f ss) Source # fcast :: Rec f ss -> Rec f ((fn, s) ': rs) Source # freplace :: Rec f ((fn, s) ': rs) -> Rec f ss -> Rec f ss Source #
type Rep Schema Source #
Instance details Defined in Data.Schematic.Schema type Rep Schema = D1 (MetaData "Schema" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) (((C1 (MetaCons "SchemaText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TextConstraint])) :+: C1 (MetaCons "SchemaBoolean" PrefixI False) (U1 :: * -> )) :+: (C1 (MetaCons "SchemaNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [NumberConstraint])) :+: C1 (MetaCons "SchemaObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Symbol, Schema)])))) :+: ((C1 (MetaCons "SchemaArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ArrayConstraint]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Schema)) :+: C1 (MetaCons "SchemaNull" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "SchemaOptional" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Schema)) :+: C1 (MetaCons "SchemaUnion" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Schema])))))
data Sing (schema :: Schema) Source #
Instance details Defined in Data.Schematic.Schema data Sing (schema :: Schema) where SSchemaText :: Sing (SchemaText tcs) SSchemaNumber :: Sing (SchemaNumber ncs) SSchemaBoolean :: Sing SchemaBoolean SSchemaArray :: Sing (SchemaArray acs schema) SSchemaObject :: Sing (SchemaObject fields) SSchemaOptional :: Sing (SchemaOptional s) SSchemaNull :: Sing SchemaNull SSchemaUnion :: Sing (SchemaUnion ss)
type Demote Schema Source #
Instance details Defined in Data.Schematic.Schema type Demote Schema = DemotedSchema
type ByField fn ((,) fn r ': rs) Z Source #
Instance details Defined in Data.Schematic.Lens type ByField fn ((,) fn r ': rs) Z = r
type ByField r (s ': rs) (S i) Source #
Instance details Defined in Data.Schematic.Lens type ByField r (s ': rs) (S i) = ByField r rs i

data DemotedSchema Source #

Constructors

DSchemaText [DemotedTextConstraint]
DSchemaNumber [DemotedNumberConstraint]
DSchemaBoolean
DSchemaObject [(Text, DemotedSchema)]
DSchemaArray [DemotedArrayConstraint] DemotedSchema
DSchemaNull
DSchemaOptional DemotedSchema
DSchemaUnion [DemotedSchema]

Instances

Eq DemotedSchema Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: DemotedSchema -> DemotedSchema -> Bool # (/=) :: DemotedSchema -> DemotedSchema -> Bool #
Show DemotedSchema Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> DemotedSchema -> ShowS # show :: DemotedSchema -> String # showList :: [DemotedSchema] -> ShowS #
Generic DemotedSchema Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Rep DemotedSchema :: * -> * # Methods from :: DemotedSchema -> Rep DemotedSchema x # to :: Rep DemotedSchema x -> DemotedSchema #
type Rep DemotedSchema Source #
Instance details Defined in Data.Schematic.Schema type Rep DemotedSchema = D1 (MetaData "DemotedSchema" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) (((C1 (MetaCons "DSchemaText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedTextConstraint])) :+: C1 (MetaCons "DSchemaNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedNumberConstraint]))) :+: (C1 (MetaCons "DSchemaBoolean" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "DSchemaObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Text, DemotedSchema)])))) :+: ((C1 (MetaCons "DSchemaArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedArrayConstraint]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DemotedSchema)) :+: C1 (MetaCons "DSchemaNull" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "DSchemaOptional" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DemotedSchema)) :+: C1 (MetaCons "DSchemaUnion" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedSchema])))))

data FieldRepr :: (Symbol, Schema) -> Type where Source #

Constructors

FieldRepr :: (SingI schema, KnownSymbol name) => JsonRepr schema -> FieldRepr '(name, schema)

Instances

(KnownSymbol name, SingI schema, Serial m (JsonRepr schema)) => Serial m (FieldRepr ((,) name schema)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (FieldRepr (name, schema)) #
Eq (JsonRepr schema) => Eq (FieldRepr ((,) name schema)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool # (/=) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool #
Show (JsonRepr schema) => Show (FieldRepr ((,) name schema)) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> FieldRepr (name, schema) -> ShowS # show :: FieldRepr (name, schema) -> String # showList :: [FieldRepr (name, schema)] -> ShowS #

toJsonRepr :: FieldRepr '(fn, sch) -> JsonRepr sch Source #

Forgetful Functor Ufr

knownFieldName :: forall proxy (fieldName :: Symbol) schema. KnownSymbol fieldName => proxy '(fieldName, schema) -> Text Source #

knownFieldSchema :: forall proxy fieldName schema. SingI schema => proxy '(fieldName, schema) -> Sing schema Source #

type family USubsets (u :: [k]) :: Constraint where ... Source #

Equations

USubsets '[] = ()
USubsets (h ': tl) = (USubset tl (h ': tl) (RImage tl (h ': tl)), USubsets tl)

data JsonRepr :: Schema -> Type where Source #

Constructors

ReprText :: Text -> JsonRepr (SchemaText cs)
ReprNumber :: Scientific -> JsonRepr (SchemaNumber cs)
ReprBoolean :: Bool -> JsonRepr SchemaBoolean
ReprNull :: JsonRepr SchemaNull
ReprArray :: Vector (JsonRepr s) -> JsonRepr (SchemaArray cs s)
ReprObject :: Rec FieldRepr fs -> JsonRepr (SchemaObject fs)
ReprOptional :: Maybe (JsonRepr s) -> JsonRepr (SchemaOptional s)
ReprUnion :: Union JsonRepr (h ': tl) -> JsonRepr (SchemaUnion (h ': tl))

Instances

(Monad m, Serial m (Rec FieldRepr fs)) => Serial m (JsonRepr (SchemaObject fs)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (JsonRepr (SchemaObject fs)) #
Serial m (JsonRepr s) => Serial m (JsonRepr (SchemaOptional s)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (JsonRepr (SchemaOptional s)) #
(Serial m (JsonRepr s), Serial m (Vector (JsonRepr s)), SingI cs) => Serial m (JsonRepr (SchemaArray cs s)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (JsonRepr (SchemaArray cs s)) #
Monad m => Serial m (JsonRepr SchemaNull) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (JsonRepr SchemaNull) #
(Monad m, Serial m Scientific, SingI cs) => Serial m (JsonRepr (SchemaNumber cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (JsonRepr (SchemaNumber cs)) #
(Monad m, Serial m Text, SingI cs) => Serial m (JsonRepr (SchemaText cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods series :: Series m (JsonRepr (SchemaText cs)) #
IsList (JsonRepr (SchemaArray cs s)) Source #
Instance details Defined in Data.Schematic.Schema Associated Types type Item (JsonRepr (SchemaArray cs s)) :: * # Methods fromList :: [Item (JsonRepr (SchemaArray cs s))] -> JsonRepr (SchemaArray cs s) # fromListN :: Int -> [Item (JsonRepr (SchemaArray cs s))] -> JsonRepr (SchemaArray cs s) # toList :: JsonRepr (SchemaArray cs s) -> [Item (JsonRepr (SchemaArray cs s))] #
Eq (JsonRepr (SchemaText cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool # (/=) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool #
Eq (JsonRepr (SchemaNumber cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool # (/=) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool #
Eq (Rec FieldRepr fs) => Eq (JsonRepr (SchemaObject fs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool # (/=) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool #
Eq (JsonRepr s) => Eq (JsonRepr (SchemaArray as s)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool # (/=) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool #
Eq (JsonRepr SchemaNull) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool # (/=) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool #
Eq (JsonRepr s) => Eq (JsonRepr (SchemaOptional s)) Source #
Instance details Defined in Data.Schematic.Schema Methods (==) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool # (/=) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool #
Num (JsonRepr (SchemaNumber cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods (+) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # (-) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # (*) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # negate :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # abs :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # signum :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # fromInteger :: Integer -> JsonRepr (SchemaNumber cs) #
Ord (JsonRepr (SchemaText cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods compare :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Ordering # (<) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool # (<=) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool # (>) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool # (>=) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool # max :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) # min :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) #
Ord (JsonRepr (SchemaNumber cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods compare :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Ordering # (<) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool # (<=) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool # (>) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool # (>=) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool # max :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) # min :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) #
Ord (Rec FieldRepr fs) => Ord (JsonRepr (SchemaObject fs)) Source #
Instance details Defined in Data.Schematic.Schema Methods compare :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Ordering # (<) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool # (<=) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool # (>) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool # (>=) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool # max :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) # min :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) #
Ord (JsonRepr s) => Ord (JsonRepr (SchemaArray as s)) Source #
Instance details Defined in Data.Schematic.Schema Methods compare :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Ordering # (<) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool # (<=) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool # (>) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool # (>=) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool # max :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) # min :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) #
Ord (JsonRepr SchemaNull) Source #
Instance details Defined in Data.Schematic.Schema Methods compare :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Ordering # (<) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool # (<=) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool # (>) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool # (>=) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool # max :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> JsonRepr SchemaNull # min :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> JsonRepr SchemaNull #
Ord (JsonRepr s) => Ord (JsonRepr (SchemaOptional s)) Source #
Instance details Defined in Data.Schematic.Schema Methods compare :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Ordering # (<) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool # (<=) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool # (>) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool # (>=) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool # max :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) # min :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) #
Show (JsonRepr (SchemaText cs)) Source #	Move to the union package
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> JsonRepr (SchemaText cs) -> ShowS # show :: JsonRepr (SchemaText cs) -> String # showList :: [JsonRepr (SchemaText cs)] -> ShowS #
Show (JsonRepr (SchemaNumber cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> JsonRepr (SchemaNumber cs) -> ShowS # show :: JsonRepr (SchemaNumber cs) -> String # showList :: [JsonRepr (SchemaNumber cs)] -> ShowS #
RecAll FieldRepr fs Show => Show (JsonRepr (SchemaObject fs)) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> JsonRepr (SchemaObject fs) -> ShowS # show :: JsonRepr (SchemaObject fs) -> String # showList :: [JsonRepr (SchemaObject fs)] -> ShowS #
Show (JsonRepr s) => Show (JsonRepr (SchemaArray acs s)) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> JsonRepr (SchemaArray acs s) -> ShowS # show :: JsonRepr (SchemaArray acs s) -> String # showList :: [JsonRepr (SchemaArray acs s)] -> ShowS #
Show (JsonRepr SchemaNull) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> JsonRepr SchemaNull -> ShowS # show :: JsonRepr SchemaNull -> String # showList :: [JsonRepr SchemaNull] -> ShowS #
Show (JsonRepr s) => Show (JsonRepr (SchemaOptional s)) Source #
Instance details Defined in Data.Schematic.Schema Methods showsPrec :: Int -> JsonRepr (SchemaOptional s) -> ShowS # show :: JsonRepr (SchemaOptional s) -> String # showList :: [JsonRepr (SchemaOptional s)] -> ShowS #
IsString (JsonRepr (SchemaText cs)) Source #
Instance details Defined in Data.Schematic.Schema Methods fromString :: String -> JsonRepr (SchemaText cs) #
ToJSON (JsonRepr a) Source #
Instance details Defined in Data.Schematic.Schema Methods toJSON :: JsonRepr a -> Value # toEncoding :: JsonRepr a -> Encoding # toJSONList :: [JsonRepr a] -> Value # toEncodingList :: [JsonRepr a] -> Encoding #
SingI schema => FromJSON (JsonRepr schema) Source #
Instance details Defined in Data.Schematic.Schema Methods parseJSON :: Value -> Parser (JsonRepr schema) # parseJSONList :: Value -> Parser [JsonRepr schema] #
(TopLevel a, SingI a, FromJSON (JsonRepr a)) => FromJSON (ParseResult (JsonRepr a)) #
Instance details Defined in Data.Schematic.Validation Methods parseJSON :: Value -> Parser (ParseResult (JsonRepr a)) # parseJSONList :: Value -> Parser [ParseResult (JsonRepr a)] #
ToJSON (Union JsonRepr as) Source #
Instance details Defined in Data.Schematic.Schema Methods toJSON :: Union JsonRepr as -> Value # toEncoding :: Union JsonRepr as -> Encoding # toJSONList :: [Union JsonRepr as] -> Value # toEncodingList :: [Union JsonRepr as] -> Encoding #
(SingI a, FromJSON (Union JsonRepr as)) => FromJSON (Union JsonRepr (a ': as)) Source #
Instance details Defined in Data.Schematic.Schema Methods parseJSON :: Value -> Parser (Union JsonRepr (a ': as)) # parseJSONList :: Value -> Parser [Union JsonRepr (a ': as)] #
FromJSON (Union JsonRepr ([] :: [Schema])) Source #
Instance details Defined in Data.Schematic.Schema Methods parseJSON :: Value -> Parser (Union JsonRepr []) # parseJSONList :: Value -> Parser [Union JsonRepr []] #
type Item (JsonRepr (SchemaArray cs s)) Source #
Instance details Defined in Data.Schematic.Schema type Item (JsonRepr (SchemaArray cs s)) = JsonRepr s

fromOptional :: SingI s => Sing (SchemaOptional s) -> Value -> Parser (Maybe (JsonRepr s)) Source #

parseUnion :: FromJSON (JsonRepr (SchemaUnion ss)) => sing (ss :: [Schema]) -> Value -> Parser (JsonRepr (SchemaUnion ss)) Source #

class FalseConstraint a Source #

type family TopLevel (schema :: Schema) :: Constraint where ... Source #

Equations

TopLevel (SchemaArray acs s) = ()
TopLevel (SchemaObject o) = ()
TopLevel spec = True ~ False