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

Defined in Data.Schematic.Schema

Associated Types

type Rep TextConstraint :: * -> *

Methods

from :: TextConstraint -> Rep TextConstraint x

to :: Rep TextConstraint x -> TextConstraint

SingKind TextConstraint

Defined in Data.Schematic.Schema

Associated Types

type Demote TextConstraint = (r :: *)

Methods

fromSing :: Sing a -> Demote TextConstraint

toSing :: Demote TextConstraint -> SomeSing TextConstraint

KnownNat n => SingI (TEq n :: TextConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TEq n)

KnownNat n => SingI (TLt n :: TextConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TLt n)

KnownNat n => SingI (TLe n :: TextConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TLe n)

KnownNat n => SingI (TGt n :: TextConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TGt n)

KnownNat n => SingI (TGe n :: TextConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TGe n)

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

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TRegex s)

SingI ss => SingI (TEnum ss :: TextConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (TEnum ss)

Eq (Sing (TEq n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (TLt n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (TLe n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (TGt n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (TGe n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (TRegex t))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (TEnum ss))

Defined in Data.Schematic.Schema

Methods

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

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

type Rep TextConstraint

Defined in Data.Schematic.Schema

type Rep TextConstraint = D1 (MetaData "TextConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "TEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: (C1 (MetaCons "TLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "TLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))) :+: ((C1 (MetaCons "TGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "TGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat))) :+: (C1 (MetaCons "TRegex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)) :+: C1 (MetaCons "TEnum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Symbol])))))

data Sing (tc :: TextConstraint)

Defined in Data.Schematic.Schema

data Sing (tc :: TextConstraint) where

• STEq :: Sing (TEq n)
• STLt :: Sing (TLt n)
• STLe :: Sing (TLe n)
• STGt :: Sing (TGt n)
• STGe :: Sing (TGe n)
• STRegex :: Sing (TRegex s)
• STEnum :: Sing (TEnum ss)

type Demote TextConstraint

Defined in Data.Schematic.Schema

type Demote TextConstraint = DemotedTextConstraint

data DemotedTextConstraint

Constructors

DTEq Integer

DTLt Integer

DTLe Integer

DTGt Integer

DTGe Integer

DTRegex Text

DTEnum [Text]

Instances

Eq DemotedTextConstraint

Defined in Data.Schematic.Schema

Methods

(==) :: DemotedTextConstraint -> DemotedTextConstraint -> Bool

(/=) :: DemotedTextConstraint -> DemotedTextConstraint -> Bool

Show DemotedTextConstraint

Defined in Data.Schematic.Schema

Methods

showsPrec :: Int -> DemotedTextConstraint -> ShowS

show :: DemotedTextConstraint -> String

showList :: [DemotedTextConstraint] -> ShowS

Generic DemotedTextConstraint

Defined in Data.Schematic.Schema

Associated Types

type Rep DemotedTextConstraint :: * -> *

Methods

from :: DemotedTextConstraint -> Rep DemotedTextConstraint x

to :: Rep DemotedTextConstraint x -> DemotedTextConstraint

type Rep DemotedTextConstraint

Defined in Data.Schematic.Schema

type Rep DemotedTextConstraint = D1 (MetaData "DemotedTextConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "DTEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "DTLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DTLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))) :+: ((C1 (MetaCons "DTGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DTGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :+: (C1 (MetaCons "DTRegex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "DTEnum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))))

data NumberConstraint

Constructors

NLe Nat

NLt Nat

NGt Nat

NGe Nat

NEq Nat

Instances

Generic NumberConstraint

Defined in Data.Schematic.Schema

Associated Types

type Rep NumberConstraint :: * -> *

Methods

from :: NumberConstraint -> Rep NumberConstraint x

to :: Rep NumberConstraint x -> NumberConstraint

SingKind NumberConstraint

Defined in Data.Schematic.Schema

Associated Types

type Demote NumberConstraint = (r :: *)

Methods

fromSing :: Sing a -> Demote NumberConstraint

toSing :: Demote NumberConstraint -> SomeSing NumberConstraint

