Safe Haskell	None
Language	Haskell2010

Data.OpenApi.Compare.Validate.Schema.TypedJson

Synopsis

data JsonType
- = Null
- | Boolean
- | Number
- | String
- | Array
- | Object
describeJSONType :: IsString s => JsonType -> s
data TypedValue :: JsonType -> Type where
- TNull :: TypedValue 'Null
- TBool :: !Bool -> TypedValue 'Boolean
- TNumber :: !Scientific -> TypedValue 'Number
- TString :: !Text -> TypedValue 'String
- TArray :: !Array -> TypedValue 'Array
- TObject :: !Object -> TypedValue 'Object
untypeValue :: TypedValue t -> Value
data ForeachType (f :: JsonType -> Type) = ForeachType {
- forNull :: f 'Null
- forBoolean :: f 'Boolean
- forNumber :: f 'Number
- forString :: f 'String
- forArray :: f 'Array
- forObject :: f 'Object
}
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 ()

Documentation

data JsonType Source #

Type of a JSON value

Constructors

Null
Boolean
Number
String
Array
Object

Instances

Instances details

Eq JsonType Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson Methods (==) :: JsonType -> JsonType -> Bool # (/=) :: JsonType -> JsonType -> Bool #
Ord JsonType Source #
Instance details 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 Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson Methods showsPrec :: Int -> JsonType -> ShowS # show :: JsonType -> String # showList :: [JsonType] -> ShowS #

describeJSONType :: IsString s => JsonType -> s Source #

data TypedValue :: JsonType -> Type where Source #

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

Instances details

Eq (TypedValue t) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson Methods (==) :: TypedValue t -> TypedValue t -> Bool # (/=) :: TypedValue t -> TypedValue t -> Bool #
Ord (TypedValue t) Source #
Instance details 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) Source #
Instance details 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 Source #

data ForeachType (f :: JsonType -> Type) Source #

Constructors

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

Instances

Instances details

(forall (x :: JsonType). Typeable x => Eq (f x)) => Eq (ForeachType f) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.TypedJson Methods bottom :: ForeachType f #
(forall (x :: JsonType). BoundedMeetSemiLattice (f x)) => BoundedMeetSemiLattice (ForeachType f) Source #
Instance details 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 Source #

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