Argo.Schema.Schema

Documentation

newtype Schema

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

Constructors

Schema Value

Instances

Eq Schema

Defined in Argo.Schema.Schema

Methods

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

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

Show Schema

Defined in Argo.Schema.Schema

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

Generic Schema

Defined in Argo.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.Schema.Schema

Methods

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

sconcat :: NonEmpty Schema -> Schema

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

Monoid Schema

Defined in Argo.Schema.Schema

Methods

mempty :: Schema

mappend :: Schema -> Schema -> Schema

mconcat :: [Schema] -> Schema

NFData Schema

Defined in Argo.Schema.Schema

Methods

rnf :: Schema -> ()

HasCodec Schema

Defined in Argo.Class.HasCodec

Methods

codec :: Value Schema

Lift Schema

Defined in Argo.Schema.Schema

Methods

lift :: Schema -> Q Exp

liftTyped :: Schema -> Q (TExp Schema)

type Rep Schema

Defined in Argo.Schema.Schema

type Rep Schema = D1 ('MetaData "Schema" "Argo.Schema.Schema" "argo-0.2022.2.2-6ZyX4gr8GV420Z9TtV1LUA" 'True) (C1 ('MetaCons "Schema" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

fromValue :: Value -> Schema

toValue :: Schema -> Value

false :: Schema

true :: Schema

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

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