KnownNat n => SingI (NLe n :: NumberConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (NLe n)

KnownNat n => SingI (NLt n :: NumberConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (NLt n)

KnownNat n => SingI (NGt n :: NumberConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (NGt n)

KnownNat n => SingI (NGe n :: NumberConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (NGe n)

KnownNat n => SingI (NEq n :: NumberConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (NEq n)

Eq (Sing (NLe n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (NLt n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (NGt n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (NGe n))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (NEq n))

Defined in Data.Schematic.Schema

Methods

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

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

type Rep NumberConstraint

Defined in Data.Schematic.Schema

type Rep NumberConstraint = D1 (MetaData "NumberConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "NLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "NLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat))) :+: (C1 (MetaCons "NGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: (C1 (MetaCons "NGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :+: C1 (MetaCons "NEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)))))

data Sing (nc :: NumberConstraint)

Defined in Data.Schematic.Schema

data Sing (nc :: NumberConstraint) where

• SNEq :: Sing (NEq n)
• SNGt :: Sing (NGt n)
• SNGe :: Sing (NGe n)
• SNLt :: Sing (NLt n)
• SNLe :: Sing (NLe n)

type Demote NumberConstraint

Defined in Data.Schematic.Schema

type Demote NumberConstraint = DemotedNumberConstraint

data DemotedNumberConstraint

Constructors

DNLe Integer

DNLt Integer

DNGt Integer

DNGe Integer

DNEq Integer

Instances

Eq DemotedNumberConstraint

Defined in Data.Schematic.Schema

Methods

(==) :: DemotedNumberConstraint -> DemotedNumberConstraint -> Bool

(/=) :: DemotedNumberConstraint -> DemotedNumberConstraint -> Bool

Show DemotedNumberConstraint

Defined in Data.Schematic.Schema

Methods

showsPrec :: Int -> DemotedNumberConstraint -> ShowS

show :: DemotedNumberConstraint -> String

showList :: [DemotedNumberConstraint] -> ShowS

Generic DemotedNumberConstraint

Defined in Data.Schematic.Schema

Associated Types

type Rep DemotedNumberConstraint :: * -> *

Methods

from :: DemotedNumberConstraint -> Rep DemotedNumberConstraint x

to :: Rep DemotedNumberConstraint x -> DemotedNumberConstraint

type Rep DemotedNumberConstraint

Defined in Data.Schematic.Schema

type Rep DemotedNumberConstraint = D1 (MetaData "DemotedNumberConstraint" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) ((C1 (MetaCons "DNLe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DNLt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :+: (C1 (MetaCons "DNGt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "DNGe" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "DNEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))))

data ArrayConstraint

Constructors

AEq Nat

Instances

Generic ArrayConstraint

Defined in Data.Schematic.Schema

Associated Types

type Rep ArrayConstraint :: * -> *

Methods

from :: ArrayConstraint -> Rep ArrayConstraint x

to :: Rep ArrayConstraint x -> ArrayConstraint

SingKind ArrayConstraint

Defined in Data.Schematic.Schema

Associated Types

type Demote ArrayConstraint = (r :: *)

Methods

fromSing :: Sing a -> Demote ArrayConstraint

toSing :: Demote ArrayConstraint -> SomeSing ArrayConstraint

KnownNat n => SingI (AEq n :: ArrayConstraint)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (AEq n)

Eq (Sing (AEq n))

Defined in Data.Schematic.Schema

Methods

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

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

type Rep ArrayConstraint

Defined in Data.Schematic.Schema

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

data Sing (ac :: ArrayConstraint)

Defined in Data.Schematic.Schema

data Sing (ac :: ArrayConstraint) where

• SAEq :: Sing (AEq n)

type Demote ArrayConstraint

Defined in Data.Schematic.Schema

type Demote ArrayConstraint = DemotedArrayConstraint

data DemotedArrayConstraint

Constructors

DAEq Integer

Instances

Eq DemotedArrayConstraint

Defined in Data.Schematic.Schema

Methods

(==) :: DemotedArrayConstraint -> DemotedArrayConstraint -> Bool

(/=) :: DemotedArrayConstraint -> DemotedArrayConstraint -> Bool

Show DemotedArrayConstraint

Defined in Data.Schematic.Schema

Methods

showsPrec :: Int -> DemotedArrayConstraint -> ShowS

show :: DemotedArrayConstraint -> String

showList :: [DemotedArrayConstraint] -> ShowS

Generic DemotedArrayConstraint

Defined in Data.Schematic.Schema

Associated Types

type Rep DemotedArrayConstraint :: * -> *

Methods

from :: DemotedArrayConstraint -> Rep DemotedArrayConstraint x

to :: Rep DemotedArrayConstraint x -> DemotedArrayConstraint

type Rep DemotedArrayConstraint

Defined in Data.Schematic.Schema

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

data Schema

Constructors

SchemaText [TextConstraint]

SchemaBoolean

SchemaNumber [NumberConstraint]

SchemaObject [(Symbol, Schema)]

SchemaArray [ArrayConstraint] Schema

SchemaNull

SchemaOptional Schema

SchemaUnion [Schema]

Instances

Generic Schema

Defined in Data.Schematic.Schema

Associated Types

type Rep Schema :: * -> *

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

SingKind Schema

Defined in Data.Schematic.Schema

Associated Types

type Demote Schema = (r :: *)

Methods

fromSing :: Sing a -> Demote Schema

toSing :: Demote Schema -> SomeSing Schema

SingI SchemaBoolean

Defined in Data.Schematic.Schema

Methods

sing :: Sing SchemaBoolean

SingI SchemaNull

Defined in Data.Schematic.Schema

Methods

sing :: Sing SchemaNull

SingI sl => SingI (SchemaText sl :: Schema)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (SchemaText sl)

SingI sl => SingI (SchemaNumber sl :: Schema)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (SchemaNumber sl)

SingI stl => SingI (SchemaObject stl :: Schema)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (SchemaObject stl)

SingI s => SingI (SchemaOptional s :: Schema)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (SchemaOptional s)

SingI s => SingI (SchemaUnion s :: Schema)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (SchemaUnion s)

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

Defined in Data.Schematic.Schema

Methods

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

(SingI ac, SingI s) => SingI (SchemaArray ac s :: Schema)

Defined in Data.Schematic.Schema

Methods

sing :: Sing (SchemaArray ac s)

FElem fn ((,) fn r ': rs) Z

Defined in Data.Schematic.Lens

Associated Types

type ByField fn ((fn, r) ': rs) Z :: Schema

Methods

flens :: Functor g => (f (fn, ByField fn ((fn, r) ': rs) Z) -> g (f (fn, ByField fn ((fn, r) ': rs) Z))) -> Rec f ((fn, r) ': rs) -> g (Rec f ((fn, r) ': rs))

fget :: FGetter fn f ((fn, r) ': rs) Z

fput :: f (fn, ByField fn ((fn, r) ': rs) Z) -> Rec f ((fn, r) ': rs) -> Rec f ((fn, r) ': rs)

(FIndex r (s ': rs) ~ S i, FElem r rs i) => FElem r (s ': rs) (S i)

Defined in Data.Schematic.Lens

Associated Types

type ByField r (s ': rs) (S i) :: Schema

Methods

flens :: Functor g => (f (r, ByField r (s ': rs) (S i)) -> g (f (r, ByField r (s ': rs) (S i)))) -> Rec f (s ': rs) -> g (Rec f (s ': rs))

fget :: FGetter r f (s ': rs) (S i)

fput :: f (r, ByField r (s ': rs) (S i)) -> Rec f (s ': rs) -> Rec f (s ': rs)

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

Defined in Data.Schematic.Schema

Methods

(==) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool

(/=) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool

Show (JsonRepr schema) => Show (FieldRepr ((,) name schema))

Defined in Data.Schematic.Schema

Methods

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

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

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

SingI (h ': tl) => Representable (SchemaUnion (h ': tl))

Defined in Data.Schematic.DSL

Methods

constructField :: Sing fn -> Proxy (SchemaUnion (h ': tl)) -> Repr (SchemaUnion (h ': tl)) -> FieldRepr (fn, SchemaUnion (h ': tl))

FSubset ([] :: [(Symbol, Schema)]) ss ([] :: [Nat])

Defined in Data.Schematic.Lens

Methods

fsubset :: Functor g => (Rec f [] -> g (Rec f [])) -> Rec f ss -> g (Rec f ss)

fcast :: Rec f ss -> Rec f []

freplace :: Rec f [] -> Rec f ss -> Rec f ss

Eq (Sing (SchemaText cs))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing SchemaBoolean)

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (SchemaNumber cs))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (SchemaObject cs))

Defined in Data.Schematic.Schema

Methods

(==) :: Sing (SchemaObject cs) -> Sing (SchemaObject cs) -> Bool

(/=) :: Sing (SchemaObject cs) -> Sing (SchemaObject cs) -> Bool

Eq (Sing (SchemaArray as s))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing SchemaNull)

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (SchemaOptional s))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Sing (SchemaUnion s))

Defined in Data.Schematic.Schema

Methods

(==) :: Sing (SchemaUnion s) -> Sing (SchemaUnion s) -> Bool

(/=) :: Sing (SchemaUnion s) -> Sing (SchemaUnion s) -> Bool

ToJSON (Union JsonRepr as)

Defined in Data.Schematic.Schema

Methods

toJSON :: Union JsonRepr as -> Value

toEncoding :: Union JsonRepr as -> Encoding

toJSONList :: [Union JsonRepr as] -> Value

toEncodingList :: [Union JsonRepr as] -> Encoding

(SingI a, FromJSON (Union JsonRepr as)) => FromJSON (Union JsonRepr (a ': as))

Defined in Data.Schematic.Schema

Methods

parseJSON :: Value -> Parser (Union JsonRepr (a ': as))

parseJSONList :: Value -> Parser [Union JsonRepr (a ': as)]

FromJSON (Union JsonRepr ([] :: [Schema]))

Defined in Data.Schematic.Schema

Methods

parseJSON :: Value -> Parser (Union JsonRepr [])

parseJSONList :: Value -> Parser [Union JsonRepr []]

(ByField fn ss i ~ s, FElem fn ss i, FSubset rs ss is) => FSubset ((,) fn s ': rs) ss (i ': is)

Defined in Data.Schematic.Lens

Methods

fsubset :: Functor g => (Rec f ((fn, s) ': rs) -> g (Rec f ((fn, s) ': rs))) -> Rec f ss -> g (Rec f ss)

fcast :: Rec f ss -> Rec f ((fn, s) ': rs)

freplace :: Rec f ((fn, s) ': rs) -> Rec f ss -> Rec f ss

type Rep Schema

Defined in Data.Schematic.Schema

type Rep Schema = D1 (MetaData "Schema" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) (((C1 (MetaCons "SchemaText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TextConstraint])) :+: C1 (MetaCons "SchemaBoolean" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "SchemaNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [NumberConstraint])) :+: C1 (MetaCons "SchemaObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Symbol, Schema)])))) :+: ((C1 (MetaCons "SchemaArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ArrayConstraint]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Schema)) :+: C1 (MetaCons "SchemaNull" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "SchemaOptional" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Schema)) :+: C1 (MetaCons "SchemaUnion" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Schema])))))

data Sing (schema :: Schema)

Defined in Data.Schematic.Schema

data Sing (schema :: Schema) where

• SSchemaText :: Sing (SchemaText tcs)
• SSchemaNumber :: Sing (SchemaNumber ncs)
• SSchemaBoolean :: Sing SchemaBoolean
• SSchemaArray :: Sing (SchemaArray acs schema)
• SSchemaObject :: Sing (SchemaObject fields)
• SSchemaOptional :: Sing (SchemaOptional s)
• SSchemaNull :: Sing SchemaNull
• SSchemaUnion :: Sing (SchemaUnion ss)

type Demote Schema

Defined in Data.Schematic.Schema

type Demote Schema = DemotedSchema

type ByField fn ((,) fn r ': rs) Z

Defined in Data.Schematic.Lens

type ByField fn ((,) fn r ': rs) Z = r

type ByField r (s ': rs) (S i)

Defined in Data.Schematic.Lens

type ByField r (s ': rs) (S i) = ByField r rs i

data DemotedSchema

Constructors

DSchemaText [DemotedTextConstraint]

DSchemaNumber [DemotedNumberConstraint]

DSchemaBoolean

DSchemaObject [(Text, DemotedSchema)]

DSchemaArray [DemotedArrayConstraint] DemotedSchema

DSchemaNull

DSchemaOptional DemotedSchema

DSchemaUnion [DemotedSchema]

Instances

Eq DemotedSchema

Defined in Data.Schematic.Schema

Methods

(==) :: DemotedSchema -> DemotedSchema -> Bool

(/=) :: DemotedSchema -> DemotedSchema -> Bool

Show DemotedSchema

Defined in Data.Schematic.Schema

Methods

showsPrec :: Int -> DemotedSchema -> ShowS

show :: DemotedSchema -> String

showList :: [DemotedSchema] -> ShowS

Generic DemotedSchema

Defined in Data.Schematic.Schema

Associated Types

type Rep DemotedSchema :: * -> *

Methods

from :: DemotedSchema -> Rep DemotedSchema x

to :: Rep DemotedSchema x -> DemotedSchema

type Rep DemotedSchema

Defined in Data.Schematic.Schema

type Rep DemotedSchema = D1 (MetaData "DemotedSchema" "Data.Schematic.Schema" "schematic-0.5.0.0-J36RtftksLpFmJPcZ9Dyb" False) (((C1 (MetaCons "DSchemaText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedTextConstraint])) :+: C1 (MetaCons "DSchemaNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedNumberConstraint]))) :+: (C1 (MetaCons "DSchemaBoolean" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "DSchemaObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Text, DemotedSchema)])))) :+: ((C1 (MetaCons "DSchemaArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedArrayConstraint]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DemotedSchema)) :+: C1 (MetaCons "DSchemaNull" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "DSchemaOptional" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DemotedSchema)) :+: C1 (MetaCons "DSchemaUnion" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DemotedSchema])))))

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

Constructors

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

Instances

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

Defined in Data.Schematic.Schema

Methods

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

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

Defined in Data.Schematic.Schema

Methods

(==) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool

(/=) :: FieldRepr (name, schema) -> FieldRepr (name, schema) -> Bool

Show (JsonRepr schema) => Show (FieldRepr ((,) name schema))

Defined in Data.Schematic.Schema

Methods

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

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

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

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

Forgetful Functor Ufr

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

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

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

Equations

USubsets '[] = ()

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

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)

ReprUnion :: Union JsonRepr (h ': tl) -> JsonRepr (SchemaUnion (h ': tl))

Instances

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

Defined in Data.Schematic.Schema

Methods

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

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

Defined in Data.Schematic.Schema

Methods

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

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

Defined in Data.Schematic.Schema

Methods

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

Monad m => Serial m (JsonRepr SchemaNull)

Defined in Data.Schematic.Schema

Methods

series :: Series m (JsonRepr SchemaNull)

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

Defined in Data.Schematic.Schema

Methods

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

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

Defined in Data.Schematic.Schema

Methods

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

IsList (JsonRepr (SchemaArray cs s))

Defined in Data.Schematic.Schema

Associated Types

type Item (JsonRepr (SchemaArray cs s)) :: *

Methods

fromList :: [Item (JsonRepr (SchemaArray cs s))] -> JsonRepr (SchemaArray cs s)

fromListN :: Int -> [Item (JsonRepr (SchemaArray cs s))] -> JsonRepr (SchemaArray cs s)

toList :: JsonRepr (SchemaArray cs s) -> [Item (JsonRepr (SchemaArray cs s))]

Eq (JsonRepr (SchemaText cs))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (JsonRepr (SchemaNumber cs))

Defined in Data.Schematic.Schema

Methods

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

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

Eq (Rec FieldRepr fs) => Eq (JsonRepr (SchemaObject fs))

Defined in Data.Schematic.Schema

Methods

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

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

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

Defined in Data.Schematic.Schema

Methods

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

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

Eq (JsonRepr SchemaNull)

Defined in Data.Schematic.Schema

Methods

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

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

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

Defined in Data.Schematic.Schema

Methods

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

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

Num (JsonRepr (SchemaNumber cs))

Defined in Data.Schematic.Schema

Methods

(+) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

(-) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

(*) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

negate :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

abs :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

signum :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

fromInteger :: Integer -> JsonRepr (SchemaNumber cs)

Ord (JsonRepr (SchemaText cs))

Defined in Data.Schematic.Schema

Methods

compare :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> Ordering

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

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

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

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

max :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs)

min :: JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs) -> JsonRepr (SchemaText cs)

Ord (JsonRepr (SchemaNumber cs))

Defined in Data.Schematic.Schema

Methods

compare :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Ordering

(<) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool

(<=) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool

(>) :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> Bool

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

max :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

min :: JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs) -> JsonRepr (SchemaNumber cs)

Ord (Rec FieldRepr fs) => Ord (JsonRepr (SchemaObject fs))

Defined in Data.Schematic.Schema

Methods

compare :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> Ordering

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

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

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

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

max :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs)

min :: JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs) -> JsonRepr (SchemaObject fs)

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

