Data.OpenApi.Compare.Validate.Schema.TypedJson

Documentation

data JsonType

Type of a JSON value

Constructors

Null

Boolean

Number

String

Array

Object

Instances

Eq JsonType

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

(==) :: JsonType -> JsonType -> Bool

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

Ord JsonType

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

compare :: JsonType -> JsonType -> Ordering

(<) :: JsonType -> JsonType -> Bool

(<=) :: JsonType -> JsonType -> Bool

(>) :: JsonType -> JsonType -> Bool

(>=) :: JsonType -> JsonType -> Bool

max :: JsonType -> JsonType -> JsonType

min :: JsonType -> JsonType -> JsonType

Show JsonType

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

showsPrec :: Int -> JsonType -> ShowS

show :: JsonType -> String

showList :: [JsonType] -> ShowS

describeJSONType :: IsString s => JsonType -> s

data TypedValue :: JsonType -> Type where

A Value whose type we know

Constructors

TNull :: TypedValue 'Null

TBool :: !Bool -> TypedValue 'Boolean

TNumber :: !Scientific -> TypedValue 'Number

TString :: !Text -> TypedValue 'String

TArray :: !Array -> TypedValue 'Array

TObject :: !Object -> TypedValue 'Object

Instances

Eq (TypedValue t)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

(==) :: TypedValue t -> TypedValue t -> Bool

(/=) :: TypedValue t -> TypedValue t -> Bool

Ord (TypedValue t)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

compare :: TypedValue t -> TypedValue t -> Ordering

(<) :: TypedValue t -> TypedValue t -> Bool

(<=) :: TypedValue t -> TypedValue t -> Bool

(>) :: TypedValue t -> TypedValue t -> Bool

(>=) :: TypedValue t -> TypedValue t -> Bool

max :: TypedValue t -> TypedValue t -> TypedValue t

min :: TypedValue t -> TypedValue t -> TypedValue t

Show (TypedValue t)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

showsPrec :: Int -> TypedValue t -> ShowS

show :: TypedValue t -> String

showList :: [TypedValue t] -> ShowS

untypeValue :: TypedValue t -> Value

data ForeachType (f :: JsonType -> Type)

Constructors

ForeachType

Fields

• forNull :: f 'Null
• forBoolean :: f 'Boolean
• forNumber :: f 'Number
• forString :: f 'String
• forArray :: f 'Array
• forObject :: f 'Object

Instances

(forall (x :: JsonType). Typeable x => Eq (f x)) => Eq (ForeachType f)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

(==) :: ForeachType f -> ForeachType f -> Bool

(/=) :: ForeachType f -> ForeachType f -> Bool

(forall (x :: JsonType). Typeable x => Ord (f x)) => Ord (ForeachType f)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

compare :: ForeachType f -> ForeachType f -> Ordering

(<) :: ForeachType f -> ForeachType f -> Bool

(<=) :: ForeachType f -> ForeachType f -> Bool

(>) :: ForeachType f -> ForeachType f -> Bool

(>=) :: ForeachType f -> ForeachType f -> Bool

max :: ForeachType f -> ForeachType f -> ForeachType f

min :: ForeachType f -> ForeachType f -> ForeachType f

(forall (x :: JsonType). Typeable x => Show (f x)) => Show (ForeachType f)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

showsPrec :: Int -> ForeachType f -> ShowS

show :: ForeachType f -> String

showList :: [ForeachType f] -> ShowS

(forall (x :: JsonType). Lattice (f x)) => Lattice (ForeachType f)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

(\/) :: ForeachType f -> ForeachType f -> ForeachType f

(/\) :: ForeachType f -> ForeachType f -> ForeachType f

(forall (x :: JsonType). BoundedJoinSemiLattice (f x)) => BoundedJoinSemiLattice (ForeachType f)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

bottom :: ForeachType f

(forall (x :: JsonType). BoundedMeetSemiLattice (f x)) => BoundedMeetSemiLattice (ForeachType f)

Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson

Methods

top :: ForeachType f

foldType :: Monoid m => (forall x. Typeable x => JsonType -> (ForeachType f -> f x) -> m) -> m

forType_ :: Applicative m => (forall x. Typeable x => JsonType -> (ForeachType f -> f x) -> m ()) -> m ()