Data.Schematic.Schema

Documentation

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

TLt Nat

TLe Nat

TGt Nat

TGe Nat

TRegex Symbol

TEnum [Symbol]

Instances

Generic TextConstraint

Associated Types

type Rep TextConstraint :: * -> *

Methods

from :: TextConstraint -> Rep TextConstraint x

to :: Rep TextConstraint x -> TextConstraint

SingKind TextConstraint

Associated Types

type DemoteRep TextConstraint :: *

Methods

fromSing :: Sing TextConstraint a -> DemoteRep TextConstraint

toSing :: DemoteRep TextConstraint -> SomeSing TextConstraint

KnownNat n => SingI TextConstraint (TEq n)

Methods

sing :: Sing (TEq n) a

KnownNat n => SingI TextConstraint (TLt n)

Methods

sing :: Sing (TLt 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

KnownNat n => SingI TextConstraint (TGe n)

Methods

sing :: Sing (TGe n) a

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

Methods

sing :: Sing (TRegex s) a

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 (TLt n))

Methods

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

(/=) :: Sing TextConstraint (TLt n) -> Sing TextConstraint (TLt 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 (TGe n))

Methods

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

(/=) :: Sing TextConstraint (TGe n) -> Sing TextConstraint (TGe 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.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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

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 DemoteRep TextConstraint

type DemoteRep TextConstraint = DemotedTextConstraint

data DemotedTextConstraint

Constructors

DTEq Integer

DTLt Integer

DTLe Integer

DTGt Integer

DTGe Integer

DTRegex Text

DTEnum [Text]

Instances

Generic DemotedTextConstraint

Associated Types

type Rep DemotedTextConstraint :: * -> *

Methods

from :: DemotedTextConstraint -> Rep DemotedTextConstraint x

to :: Rep DemotedTextConstraint x -> DemotedTextConstraint

type Rep DemotedTextConstraint

type Rep DemotedTextConstraint = D1 (MetaData "DemotedTextConstraint" "Data.Schematic.Schema" "schematic-0.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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

Constructors

NLe Nat

NLt Nat

NGt Nat

NGe Nat

NEq Nat

Instances

Generic NumberConstraint

Associated Types

type Rep NumberConstraint :: * -> *

Methods

from :: NumberConstraint -> Rep NumberConstraint x

to :: Rep NumberConstraint x -> NumberConstraint

SingKind NumberConstraint

Associated Types

type DemoteRep NumberConstraint :: *

Methods

fromSing :: Sing NumberConstraint a -> DemoteRep NumberConstraint

toSing :: DemoteRep NumberConstraint -> SomeSing NumberConstraint

KnownNat n => SingI NumberConstraint (NLe n)

Methods

sing :: Sing (NLe n) a

KnownNat n => SingI NumberConstraint (NLt n)

Methods

sing :: Sing (NLt n) a

KnownNat n => SingI NumberConstraint (NGt n)

Methods

sing :: Sing (NGt n) a

KnownNat n => SingI NumberConstraint (NGe n)

Methods

sing :: Sing (NGe 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 (NLt n))

Methods

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

(/=) :: Sing NumberConstraint (NLt n) -> Sing NumberConstraint (NLt 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 (NGe n))

Methods

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

(/=) :: Sing NumberConstraint (NGe n) -> Sing NumberConstraint (NGe 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.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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

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 DemoteRep NumberConstraint

type DemoteRep NumberConstraint = DemotedNumberConstraint

data DemotedNumberConstraint

Constructors

DNLe Integer

DNLt Integer

DNGt Integer

DNGe Integer

DNEq Integer

Instances

Generic DemotedNumberConstraint

Associated Types

type Rep DemotedNumberConstraint :: * -> *

Methods

from :: DemotedNumberConstraint -> Rep DemotedNumberConstraint x

to :: Rep DemotedNumberConstraint x -> DemotedNumberConstraint

type Rep DemotedNumberConstraint

type Rep DemotedNumberConstraint = D1 (MetaData "DemotedNumberConstraint" "Data.Schematic.Schema" "schematic-0.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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

Constructors

AEq Nat

Instances

Generic ArrayConstraint

Associated Types

type Rep ArrayConstraint :: * -> *

Methods

from :: ArrayConstraint -> Rep ArrayConstraint x

to :: Rep ArrayConstraint x -> ArrayConstraint

SingKind ArrayConstraint

Associated Types

type DemoteRep ArrayConstraint :: *

Methods

fromSing :: Sing ArrayConstraint a -> DemoteRep ArrayConstraint

toSing :: DemoteRep ArrayConstraint -> SomeSing 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.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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)

type DemoteRep ArrayConstraint

type DemoteRep ArrayConstraint = DemotedArrayConstraint

data DemotedArrayConstraint

Constructors

DAEq Integer

Instances

Generic DemotedArrayConstraint

Associated Types

type Rep DemotedArrayConstraint :: * -> *

Methods

from :: DemotedArrayConstraint -> Rep DemotedArrayConstraint x

to :: Rep DemotedArrayConstraint x -> DemotedArrayConstraint

type Rep DemotedArrayConstraint

type Rep DemotedArrayConstraint = D1 (MetaData "DemotedArrayConstraint" "Data.Schematic.Schema" "schematic-0.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" False) (C1 (MetaCons "DAEq" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Schema

Constructors

SchemaText [TextConstraint]

SchemaBoolean

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

SingKind Schema

Associated Types

type DemoteRep Schema :: *

Methods

fromSing :: Sing Schema a -> DemoteRep Schema

toSing :: DemoteRep Schema -> SomeSing Schema

SingI Schema SchemaBoolean

Methods

sing :: Sing SchemaBoolean a

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

FElem fn ((:) (Symbol, Schema) ((,) Symbol Schema fn r) rs) Z

Associated Types

type ByRevision (fn :: Symbol) ((:) (Symbol, Schema) ((,) Symbol Schema fn r) rs :: [(Symbol, Schema)]) (Z :: Nat) :: Schema

Methods

flens :: Functor g => proxy fn -> (FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z)) -> g (FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z)))) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) -> g (Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs))

