Argo.Internal.Schema.Schema

Documentation

data Schema

A JSON Schema. https://datatracker.ietf.org/doc/html/draft-handrews-json-schema-01

Constructors

Array (Maybe Natural) (Maybe Natural) (Either Schema (NonEmpty Schema)) (Maybe Schema)

Boolean

Const Value

False

Integer (Maybe Integer) (Maybe Integer)

Null

Number

Object [(Name, Schema)] [Name] (Maybe Schema)

OneOf [Schema]

Ref Identifier

String (Maybe Natural) (Maybe Natural)

True

Instances

Eq Schema

Defined in Argo.Internal.Schema.Schema

Methods

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

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

Show Schema

Defined in Argo.Internal.Schema.Schema

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

Generic Schema

Defined in Argo.Internal.Schema.Schema

Associated Types

type Rep Schema :: Type -> Type

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

Semigroup Schema

Defined in Argo.Internal.Schema.Schema

Methods

(<>) :: Schema -> Schema -> Schema

sconcat :: NonEmpty Schema -> Schema

stimes :: Integral b => b -> Schema -> Schema

Monoid Schema

Defined in Argo.Internal.Schema.Schema

Methods

mempty :: Schema

mappend :: Schema -> Schema -> Schema

mconcat :: [Schema] -> Schema

NFData Schema

Defined in Argo.Internal.Schema.Schema

Methods

rnf :: Schema -> ()

HasCodec Schema

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Schema

Lift Schema

Defined in Argo.Internal.Schema.Schema

Methods

lift :: Schema -> Q Exp

liftTyped :: Schema -> Q (TExp Schema)

type Rep Schema

Defined in Argo.Internal.Schema.Schema

type Rep Schema = D1 ('MetaData "Schema" "Argo.Internal.Schema.Schema" "argo-0.2022.2.27-EIRSB3gebOh7YnqVPHHxsB" 'False) (((C1 ('MetaCons "Array" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Schema (NonEmpty Schema))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Schema)))) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))) :+: (C1 ('MetaCons "False" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Integer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Number" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Name, Schema)]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Schema)))) :+: C1 ('MetaCons "OneOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Schema])))) :+: (C1 ('MetaCons "Ref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier)) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))) :+: C1 ('MetaCons "True" 'PrefixI 'False) (U1 :: Type -> Type)))))

member :: String -> a -> Member a

maybeRef :: (Maybe Identifier, Schema) -> Schema

false :: Schema

true :: Schema

unidentified :: Schema -> (Maybe Identifier, Schema)

withIdentifier :: Identifier -> Schema -> (Maybe Identifier, Schema)