Safe Haskell	None
Language	Haskell2010

Data.Schematic.Schema

Synopsis

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

data DemotedTextConstraint Source #

Constructors

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

Instances

Generic DemotedTextConstraint Source #
Associated Types type Rep DemotedTextConstraint :: * -> * # Methods from :: DemotedTextConstraint -> Rep DemotedTextConstraint x # to :: Rep DemotedTextConstraint x -> DemotedTextConstraint #
type Rep DemotedTextConstraint Source #
type Rep DemotedTextConstraint = D1 * (MetaData "DemotedTextConstraint" "Data.Schematic.Schema" "schematic-0.4.0.0-JgofqCl0qZfCGYcQM6SERi" False) ((:+:) * ((:+:) * (C1 * (MetaCons "DTEq" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) ((:+:) * (C1 * (MetaCons "DTLt" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) (C1 * (MetaCons "DTLe" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))))) ((:+:) * ((:+:) * (C1 * (MetaCons "DTGt" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) (C1 * (MetaCons "DTGe" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)))) ((:+:) * (C1 * (MetaCons "DTRegex" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) (C1 * (MetaCons "DTEnum" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text]))))))

data NumberConstraint Source #

Constructors

NLe Nat
NLt Nat
NGt Nat
NGe Nat
NEq Nat

Instances

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

data DemotedNumberConstraint Source #

Constructors

DNLe Integer
DNLt Integer
DNGt Integer
DNGe Integer
DNEq Integer

Instances

Generic DemotedNumberConstraint Source #
Associated Types type Rep DemotedNumberConstraint :: * -> * # Methods from :: DemotedNumberConstraint -> Rep DemotedNumberConstraint x # to :: Rep DemotedNumberConstraint x -> DemotedNumberConstraint #
type Rep DemotedNumberConstraint Source #
type Rep DemotedNumberConstraint = D1 * (MetaData "DemotedNumberConstraint" "Data.Schematic.Schema" "schematic-0.4.0.0-JgofqCl0qZfCGYcQM6SERi" False) ((:+:) * ((:+:) * (C1 * (MetaCons "DNLe" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) (C1 * (MetaCons "DNLt" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)))) ((:+:) * (C1 * (MetaCons "DNGt" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) ((:+:) * (C1 * (MetaCons "DNGe" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))) (C1 * (MetaCons "DNEq" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))))))

data ArrayConstraint Source #

Constructors

AEq Nat

Instances

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

data DemotedArrayConstraint Source #

Constructors

DAEq Integer

Instances

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

