Data.Schematic.Schema

Documentation

type family All (c :: k -> Constraint) (s :: [k]) :: Constraint where ...

Equations

All c '[] = ()

All c (a ': as) = (c a, All c as)

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

Equations

CRepr (SchemaText cs) = TextConstraint

CRepr (SchemaNumber cs) = NumberConstraint

CRepr (SchemaObject fs) = (String, Schema)

CRepr (SchemaArray ar s) = ArrayConstraint

data TextConstraint

Constructors

TEq Nat

TLe Nat

TGt Nat

TRegex Symbol

TEnum [Symbol]

Instances

Generic TextConstraint

Associated Types

type Rep TextConstraint :: * -> *

Methods

from :: TextConstraint -> Rep TextConstraint x

to :: Rep TextConstraint x -> TextConstraint

KnownNat n => SingI TextConstraint (TEq n)

Methods

sing :: Sing (TEq n) a

KnownNat n => SingI TextConstraint (TLe n)

Methods

sing :: Sing (TLe n) a

KnownNat n => SingI TextConstraint (TGt n)

Methods

sing :: Sing (TGt n) a

(KnownSymbol s, SingI Symbol s) => SingI TextConstraint (TRegex s)

Methods

sing :: Sing (TRegex s) a

(All Symbol KnownSymbol ss, SingI [Symbol] ss) => SingI TextConstraint (TEnum ss)

Methods

sing :: Sing (TEnum ss) a

Eq (Sing TextConstraint (TEq n))

Methods

(==) :: Sing TextConstraint (TEq n) -> Sing TextConstraint (TEq n) -> Bool

(/=) :: Sing TextConstraint (TEq n) -> Sing TextConstraint (TEq n) -> Bool

Eq (Sing TextConstraint (TLe n))

Methods

(==) :: Sing TextConstraint (TLe n) -> Sing TextConstraint (TLe n) -> Bool

(/=) :: Sing TextConstraint (TLe n) -> Sing TextConstraint (TLe n) -> Bool

Eq (Sing TextConstraint (TGt n))

Methods

(==) :: Sing TextConstraint (TGt n) -> Sing TextConstraint (TGt n) -> Bool

(/=) :: Sing TextConstraint (TGt n) -> Sing TextConstraint (TGt n) -> Bool

Eq (Sing TextConstraint (TRegex t))

Methods

(==) :: Sing TextConstraint (TRegex t) -> Sing TextConstraint (TRegex t) -> Bool

(/=) :: Sing TextConstraint (TRegex t) -> Sing TextConstraint (TRegex t) -> Bool

Eq (Sing TextConstraint (TEnum ss))

Methods

(==) :: Sing TextConstraint (TEnum ss) -> Sing TextConstraint (TEnum ss) -> Bool

(/=) :: Sing TextConstraint (TEnum ss) -> Sing TextConstraint (TEnum ss) -> Bool

type Rep TextConstraint

type Rep TextConstraint = D1 (MetaData "TextConstraint" "Data.Schematic.Schema" "schematic-0.1.4.0-JDgqi4sMSggJplhp8KLDW7" False) ((:+:) ((:+:) (C1 (MetaCons "TEq" 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 "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

data Sing TextConstraint where

• STEq :: Sing TextConstraint (TEq n)
• STLe :: Sing TextConstraint (TLe n)
• STGt :: Sing TextConstraint (TGt n)
• STRegex :: Sing TextConstraint (TRegex s)
• STEnum :: Sing TextConstraint (TEnum ss)

data NumberConstraint

Constructors

NLe Nat

NGt Nat

NEq Nat

Instances

Generic NumberConstraint

Associated Types

type Rep NumberConstraint :: * -> *

Methods

from :: NumberConstraint -> Rep NumberConstraint x

to :: Rep NumberConstraint x -> NumberConstraint

KnownNat n => SingI NumberConstraint (NLe n)

Methods

sing :: Sing (NLe n) a

KnownNat n => SingI NumberConstraint (NGt n)

Methods

sing :: Sing (NGt n) a

KnownNat n => SingI NumberConstraint (NEq n)

Methods

sing :: Sing (NEq n) a

Eq (Sing NumberConstraint (NLe n))

Methods

(==) :: Sing NumberConstraint (NLe n) -> Sing NumberConstraint (NLe n) -> Bool

(/=) :: Sing NumberConstraint (NLe n) -> Sing NumberConstraint (NLe n) -> Bool

Eq (Sing NumberConstraint (NGt n))

Methods

(==) :: Sing NumberConstraint (NGt n) -> Sing NumberConstraint (NGt n) -> Bool

(/=) :: Sing NumberConstraint (NGt n) -> Sing NumberConstraint (NGt n) -> Bool

Eq (Sing NumberConstraint (NEq n))

Methods

(==) :: Sing NumberConstraint (NEq n) -> Sing NumberConstraint (NEq n) -> Bool

(/=) :: Sing NumberConstraint (NEq n) -> Sing NumberConstraint (NEq n) -> Bool

type Rep NumberConstraint

type Rep NumberConstraint = D1 (MetaData "NumberConstraint" "Data.Schematic.Schema" "schematic-0.1.4.0-JDgqi4sMSggJplhp8KLDW7" False) ((:+:) (C1 (MetaCons "NLe" 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 "NEq" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))))

data Sing NumberConstraint

data Sing NumberConstraint where

• SNEq :: Sing NumberConstraint (NEq n)
• SNGt :: Sing NumberConstraint (NGt n)
• SNLe :: Sing NumberConstraint (NLe n)

data ArrayConstraint

Constructors

AEq Nat

Instances

Generic ArrayConstraint

Associated Types

type Rep ArrayConstraint :: * -> *

Methods

from :: ArrayConstraint -> Rep ArrayConstraint x

to :: Rep ArrayConstraint x -> ArrayConstraint

KnownNat n => SingI ArrayConstraint (AEq n)

Methods

sing :: Sing (AEq n) a

Eq (Sing ArrayConstraint (AEq n))

Methods

(==) :: Sing ArrayConstraint (AEq n) -> Sing ArrayConstraint (AEq n) -> Bool

(/=) :: Sing ArrayConstraint (AEq n) -> Sing ArrayConstraint (AEq n) -> Bool

type Rep ArrayConstraint

type Rep ArrayConstraint = D1 (MetaData "ArrayConstraint" "Data.Schematic.Schema" "schematic-0.1.4.0-JDgqi4sMSggJplhp8KLDW7" False) (C1 (MetaCons "AEq" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))

data Sing ArrayConstraint

data Sing ArrayConstraint where

• SAEq :: Sing ArrayConstraint (AEq n)

data Schema

Constructors

SchemaText [TextConstraint]

SchemaNumber [NumberConstraint]

SchemaObject [(Symbol, Schema)]

SchemaArray [ArrayConstraint] Schema

SchemaNull

SchemaOptional Schema

Instances

Generic Schema

Associated Types

type Rep Schema :: * -> *

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

SingI Schema SchemaNull

Methods

sing :: Sing SchemaNull a

SingI [TextConstraint] sl => SingI Schema (SchemaText sl)

Methods

sing :: Sing (SchemaText sl) a

SingI [NumberConstraint] sl => SingI Schema (SchemaNumber sl)

Methods

sing :: Sing (SchemaNumber sl) a

SingI [(Symbol, Schema)] stl => SingI Schema (SchemaObject stl)

Methods

sing :: Sing (SchemaObject stl) a

SingI Schema s => SingI Schema (SchemaOptional s)

Methods

sing :: Sing (SchemaOptional s) a

(KnownSymbol name, SingI Schema schema, Serial m (JsonRepr schema)) => Serial m (FieldRepr ((,) Symbol Schema name schema))

Methods

series :: Series m (FieldRepr ((Symbol, Schema) name schema))

(SingI [ArrayConstraint] ac, SingI Schema s) => SingI Schema (SchemaArray ac s)

Methods

sing :: Sing (SchemaArray ac s) a

Eq (JsonRepr schema) => Eq (FieldRepr ((,) Symbol Schema name schema))

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

Methods

showsPrec :: Int -> FieldRepr ((Symbol, Schema) name schema) -> ShowS

show :: FieldRepr ((Symbol, Schema) name schema) -> String

showList :: [FieldRepr ((Symbol, Schema) name schema)] -> ShowS

Eq (Sing Schema (SchemaText cs))

Methods

(==) :: Sing Schema (SchemaText cs) -> Sing Schema (SchemaText cs) -> Bool

(/=) :: Sing Schema (SchemaText cs) -> Sing Schema (SchemaText cs) -> Bool

Eq (Sing Schema (SchemaNumber cs))

Methods

(==) :: Sing Schema (SchemaNumber cs) -> Sing Schema (SchemaNumber cs) -> Bool

(/=) :: Sing Schema (SchemaNumber cs) -> Sing Schema (SchemaNumber cs) -> Bool

Eq (Sing Schema (SchemaObject cs))

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

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)

Methods

(==) :: Sing Schema SchemaNull -> Sing Schema SchemaNull -> Bool

(/=) :: Sing Schema SchemaNull -> Sing Schema SchemaNull -> Bool

Eq (Sing Schema (SchemaOptional s))

Methods

(==) :: Sing Schema (SchemaOptional s) -> Sing Schema (SchemaOptional s) -> Bool

(/=) :: Sing Schema (SchemaOptional s) -> Sing Schema (SchemaOptional s) -> Bool

(TopLevel (Snd Revision Schema rev), SingI Schema (Snd Revision Schema rev)) => Migratable ((:) (Revision, Schema) rev ([] (Revision, Schema)))

Methods

mparse :: Sing [(Revision, Schema)] (((Revision, Schema) ': rev) [(Revision, Schema)]) -> Value -> ParseResult (JsonRepr (Snd Revision Schema (Head (Revision, Schema) (((Revision, Schema) ': rev) [(Revision, Schema)]))))

