Safe Haskell	None
Language	Haskell2010

Data.Schematic.Schema

Documentation

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

Equations

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

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
TLe Nat
TGt 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 #
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 (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 (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 #
KnownNat n => Known (Sing TextConstraint (TEq n)) Source #
Methods known :: Sing TextConstraint (TEq n) Source #
KnownNat n => Known (Sing TextConstraint (TLe n)) Source #
Methods known :: Sing TextConstraint (TLe n) Source #
KnownNat n => Known (Sing TextConstraint (TGt n)) Source #
Methods known :: Sing TextConstraint (TGt n) Source #
(KnownSymbol s, Known (Sing Symbol s)) => Known (Sing TextConstraint (TRegex s)) Source #
Methods known :: Sing TextConstraint (TRegex s) Source #
(All Symbol KnownSymbol ss, Known (Sing [Symbol] ss)) => Known (Sing TextConstraint (TEnum ss)) Source #
Methods known :: Sing TextConstraint (TEnum ss) Source #
type Rep TextConstraint Source #
type Rep TextConstraint = D1 (MetaData "TextConstraint" "Data.Schematic.Schema" "schematic-0.1.0.0-BdW0K0tvR151FnGAdMOG1M" 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 Source #
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 Source #

Constructors

NLe Nat
NGt Nat
NEq Nat

Instances

Generic NumberConstraint Source #
Associated Types type Rep NumberConstraint :: * -> * # Methods from :: NumberConstraint -> Rep NumberConstraint x # to :: Rep NumberConstraint x -> NumberConstraint #
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 (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 (NEq n)) Source #
Methods (==) :: Sing NumberConstraint (NEq n) -> Sing NumberConstraint (NEq n) -> Bool # (/=) :: Sing NumberConstraint (NEq n) -> Sing NumberConstraint (NEq n) -> Bool #
KnownNat n => Known (Sing NumberConstraint (NLe n)) Source #
Methods known :: Sing NumberConstraint (NLe n) Source #
KnownNat n => Known (Sing NumberConstraint (NGt n)) Source #
Methods known :: Sing NumberConstraint (NGt n) Source #
KnownNat n => Known (Sing NumberConstraint (NEq n)) Source #
Methods known :: Sing NumberConstraint (NEq n) Source #
type Rep NumberConstraint Source #
type Rep NumberConstraint = D1 (MetaData "NumberConstraint" "Data.Schematic.Schema" "schematic-0.1.0.0-BdW0K0tvR151FnGAdMOG1M" 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 Source #
data Sing NumberConstraint where SNEq :: Sing NumberConstraint (NEq n) SNGt :: Sing NumberConstraint (NGt n) SNLe :: Sing NumberConstraint (NLe n)

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 #
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 #
KnownNat n => Known (Sing ArrayConstraint (AEq n)) Source #
Methods known :: Sing ArrayConstraint (AEq n) Source #
type Rep ArrayConstraint Source #
type Rep ArrayConstraint = D1 (MetaData "ArrayConstraint" "Data.Schematic.Schema" "schematic-0.1.0.0-BdW0K0tvR151FnGAdMOG1M" 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)

data Schema Source #

Constructors

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

Instances

Generic Schema Source #
Associated Types type Rep Schema :: * -> * # Methods from :: Schema -> Rep Schema x # to :: Rep Schema x -> Schema #
(KnownSymbol name, Known (Sing 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 #
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 (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 #
Known (Sing [TextConstraint] sl) => Known (Sing Schema (SchemaText sl)) Source #
Methods known :: Sing Schema (SchemaText sl) Source #
Known (Sing [NumberConstraint] sl) => Known (Sing Schema (SchemaNumber sl)) Source #
Methods known :: Sing Schema (SchemaNumber sl) Source #
Known (Sing [(Symbol, Schema)] stl) => Known (Sing Schema (SchemaObject stl)) Source #
Methods known :: Sing Schema (SchemaObject stl) Source #
(Known (Sing [ArrayConstraint] ac), Known (Sing Schema s)) => Known (Sing Schema (SchemaArray ac s)) Source #
Methods known :: Sing Schema (SchemaArray ac s) Source #
Known (Sing Schema SchemaNull) Source #
Methods known :: Sing Schema SchemaNull Source #
Known (Sing Schema s) => Known (Sing Schema (SchemaOptional s)) Source #
Methods known :: Sing Schema (SchemaOptional s) Source #
type Rep Schema Source #
type Rep Schema = D1 (MetaData "Schema" "Data.Schematic.Schema" "schematic-0.1.0.0-BdW0K0tvR151FnGAdMOG1M" 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 Source #
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 Source #

Constructors

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

Instances

(KnownSymbol name, Known (Sing 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 #

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

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

data JsonRepr :: Schema -> Type where Source #

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)) 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)) #
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 #
Show (JsonRepr (SchemaText cs)) Source #
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 #
ToJSON (JsonRepr a) Source #
Methods toJSON :: JsonRepr a -> Value # toEncoding :: JsonRepr a -> Encoding # toJSONList :: [JsonRepr a] -> Value # toEncodingList :: [JsonRepr a] -> Encoding #
Known (Sing Schema schema) => FromJSON (JsonRepr schema) Source #
Methods parseJSON :: Value -> Parser (JsonRepr schema) # parseJSONList :: Value -> Parser [JsonRepr schema] #

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

class FalseConstraint a Source #

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

Equations

TopLevel (SchemaArray acs s) = ()
TopLevel (SchemaObject o) = ()
TopLevel spec = FalseConstraint spec