Defined in Data.Schematic.Schema

Methods

compare :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> Ordering

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

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

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

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

max :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s)

min :: JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s) -> JsonRepr (SchemaArray as s)

Ord (JsonRepr SchemaNull)

Defined in Data.Schematic.Schema

Methods

compare :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> Ordering

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

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

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

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

max :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> JsonRepr SchemaNull

min :: JsonRepr SchemaNull -> JsonRepr SchemaNull -> JsonRepr SchemaNull

Ord (JsonRepr s) => Ord (JsonRepr (SchemaOptional s))

Defined in Data.Schematic.Schema

Methods

compare :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> Ordering

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

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

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

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

max :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s)

min :: JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s) -> JsonRepr (SchemaOptional s)

Show (JsonRepr (SchemaText cs))

Move to the union package

Defined in Data.Schematic.Schema

Methods

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

show :: JsonRepr (SchemaText cs) -> String

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

Show (JsonRepr (SchemaNumber cs))

Defined in Data.Schematic.Schema

Methods

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

show :: JsonRepr (SchemaNumber cs) -> String

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

RecAll FieldRepr fs Show => Show (JsonRepr (SchemaObject fs))

Defined in Data.Schematic.Schema

Methods

showsPrec :: Int -> JsonRepr (SchemaObject fs) -> ShowS