type Rep Schema

type Rep Schema = D1 (MetaData "Schema" "Data.Schematic.Schema" "schematic-0.1.4.0-JDgqi4sMSggJplhp8KLDW7" False) ((:+:) ((:+:) (C1 (MetaCons "SchemaText" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TextConstraint]))) ((:+:) (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))))))

data Sing Schema

data Sing Schema where

• SSchemaText :: Sing Schema (SchemaText tcs)
• SSchemaNumber :: Sing Schema (SchemaNumber ncs)
• SSchemaArray :: Sing Schema (SchemaArray acs schema)
• SSchemaObject :: Sing Schema (SchemaObject fields)
• SSchemaOptional :: Sing Schema (SchemaOptional s)
• SSchemaNull :: Sing Schema SchemaNull

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

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

Methods

series :: Series m (FieldRepr ((Symbol, Schema) name schema))

Eq (JsonRepr schema) => Eq (FieldRepr ((,) Symbol Schema name schema))

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

Methods

showsPrec :: Int -> FieldRepr ((Symbol, Schema) name schema) -> ShowS

show :: FieldRepr ((Symbol, Schema) name schema) -> String

showList :: [FieldRepr ((Symbol, Schema) name schema)] -> ShowS

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

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

data JsonRepr :: Schema -> Type where

