Argo.Schema.Schema
newtype Schema Source #
A JSON Schema. https://datatracker.ietf.org/doc/html/draft-handrews-json-schema-01
Constructors
Defined in Argo.Schema.Schema
Methods
(==) :: Schema -> Schema -> Bool #
(/=) :: Schema -> Schema -> Bool #
showsPrec :: Int -> Schema -> ShowS #
show :: Schema -> String #
showList :: [Schema] -> ShowS #
Associated Types
type Rep Schema :: Type -> Type #
from :: Schema -> Rep Schema x #
to :: Rep Schema x -> Schema #
(<>) :: Schema -> Schema -> Schema #
sconcat :: NonEmpty Schema -> Schema #
stimes :: Integral b => b -> Schema -> Schema #
mempty :: Schema #
mappend :: Schema -> Schema -> Schema #
mconcat :: [Schema] -> Schema #
rnf :: Schema -> () #
Defined in Argo.Class.HasCodec
codec :: Value Schema Source #
lift :: Schema -> Q Exp #
liftTyped :: Schema -> Q (TExp Schema) #
fromValue :: Value -> Schema Source #
toValue :: Schema -> Value Source #
false :: Schema Source #
true :: Schema Source #