show :: JsonRepr (SchemaObject fs) -> String

showList :: [JsonRepr (SchemaObject fs)] -> ShowS

Show (JsonRepr s) => Show (JsonRepr (SchemaArray acs s))

Defined in Data.Schematic.Schema

Methods

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

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

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

Show (JsonRepr SchemaNull)

Defined in Data.Schematic.Schema

Methods

showsPrec :: Int -> JsonRepr SchemaNull -> ShowS

show :: JsonRepr SchemaNull -> String

showList :: [JsonRepr SchemaNull] -> ShowS

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

Defined in Data.Schematic.Schema

Methods

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

show :: JsonRepr (SchemaOptional s) -> String

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

IsString (JsonRepr (SchemaText cs))

Defined in Data.Schematic.Schema

Methods

fromString :: String -> JsonRepr (SchemaText cs)

ToJSON (JsonRepr a)

Defined in Data.Schematic.Schema

Methods

toJSON :: JsonRepr a -> Value

toEncoding :: JsonRepr a -> Encoding

toJSONList :: [JsonRepr a] -> Value

toEncodingList :: [JsonRepr a] -> Encoding

SingI schema => FromJSON (JsonRepr schema)

Defined in Data.Schematic.Schema

Methods

parseJSON :: Value -> Parser (JsonRepr schema)