Constructors

ReprText :: Text -> JsonRepr (SchemaText cs)

ReprNumber :: Scientific -> JsonRepr (SchemaNumber cs)

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)

Instances

(Monad m, Serial m (Rec (Symbol, Schema) FieldRepr fs)) => Serial m (JsonRepr (SchemaObject fs))

Methods

series :: Series m (JsonRepr (SchemaObject fs))

Serial m (JsonRepr s) => Serial m (JsonRepr (SchemaOptional s))

Methods

series :: Series m (JsonRepr (SchemaOptional s))

Serial m (Vector (JsonRepr s)) => Serial m (JsonRepr (SchemaArray cs s))

Methods

series :: Series m (JsonRepr (SchemaArray cs s))

Monad m => Serial m (JsonRepr SchemaNull)

Methods

series :: Series m (JsonRepr SchemaNull)

(Monad m, Serial m Scientific) => Serial m (JsonRepr (SchemaNumber cs))

Methods

series :: Series m (JsonRepr (SchemaNumber cs))

(Monad m, Serial m Text) => Serial m (JsonRepr (SchemaText cs))

Methods

series :: Series m (JsonRepr (SchemaText cs))

Eq (JsonRepr (SchemaText cs))

Methods

(==) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool

(/=) :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Bool

Eq (JsonRepr (SchemaNumber cs))

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

Methods

(==) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool

(/=) :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Bool

Eq (JsonRepr s) => Eq (JsonRepr (SchemaArray as s))

Methods

(==) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool

(/=) :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Bool

Eq (JsonRepr SchemaNull)

Methods

(==) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool

(/=) :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Bool

Eq (JsonRepr s) => Eq (JsonRepr (SchemaOptional s))

Methods

(==) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool

(/=) :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Bool

Show (JsonRepr (SchemaText cs))

Methods

showsPrec :: Int -> JsonRepr (SchemaText cs) -> ShowS

show :: JsonRepr (SchemaText cs) -> String

showList :: [JsonRepr (SchemaText cs)] -> ShowS

Show (JsonRepr (SchemaNumber cs))

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

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

Methods

showsPrec :: Int -> JsonRepr (SchemaArray acs s) -> ShowS

show :: JsonRepr (SchemaArray acs s) -> String

showList :: [JsonRepr (SchemaArray acs s)] -> ShowS

Show (JsonRepr SchemaNull)

Methods

showsPrec :: Int -> JsonRepr SchemaNull -> ShowS

show :: JsonRepr SchemaNull -> String

showList :: [JsonRepr SchemaNull] -> ShowS

Show (JsonRepr s) => Show (JsonRepr (SchemaOptional s))

Methods

showsPrec :: Int -> JsonRepr (SchemaOptional s) -> ShowS

show :: JsonRepr (SchemaOptional s) -> String

showList :: [JsonRepr (SchemaOptional s)] -> ShowS

ToJSON (JsonRepr a)

Methods

toJSON :: JsonRepr a -> Value

toEncoding :: JsonRepr a -> Encoding

toJSONList :: [JsonRepr a] -> Value

toEncodingList :: [JsonRepr a] -> Encoding

SingI Schema schema => FromJSON (JsonRepr schema)

Methods

parseJSON :: Value -> Parser (JsonRepr schema)

parseJSONList :: Value -> Parser [JsonRepr schema]

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

class FalseConstraint a

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

Equations

TopLevel (SchemaArray acs s) = ()

TopLevel (SchemaObject o) = ()

TopLevel spec = True ~ False