Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.Metadata.DTO.Placeholder

Description

We are in the process of building DTO types incrementally. We use placeholder types in positions in data structures that are not fully-defined yet. For example PlaceholderObject represents some unspecified JSON object, and PlaceholderArray represents an array whose contents are not yet specified.

We are transitioning from converting Metadata directly to JSON to converting it to MetadataDTO instead. Serialization and deserialization for placeholder values is delegated to the old JSON serialization code.

Synopsis

newtype PlaceholderArray = PlaceholderArray Array
newtype PlaceholderObject = PlaceholderObject Object
class IsPlaceholder p a | a -> p where
- placeholder :: a -> p
placeholderCodecViaJSON :: (FromJSON a, ToJSON a) => JSONCodec a

Documentation

newtype PlaceholderArray Source #

Stands in for an array that we have not had time to fully specify yet. Generated OpenAPI documentation for PlaceholderArray will permit an array of values of any type, and a note will be appended to the documentation string for the value explaining that this is a temporary placeholder.

Constructors

PlaceholderArray Array

Instances

Instances details

FromJSON PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods parseJSON :: Value -> Parser PlaceholderArray Source # parseJSONList :: Value -> Parser [PlaceholderArray] Source #
ToJSON PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods toJSON :: PlaceholderArray -> Value Source # toEncoding :: PlaceholderArray -> Encoding Source # toJSONList :: [PlaceholderArray] -> Value Source # toEncodingList :: [PlaceholderArray] -> Encoding Source #
HasCodec PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods codec :: JSONCodec PlaceholderArray Source # listCodecForStringCompatibility :: JSONCodec [PlaceholderArray] Source #
Generic PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Associated Types type Rep PlaceholderArray :: Type -> Type # Methods from :: PlaceholderArray -> Rep PlaceholderArray x # to :: Rep PlaceholderArray x -> PlaceholderArray #
Show PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods showsPrec :: Int -> PlaceholderArray -> ShowS # show :: PlaceholderArray -> String # showList :: [PlaceholderArray] -> ShowS #
Eq PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods (==) :: PlaceholderArray -> PlaceholderArray -> Bool # (/=) :: PlaceholderArray -> PlaceholderArray -> Bool #
ToSchema PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods declareNamedSchema :: Proxy PlaceholderArray -> Declare (Definitions Schema) NamedSchema Source #
IsPlaceholder PlaceholderArray Array Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Array -> PlaceholderArray Source #
IsPlaceholder PlaceholderArray Array Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Array -> PlaceholderArray Source #
type Rep PlaceholderArray Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder type Rep PlaceholderArray = D1 ('MetaData "PlaceholderArray" "Hasura.Metadata.DTO.Placeholder" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "PlaceholderArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Array)))

newtype PlaceholderObject Source #

Stands in for an object that we have not had time to fully specify yet. Generated OpenAPI documentation for PlaceholderObject will permit an object with any keys with any types of values. A note will be appended to the documentation string for the value explaining that this is a temporary placeholder.

Constructors

PlaceholderObject Object

Instances

Instances details

FromJSON PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods parseJSON :: Value -> Parser PlaceholderObject Source # parseJSONList :: Value -> Parser [PlaceholderObject] Source #
ToJSON PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods toJSON :: PlaceholderObject -> Value Source # toEncoding :: PlaceholderObject -> Encoding Source # toJSONList :: [PlaceholderObject] -> Value Source # toEncodingList :: [PlaceholderObject] -> Encoding Source #
HasCodec PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods codec :: JSONCodec PlaceholderObject Source # listCodecForStringCompatibility :: JSONCodec [PlaceholderObject] Source #
Generic PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Associated Types type Rep PlaceholderObject :: Type -> Type # Methods from :: PlaceholderObject -> Rep PlaceholderObject x # to :: Rep PlaceholderObject x -> PlaceholderObject #
Show PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods showsPrec :: Int -> PlaceholderObject -> ShowS # show :: PlaceholderObject -> String # showList :: [PlaceholderObject] -> ShowS #
Eq PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods (==) :: PlaceholderObject -> PlaceholderObject -> Bool # (/=) :: PlaceholderObject -> PlaceholderObject -> Bool #
ToSchema PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods declareNamedSchema :: Proxy PlaceholderObject -> Declare (Definitions Schema) NamedSchema Source #
IsPlaceholder PlaceholderObject Object Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Object -> PlaceholderObject Source #
IsPlaceholder PlaceholderObject Object Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Object -> PlaceholderObject Source #
type Rep PlaceholderObject Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder type Rep PlaceholderObject = D1 ('MetaData "PlaceholderObject" "Hasura.Metadata.DTO.Placeholder" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "PlaceholderObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)))

class IsPlaceholder p a | a -> p where Source #

Methods

placeholder :: a -> p Source #

Use this function to mark an Aeson type (Array or Object) as a temporary placeholder in a larger data structure.

Instances

Instances details

IsPlaceholder PlaceholderArray Array Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Array -> PlaceholderArray Source #
IsPlaceholder PlaceholderArray Array Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Array -> PlaceholderArray Source #
IsPlaceholder PlaceholderObject Object Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Object -> PlaceholderObject Source #
IsPlaceholder PlaceholderObject Object Source #
Instance details Defined in Hasura.Metadata.DTO.Placeholder Methods placeholder :: Object -> PlaceholderObject Source #

placeholderCodecViaJSON :: (FromJSON a, ToJSON a) => JSONCodec a Source #

This placeholder can be used in a codec to represent any type of data that has FromJSON and ToJSON instances. Generated OpenAPI specifications based on this codec will not show any information about the internal structure of the type so ideally uses of this placeholder should eventually be replaced with more descriptive codecs.