parseJSONList :: Value -> Parser [JsonRepr schema]

(TopLevel a, SingI a, FromJSON (JsonRepr a)) => FromJSON (ParseResult (JsonRepr a))

Defined in Data.Schematic.Validation

Methods

parseJSON :: Value -> Parser (ParseResult (JsonRepr a))

parseJSONList :: Value -> Parser [ParseResult (JsonRepr a)]

ToJSON (Union JsonRepr as)

Defined in Data.Schematic.Schema

Methods

toJSON :: Union JsonRepr as -> Value

toEncoding :: Union JsonRepr as -> Encoding

toJSONList :: [Union JsonRepr as] -> Value

toEncodingList :: [Union JsonRepr as] -> Encoding

(SingI a, FromJSON (Union JsonRepr as)) => FromJSON (Union JsonRepr (a ': as))

Defined in Data.Schematic.Schema

Methods

parseJSON :: Value -> Parser (Union JsonRepr (a ': as))

parseJSONList :: Value -> Parser [Union JsonRepr (a ': as)]

FromJSON (Union JsonRepr ([] :: [Schema]))

Defined in Data.Schematic.Schema

Methods

parseJSON :: Value -> Parser (Union JsonRepr [])

parseJSONList :: Value -> Parser [Union JsonRepr []]

type Item (JsonRepr (SchemaArray cs s))

Defined in Data.Schematic.Schema

type Item (JsonRepr (SchemaArray cs s)) = JsonRepr s

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

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

class FalseConstraint a

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

Equations

TopLevel (SchemaArray acs s) = ()

TopLevel (SchemaObject o) = ()

TopLevel spec = True ~ False