Generic DemotedSchema Source #
Associated Types type Rep DemotedSchema :: * -> * # Methods from :: DemotedSchema -> Rep DemotedSchema x # to :: Rep DemotedSchema x -> DemotedSchema #
type Rep DemotedSchema Source #
type Rep DemotedSchema = D1 * (MetaData "DemotedSchema" "Data.Schematic.Schema" "schematic-0.4.0.0-JgofqCl0qZfCGYcQM6SERi" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "DSchemaText" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [DemotedTextConstraint]))) (C1 * (MetaCons "DSchemaNumber" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [DemotedNumberConstraint])))) ((:+:) * (C1 * (MetaCons "DSchemaBoolean" PrefixI False) (U1 )) (C1 (MetaCons "DSchemaObject" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(Text, DemotedSchema)]))))) ((:+:) * ((:+:) * (C1 * (MetaCons "DSchemaArray" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [DemotedArrayConstraint])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * DemotedSchema)))) (C1 * (MetaCons "DSchemaNull" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "DSchemaOptional" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * DemotedSchema))) (C1 * (MetaCons "DSchemaUnion" PrefixI False) (S1 * (MetaSel (Nothing 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 schema, Serial m (JsonRepr schema)) => Serial m (FieldRepr ((,) Symbol Schema name schema)) Source #
Methods series :: Series m (FieldRepr ((Symbol, Schema) name schema)) #
Eq (JsonRepr schema) => Eq (FieldRepr ((,) Symbol Schema name schema)) Source #
Methods (==) :: FieldRepr ((Symbol, Schema) name schema) -> FieldRepr ((Symbol, Schema) name schema) -> Bool # (/=) :: FieldRepr ((Symbol, Schema) name schema) -> FieldRepr ((Symbol, Schema) name schema) -> Bool #
Show (JsonRepr schema) => Show (FieldRepr ((,) Symbol Schema name schema)) Source #
Methods showsPrec :: Int -> FieldRepr ((Symbol, Schema) name schema) -> ShowS # show :: FieldRepr ((Symbol, Schema) name schema) -> String # showList :: [FieldRepr ((Symbol, Schema) 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 (Symbol, Schema) FieldRepr fs)) => Serial m (JsonRepr (SchemaObject fs)) Source #
Methods series :: Series m (JsonRepr (SchemaObject fs)) #
Serial m (JsonRepr s) => Serial m (JsonRepr (SchemaOptional s)) Source #
Methods series :: Series m (JsonRepr (SchemaOptional s)) #
Serial m (Vector (JsonRepr s)) => Serial m (JsonRepr (SchemaArray cs s)) Source #
Methods series :: Series m (JsonRepr (SchemaArray cs s)) #
Monad m => Serial m (JsonRepr SchemaNull) Source #
Methods series :: Series m (JsonRepr SchemaNull) #
(Monad m, Serial m Scientific) => Serial m (JsonRepr (SchemaNumber cs)) Source #
Methods series :: Series m (JsonRepr (SchemaNumber cs)) #
(Monad m, Serial m Text) => Serial m (JsonRepr (SchemaText cs)) Source #
Methods series :: Series m (JsonRepr (SchemaText cs)) #
IsList (JsonRepr (SchemaArray cs s)) Source #
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 #
Methods (==) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool # (/=) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool #
Eq (JsonRepr (SchemaNumber cs)) Source #
Methods (==) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool # (/=) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool #
Eq (Rec (Symbol, Schema) FieldRepr fs) => Eq (JsonRepr (SchemaObject fs)) Source #
Methods (==) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool # (/=) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool #
Eq (JsonRepr s) => Eq (JsonRepr (SchemaArray as s)) Source #
Methods (==) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool # (/=) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool #
Eq (JsonRepr SchemaNull) Source #
Methods (==) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool # (/=) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool #
Eq (JsonRepr s) => Eq (JsonRepr (SchemaOptional s)) Source #
Methods (==) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool # (/=) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool #
Num (JsonRepr (SchemaNumber cs)) Source #
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) #
Show (JsonRepr (SchemaText cs)) Source #	Move to the union package
Methods showsPrec :: Int -> JsonRepr (SchemaText cs) -> ShowS # show :: JsonRepr (SchemaText cs) -> String # showList :: [JsonRepr (SchemaText cs)] -> ShowS #
Show (JsonRepr (SchemaNumber cs)) Source #
Methods showsPrec :: Int -> JsonRepr (SchemaNumber cs) -> ShowS # show :: JsonRepr (SchemaNumber cs) -> String # showList :: [JsonRepr (SchemaNumber cs)] -> ShowS #
RecAll (Symbol, Schema) FieldRepr fs Show => Show (JsonRepr (SchemaObject fs)) Source #
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 #
Methods showsPrec :: Int -> JsonRepr (SchemaArray acs s) -> ShowS # show :: JsonRepr (SchemaArray acs s) -> String # showList :: [JsonRepr (SchemaArray acs s)] -> ShowS #
Show (JsonRepr SchemaNull) Source #
Methods showsPrec :: Int -> JsonRepr SchemaNull -> ShowS # show :: JsonRepr SchemaNull -> String # showList :: [JsonRepr SchemaNull] -> ShowS #
Show (JsonRepr s) => Show (JsonRepr (SchemaOptional s)) Source #
Methods showsPrec :: Int -> JsonRepr (SchemaOptional s) -> ShowS # show :: JsonRepr (SchemaOptional s) -> String # showList :: [JsonRepr (SchemaOptional s)] -> ShowS #
IsString (JsonRepr (SchemaText cs)) Source #
Methods fromString :: String -> JsonRepr (SchemaText cs) #
ToJSON (JsonRepr a) Source #
Methods toJSON :: JsonRepr a -> Value # toEncoding :: JsonRepr a -> Encoding # toJSONList :: [JsonRepr a] -> Value # toEncodingList :: [JsonRepr a] -> Encoding #
SingI Schema schema => FromJSON (JsonRepr schema) Source #
Methods parseJSON :: Value -> Parser (JsonRepr schema) # parseJSONList :: Value -> Parser [JsonRepr schema] #
ToJSON (Union Schema JsonRepr as) Source #
Methods toJSON :: Union Schema JsonRepr as -> Value # toEncoding :: Union Schema JsonRepr as -> Encoding # toJSONList :: [Union Schema JsonRepr as] -> Value # toEncodingList :: [Union Schema JsonRepr as] -> Encoding #
(SingI Schema a, FromJSON (Union Schema JsonRepr as)) => FromJSON (Union Schema JsonRepr ((:) Schema a as)) Source #
Methods parseJSON :: Value -> Parser (Union Schema JsonRepr ((Schema ': a) as)) # parseJSONList :: Value -> Parser [Union Schema JsonRepr ((Schema ': a) as)] #
FromJSON (Union Schema JsonRepr ([] Schema)) Source #
Methods parseJSON :: Value -> Parser (Union Schema JsonRepr [Schema]) # parseJSONList :: Value -> Parser [Union Schema JsonRepr [Schema]] #
type Item (JsonRepr (SchemaArray cs s)) Source #
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