Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Schematic.Schema
- type family CRepr (s :: Schema) :: Type where ...
- data TextConstraint
- data DemotedTextConstraint
- data NumberConstraint
- data DemotedNumberConstraint
- data ArrayConstraint = AEq Nat
- data DemotedArrayConstraint = DAEq Integer
- data Schema
- data DemotedSchema
- data FieldRepr :: (Symbol, Schema) -> Type where
- FieldRepr :: (SingI schema, KnownSymbol name) => JsonRepr schema -> FieldRepr '(name, schema)
- toJsonRepr :: FieldRepr '(fn, sch) -> JsonRepr sch
- 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 ...
- data JsonRepr :: Schema -> Type where
- 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))
- 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 ...
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 #
Instances
Generic TextConstraint # | |
SingKind TextConstraint # | |
KnownNat n => SingI TextConstraint (TEq n) # | |
KnownNat n => SingI TextConstraint (TLt n) # | |
KnownNat n => SingI TextConstraint (TLe n) # | |
KnownNat n => SingI TextConstraint (TGt n) # | |
KnownNat n => SingI TextConstraint (TGe n) # | |
(KnownSymbol s, SingI Symbol s) => SingI TextConstraint (TRegex s) # | |
SingI [Symbol] ss => SingI TextConstraint (TEnum ss) # | |
Eq (Sing TextConstraint (TEq n)) # | |
Eq (Sing TextConstraint (TLt n)) # | |
Eq (Sing TextConstraint (TLe n)) # | |
Eq (Sing TextConstraint (TGt n)) # | |
Eq (Sing TextConstraint (TGe n)) # | |
Eq (Sing TextConstraint (TRegex t)) # | |
Eq (Sing TextConstraint (TEnum ss)) # | |
type Rep TextConstraint # | |
data Sing TextConstraint # | |
type Demote TextConstraint # | |
data DemotedTextConstraint #
Constructors
DTEq Integer | |
DTLt Integer | |
DTLe Integer | |
DTGt Integer | |
DTGe Integer | |
DTRegex Text | |
DTEnum [Text] |
Instances
data NumberConstraint #
Instances
Generic NumberConstraint # | |
SingKind NumberConstraint # | |
KnownNat n => SingI NumberConstraint (NLe n) # | |
KnownNat n => SingI NumberConstraint (NLt n) # | |
KnownNat n => SingI NumberConstraint (NGt n) # | |
KnownNat n => SingI NumberConstraint (NGe n) # | |
KnownNat n => SingI NumberConstraint (NEq n) # | |
Eq (Sing NumberConstraint (NLe n)) # | |
Eq (Sing NumberConstraint (NLt n)) # | |
Eq (Sing NumberConstraint (NGt n)) # | |
Eq (Sing NumberConstraint (NGe n)) # | |
Eq (Sing NumberConstraint (NEq n)) # | |
type Rep NumberConstraint # | |
data Sing NumberConstraint # | |
type Demote NumberConstraint # | |
data DemotedNumberConstraint #
Instances
data ArrayConstraint #
Instances
Generic ArrayConstraint # | |
SingKind ArrayConstraint # | |
KnownNat n => SingI ArrayConstraint (AEq n) # | |
Eq (Sing ArrayConstraint (AEq n)) # | |
type Rep ArrayConstraint # | |
data Sing ArrayConstraint # | |
type Demote ArrayConstraint # | |
data DemotedArrayConstraint #
Instances
Constructors
SchemaText [TextConstraint] | |
SchemaBoolean | |
SchemaNumber [NumberConstraint] | |
SchemaObject [(Symbol, Schema)] | |
SchemaArray [ArrayConstraint] Schema | |
SchemaNull | |
SchemaOptional Schema | |
SchemaUnion [Schema] |
Instances
data DemotedSchema #
Constructors
Instances
Generic DemotedSchema # | |
type Rep DemotedSchema # | |
data FieldRepr :: (Symbol, Schema) -> Type where #
Constructors
FieldRepr :: (SingI schema, KnownSymbol name) => JsonRepr schema -> FieldRepr '(name, schema) |
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 ... #
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
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 |