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

HasCodec Schema

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Schema

Monoid Schema

Defined in Argo.Internal.Schema.Schema

Methods

mempty :: Schema

mappend :: Schema -> Schema -> Schema

mconcat :: [Schema] -> Schema

Semigroup Schema

Defined in Argo.Internal.Schema.Schema

Methods

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

sconcat :: NonEmpty Schema -> Schema

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

Show Schema

Defined in Argo.Internal.Schema.Schema

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

NFData Schema

Defined in Argo.Internal.Schema.Schema

Methods

rnf :: Schema -> ()

Eq Schema

Defined in Argo.Internal.Schema.Schema

Methods

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

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

Lift Schema

Defined in Argo.Internal.Schema.Schema

Methods

lift :: Quote m => Schema -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Schema -> Code m Schema

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)