Safe Haskell	None
Language	GHC2021

KDL.Decoder.Schema

Contents

Fold over schema items

Synopsis

type SchemaOf o = Schema (SchemaItem o)
data Schema a
- = SchemaOne a
- | SchemaSome (Schema a)
- | SchemaAnd [Schema a]
- | SchemaOr [Schema a]
- | SchemaUnknown
data family SchemaItem a
data TypedNodeSchema = TypedNodeSchema {
- typeHint :: TypeRep
- validTypeAnns :: [Text]
- nodeSchema :: SchemaOf Node
}
data TypedValueSchema = TypedValueSchema {
- typeHint :: TypeRep
- validTypeAnns :: [Text]
- dataSchema :: SchemaOf Value
}
schemaJoin :: Schema a -> Schema a -> Schema a
schemaAlt :: Schema a -> Schema a -> Schema a
foldSchema :: (SchemaItem a -> b) -> SchemaOf a -> [b]
getValueSchemaNames :: SchemaOf Value -> [Text]

Documentation

type SchemaOf o = Schema (SchemaItem o) Source #

data Schema a Source #

Constructors

SchemaOne a
SchemaSome (Schema a)
SchemaAnd [Schema a]
SchemaOr [Schema a]
SchemaUnknown

Instances

Instances details

Show a => Show (Schema a) Source #
Instance details Defined in KDL.Decoder.Schema Methods showsPrec :: Int -> Schema a -> ShowS # show :: Schema a -> String # showList :: [Schema a] -> ShowS #
Eq a => Eq (Schema a) Source #
Instance details Defined in KDL.Decoder.Schema Methods (==) :: Schema a -> Schema a -> Bool # (/=) :: Schema a -> Schema a -> Bool #

data family SchemaItem a Source #

Instances

Instances details

Bounded (SchemaItem Value) Source #
Instance details Defined in KDL.Decoder.Schema Methods minBound :: SchemaItem Value # maxBound :: SchemaItem Value #
Enum (SchemaItem Value) Source #
Instance details Defined in KDL.Decoder.Schema Methods succ :: SchemaItem Value -> SchemaItem Value # pred :: SchemaItem Value -> SchemaItem Value # toEnum :: Int -> SchemaItem Value # fromEnum :: SchemaItem Value -> Int # enumFrom :: SchemaItem Value -> [SchemaItem Value] # enumFromThen :: SchemaItem Value -> SchemaItem Value -> [SchemaItem Value] # enumFromTo :: SchemaItem Value -> SchemaItem Value -> [SchemaItem Value] # enumFromThenTo :: SchemaItem Value -> SchemaItem Value -> SchemaItem Value -> [SchemaItem Value] #
Show (SchemaItem Node) Source #
Instance details Defined in KDL.Decoder.Schema Methods showsPrec :: Int -> SchemaItem Node -> ShowS # show :: SchemaItem Node -> String # showList :: [SchemaItem Node] -> ShowS #
Show (SchemaItem NodeList) Source #
Instance details Defined in KDL.Decoder.Schema Methods showsPrec :: Int -> SchemaItem NodeList -> ShowS # show :: SchemaItem NodeList -> String # showList :: [SchemaItem NodeList] -> ShowS #
Show (SchemaItem Value) Source #
Instance details Defined in KDL.Decoder.Schema Methods showsPrec :: Int -> SchemaItem Value -> ShowS # show :: SchemaItem Value -> String # showList :: [SchemaItem Value] -> ShowS #
Eq (SchemaItem Node) Source #
Instance details Defined in KDL.Decoder.Schema Methods (==) :: SchemaItem Node -> SchemaItem Node -> Bool # (/=) :: SchemaItem Node -> SchemaItem Node -> Bool #
Eq (SchemaItem NodeList) Source #
Instance details Defined in KDL.Decoder.Schema Methods (==) :: SchemaItem NodeList -> SchemaItem NodeList -> Bool # (/=) :: SchemaItem NodeList -> SchemaItem NodeList -> Bool #
Eq (SchemaItem Value) Source #
Instance details Defined in KDL.Decoder.Schema Methods (==) :: SchemaItem Value -> SchemaItem Value -> Bool # (/=) :: SchemaItem Value -> SchemaItem Value -> Bool #
Ord (SchemaItem Value) Source #
Instance details Defined in KDL.Decoder.Schema Methods compare :: SchemaItem Value -> SchemaItem Value -> Ordering # (<) :: SchemaItem Value -> SchemaItem Value -> Bool # (<=) :: SchemaItem Value -> SchemaItem Value -> Bool # (>) :: SchemaItem Value -> SchemaItem Value -> Bool # (>=) :: SchemaItem Value -> SchemaItem Value -> Bool # max :: SchemaItem Value -> SchemaItem Value -> SchemaItem Value # min :: SchemaItem Value -> SchemaItem Value -> SchemaItem Value #
data SchemaItem Node Source #
Instance details Defined in KDL.Decoder.Schema data SchemaItem Node = NodeArg TypedValueSchema \| NodeProp Text TypedValueSchema \| NodeRemainingProps TypedValueSchema \| NodeChildren (SchemaOf NodeList)
data SchemaItem NodeList Source #
Instance details Defined in KDL.Decoder.Schema data SchemaItem NodeList = NodeNamed Text TypedNodeSchema \| RemainingNodes TypedNodeSchema
data SchemaItem Value Source #
Instance details Defined in KDL.Decoder.Schema data SchemaItem Value = StringSchema \| NumberSchema \| BoolSchema \| NullSchema

data TypedNodeSchema Source #

Constructors

TypedNodeSchema
Fields typeHint :: TypeRep validTypeAnns :: [Text] nodeSchema :: SchemaOf Node

Instances

Instances details

Show TypedNodeSchema Source #
Instance details Defined in KDL.Decoder.Schema Methods showsPrec :: Int -> TypedNodeSchema -> ShowS # show :: TypedNodeSchema -> String # showList :: [TypedNodeSchema] -> ShowS #
Eq TypedNodeSchema Source #
Instance details Defined in KDL.Decoder.Schema Methods (==) :: TypedNodeSchema -> TypedNodeSchema -> Bool # (/=) :: TypedNodeSchema -> TypedNodeSchema -> Bool #

data TypedValueSchema Source #

Constructors

TypedValueSchema
Fields typeHint :: TypeRep validTypeAnns :: [Text] dataSchema :: SchemaOf Value

Instances

Instances details

Show TypedValueSchema Source #
Instance details Defined in KDL.Decoder.Schema Methods showsPrec :: Int -> TypedValueSchema -> ShowS # show :: TypedValueSchema -> String # showList :: [TypedValueSchema] -> ShowS #
Eq TypedValueSchema Source #
Instance details Defined in KDL.Decoder.Schema Methods (==) :: TypedValueSchema -> TypedValueSchema -> Bool # (/=) :: TypedValueSchema -> TypedValueSchema -> Bool #

schemaJoin :: Schema a -> Schema a -> Schema a Source #

schemaAlt :: Schema a -> Schema a -> Schema a Source #

Fold over schema items

foldSchema :: (SchemaItem a -> b) -> SchemaOf a -> [b] Source #

getValueSchemaNames :: SchemaOf Value -> [Text] Source #