fget :: proxy fn -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) -> FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z))

fput :: FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z)) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs)

((~) Nat (FIndex r ((:) (Symbol, Schema) s rs)) (S i), FElem r rs i) => FElem r ((:) (Symbol, Schema) s rs) (S i)

Associated Types

type ByRevision (r :: Symbol) ((:) (Symbol, Schema) s rs :: [(Symbol, Schema)]) (S i :: Nat) :: Schema

Methods

flens :: Functor g => proxy r -> (FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i))) -> g (FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i))))) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs) -> g (Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs))

fget :: proxy r -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs) -> FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i)))

fput :: FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i))) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs)

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

Methods

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

(/=) :: Sing Schema SchemaBoolean -> Sing Schema SchemaBoolean -> 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

type Rep Schema

type Rep Schema = D1 (MetaData "Schema" "Data.Schematic.Schema" "schematic-0.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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))))))

data Sing Schema

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

type DemoteRep Schema

type DemoteRep Schema = DemotedSchema

type ByRevision fn ((:) (Symbol, Schema) ((,) Symbol Schema fn r) rs) Z

type ByRevision fn ((:) (Symbol, Schema) ((,) Symbol Schema fn r) rs) Z = r

type ByRevision fn ((:) (Symbol, Schema) s rs) (S i)

type ByRevision fn ((:) (Symbol, Schema) s rs) (S i) = ByRevision fn rs i

data DemotedSchema

Constructors

DSchemaText [DemotedTextConstraint]

DSchemaNumber [DemotedNumberConstraint]

DSchemaBoolean

DSchemaObject [(Text, DemotedSchema)]

DSchemaArray [DemotedArrayConstraint] DemotedSchema

DSchemaNull

DSchemaOptional DemotedSchema

Instances

Generic DemotedSchema

Associated Types

type Rep DemotedSchema :: * -> *

Methods

from :: DemotedSchema -> Rep DemotedSchema x

to :: Rep DemotedSchema x -> DemotedSchema

type Rep DemotedSchema

type Rep DemotedSchema = D1 (MetaData "DemotedSchema" "Data.Schematic.Schema" "schematic-0.2.1.0-LaQF8C6pbkw2hzbOZL1YnS" 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))))))

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

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

Forgetful Functor Ufr

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)

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)

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