graphql-engine-1.0.0: GraphQL API over Postgres
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hasura.LogicalModel.Types

Description

A name for a logical model as it is recognized by the graphql schema.

Synopsis

Documentation

newtype LogicalModelName Source #

Constructors

LogicalModelName 

Fields

Instances

Instances details
FromJSON LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

parseJSON :: Value -> Parser LogicalModelName Source #

parseJSONList :: Value -> Parser [LogicalModelName] Source #

FromJSONKey LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

fromJSONKey :: FromJSONKeyFunction LogicalModelName Source #

fromJSONKeyList :: FromJSONKeyFunction [LogicalModelName] Source #

ToJSON LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSON :: LogicalModelName -> Value Source #

toEncoding :: LogicalModelName -> Encoding Source #

toJSONList :: [LogicalModelName] -> Value Source #

toEncodingList :: [LogicalModelName] -> Encoding Source #

ToJSONKey LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSONKey :: ToJSONKeyFunction LogicalModelName Source #

toJSONKeyList :: ToJSONKeyFunction [LogicalModelName] Source #

HasCodec LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

codec :: JSONCodec LogicalModelName Source #

listCodecForStringCompatibility :: JSONCodec [LogicalModelName] Source #

Data LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicalModelName -> c LogicalModelName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicalModelName #

toConstr :: LogicalModelName -> Constr #

dataTypeOf :: LogicalModelName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogicalModelName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogicalModelName) #

gmapT :: (forall b. Data b => b -> b) -> LogicalModelName -> LogicalModelName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogicalModelName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogicalModelName -> r #

gmapQ :: (forall d. Data d => d -> u) -> LogicalModelName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LogicalModelName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LogicalModelName -> m LogicalModelName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LogicalModelName -> m LogicalModelName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LogicalModelName -> m LogicalModelName #

Generic LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Associated Types

type Rep LogicalModelName :: Type -> Type #

Methods

from :: LogicalModelName -> Rep LogicalModelName x #

to :: Rep LogicalModelName x -> LogicalModelName #

Show LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

showsPrec :: Int -> LogicalModelName -> ShowS #

show :: LogicalModelName -> String #

showList :: [LogicalModelName] -> ShowS #

NFData LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

rnf :: LogicalModelName -> () #

Eq LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

(==) :: LogicalModelName -> LogicalModelName -> Bool #

(/=) :: LogicalModelName -> LogicalModelName -> Bool #

Ord LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

compare :: LogicalModelName -> LogicalModelName -> Ordering #

(<) :: LogicalModelName -> LogicalModelName -> Bool #

(<=) :: LogicalModelName -> LogicalModelName -> Bool #

(>) :: LogicalModelName -> LogicalModelName -> Bool #

(>=) :: LogicalModelName -> LogicalModelName -> Bool #

max :: LogicalModelName -> LogicalModelName -> LogicalModelName #

min :: LogicalModelName -> LogicalModelName -> LogicalModelName #

Hashable LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

hashWithSalt :: Int -> LogicalModelName -> Int Source #

hash :: LogicalModelName -> Int Source #

ToTxt LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toTxt :: LogicalModelName -> Text Source #

Lift LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

lift :: Quote m => LogicalModelName -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => LogicalModelName -> Code m LogicalModelName #

type Rep LogicalModelName Source # 
Instance details

Defined in Hasura.LogicalModel.Types

type Rep LogicalModelName = D1 ('MetaData "LogicalModelName" "Hasura.LogicalModel.Types" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "LogicalModelName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLogicalModelName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))

data LogicalModelTypeScalar b Source #

Constructors

LogicalModelTypeScalarC 

Fields

Instances

Instances details
Backend b => FromJSON (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

parseJSON :: Value -> Parser (LogicalModelTypeScalar b) Source #

parseJSONList :: Value -> Parser [LogicalModelTypeScalar b] Source #

Backend b => ToJSON (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSON :: LogicalModelTypeScalar b -> Value Source #

toEncoding :: LogicalModelTypeScalar b -> Encoding Source #

toJSONList :: [LogicalModelTypeScalar b] -> Value Source #

toEncodingList :: [LogicalModelTypeScalar b] -> Encoding Source #

Backend b => HasCodec (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

codec :: JSONCodec (LogicalModelTypeScalar b) Source #

listCodecForStringCompatibility :: JSONCodec [LogicalModelTypeScalar b] Source #

Generic (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Associated Types

type Rep (LogicalModelTypeScalar b) :: Type -> Type #

Methods

from :: LogicalModelTypeScalar b -> Rep (LogicalModelTypeScalar b) x #

to :: Rep (LogicalModelTypeScalar b) x -> LogicalModelTypeScalar b #

Backend b => Show (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

showsPrec :: Int -> LogicalModelTypeScalar b -> ShowS #

show :: LogicalModelTypeScalar b -> String #

showList :: [LogicalModelTypeScalar b] -> ShowS #

Backend b => NFData (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

rnf :: LogicalModelTypeScalar b -> () #

Backend b => Eq (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

(==) :: LogicalModelTypeScalar b -> LogicalModelTypeScalar b -> Bool #

(/=) :: LogicalModelTypeScalar b -> LogicalModelTypeScalar b -> Bool #

Backend b => Hashable (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

hashWithSalt :: Int -> LogicalModelTypeScalar b -> Int Source #

hash :: LogicalModelTypeScalar b -> Int Source #

type Rep (LogicalModelTypeScalar b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

type Rep (LogicalModelTypeScalar b) = D1 ('MetaData "LogicalModelTypeScalar" "Hasura.LogicalModel.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "LogicalModelTypeScalarC" 'PrefixI 'True) (S1 ('MetaSel ('Just "lmtsScalar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ScalarType b)) :*: S1 ('MetaSel ('Just "lmtsNullable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data LogicalModelTypeArray b Source #

Constructors

LogicalModelTypeArrayC 

Fields

Instances

Instances details
Backend b => FromJSON (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

parseJSON :: Value -> Parser (LogicalModelTypeArray b) Source #

parseJSONList :: Value -> Parser [LogicalModelTypeArray b] Source #

Backend b => ToJSON (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSON :: LogicalModelTypeArray b -> Value Source #

toEncoding :: LogicalModelTypeArray b -> Encoding Source #

toJSONList :: [LogicalModelTypeArray b] -> Value Source #

toEncodingList :: [LogicalModelTypeArray b] -> Encoding Source #

Backend b => HasCodec (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

codec :: JSONCodec (LogicalModelTypeArray b) Source #

listCodecForStringCompatibility :: JSONCodec [LogicalModelTypeArray b] Source #

Generic (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Associated Types

type Rep (LogicalModelTypeArray b) :: Type -> Type #

Methods

from :: LogicalModelTypeArray b -> Rep (LogicalModelTypeArray b) x #

to :: Rep (LogicalModelTypeArray b) x -> LogicalModelTypeArray b #

Backend b => Show (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

showsPrec :: Int -> LogicalModelTypeArray b -> ShowS #

show :: LogicalModelTypeArray b -> String #

showList :: [LogicalModelTypeArray b] -> ShowS #

Backend b => NFData (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

rnf :: LogicalModelTypeArray b -> () #

Backend b => Eq (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

(==) :: LogicalModelTypeArray b -> LogicalModelTypeArray b -> Bool #

(/=) :: LogicalModelTypeArray b -> LogicalModelTypeArray b -> Bool #

Backend b => Hashable (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

hashWithSalt :: Int -> LogicalModelTypeArray b -> Int Source #

hash :: LogicalModelTypeArray b -> Int Source #

type Rep (LogicalModelTypeArray b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

type Rep (LogicalModelTypeArray b) = D1 ('MetaData "LogicalModelTypeArray" "Hasura.LogicalModel.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "LogicalModelTypeArrayC" 'PrefixI 'True) (S1 ('MetaSel ('Just "lmtaArray") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LogicalModelType b)) :*: S1 ('MetaSel ('Just "lmtaNullable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data LogicalModelTypeReference Source #

Constructors

LogicalModelTypeReferenceC 

Fields

Instances

Instances details
FromJSON LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

parseJSON :: Value -> Parser LogicalModelTypeReference Source #

parseJSONList :: Value -> Parser [LogicalModelTypeReference] Source #

ToJSON LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSON :: LogicalModelTypeReference -> Value Source #

toEncoding :: LogicalModelTypeReference -> Encoding Source #

toJSONList :: [LogicalModelTypeReference] -> Value Source #

toEncodingList :: [LogicalModelTypeReference] -> Encoding Source #

HasCodec LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

codec :: JSONCodec LogicalModelTypeReference Source #

listCodecForStringCompatibility :: JSONCodec [LogicalModelTypeReference] Source #

Generic LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Associated Types

type Rep LogicalModelTypeReference :: Type -> Type #

Methods

from :: LogicalModelTypeReference -> Rep LogicalModelTypeReference x #

to :: Rep LogicalModelTypeReference x -> LogicalModelTypeReference #

Show LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

showsPrec :: Int -> LogicalModelTypeReference -> ShowS #

show :: LogicalModelTypeReference -> String #

showList :: [LogicalModelTypeReference] -> ShowS #

NFData LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

rnf :: LogicalModelTypeReference -> () #

Eq LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

(==) :: LogicalModelTypeReference -> LogicalModelTypeReference -> Bool #

(/=) :: LogicalModelTypeReference -> LogicalModelTypeReference -> Bool #

Hashable LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

hashWithSalt :: Int -> LogicalModelTypeReference -> Int Source #

hash :: LogicalModelTypeReference -> Int Source #

type Rep LogicalModelTypeReference Source # 
Instance details

Defined in Hasura.LogicalModel.Types

type Rep LogicalModelTypeReference = D1 ('MetaData "LogicalModelTypeReference" "Hasura.LogicalModel.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "LogicalModelTypeReferenceC" 'PrefixI 'True) (S1 ('MetaSel ('Just "lmtrReference") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LogicalModelName) :*: S1 ('MetaSel ('Just "lmtrNullable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data LogicalModelType b Source #

Constructors

LogicalModelTypeScalar (LogicalModelTypeScalar b) 
LogicalModelTypeArray (LogicalModelTypeArray b) 
LogicalModelTypeReference LogicalModelTypeReference 

Instances

Instances details
Backend b => FromJSON (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

parseJSON :: Value -> Parser (LogicalModelType b) Source #

parseJSONList :: Value -> Parser [LogicalModelType b] Source #

Backend b => ToJSON (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSON :: LogicalModelType b -> Value Source #

toEncoding :: LogicalModelType b -> Encoding Source #

toJSONList :: [LogicalModelType b] -> Value Source #

toEncodingList :: [LogicalModelType b] -> Encoding Source #

Backend b => HasCodec (LogicalModelType b) Source #

forgive me, I really did try and do this the native Autodocodec way and everything I did kept freezing the whole of HGE

Instance details

Defined in Hasura.LogicalModel.Types

Methods

codec :: JSONCodec (LogicalModelType b) Source #

listCodecForStringCompatibility :: JSONCodec [LogicalModelType b] Source #

Generic (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Associated Types

type Rep (LogicalModelType b) :: Type -> Type #

Methods

from :: LogicalModelType b -> Rep (LogicalModelType b) x #

to :: Rep (LogicalModelType b) x -> LogicalModelType b #

Backend b => Show (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

showsPrec :: Int -> LogicalModelType b -> ShowS #

show :: LogicalModelType b -> String #

showList :: [LogicalModelType b] -> ShowS #

Backend b => NFData (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

rnf :: LogicalModelType b -> () #

Backend b => Eq (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

(==) :: LogicalModelType b -> LogicalModelType b -> Bool #

(/=) :: LogicalModelType b -> LogicalModelType b -> Bool #

Backend b => Hashable (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

hashWithSalt :: Int -> LogicalModelType b -> Int Source #

hash :: LogicalModelType b -> Int Source #

type Rep (LogicalModelType b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

type Rep (LogicalModelType b) = D1 ('MetaData "LogicalModelType" "Hasura.LogicalModel.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "LogicalModelTypeScalar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LogicalModelTypeScalar b))) :+: (C1 ('MetaCons "LogicalModelTypeArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LogicalModelTypeArray b))) :+: C1 ('MetaCons "LogicalModelTypeReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LogicalModelTypeReference))))

data LogicalModelField b Source #

a single field in a Logical Model

Constructors

LogicalModelField 

Fields

Instances

Instances details
Backend b => FromJSON (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

parseJSON :: Value -> Parser (LogicalModelField b) Source #

parseJSONList :: Value -> Parser [LogicalModelField b] Source #

Backend b => ToJSON (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

toJSON :: LogicalModelField b -> Value Source #

toEncoding :: LogicalModelField b -> Encoding Source #

toJSONList :: [LogicalModelField b] -> Value Source #

toEncodingList :: [LogicalModelField b] -> Encoding Source #

Backend b => HasCodec (LogicalModelField b) Source #

this codec is complicated because we want to support both the old scalar encoded fields and our new separate type

Instance details

Defined in Hasura.LogicalModel.Types

Methods

codec :: JSONCodec (LogicalModelField b) Source #

listCodecForStringCompatibility :: JSONCodec [LogicalModelField b] Source #

Generic (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Associated Types

type Rep (LogicalModelField b) :: Type -> Type #

Methods

from :: LogicalModelField b -> Rep (LogicalModelField b) x #

to :: Rep (LogicalModelField b) x -> LogicalModelField b #

Backend b => Show (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

showsPrec :: Int -> LogicalModelField b -> ShowS #

show :: LogicalModelField b -> String #

showList :: [LogicalModelField b] -> ShowS #

Backend b => NFData (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

rnf :: LogicalModelField b -> () #

Backend b => Eq (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

(==) :: LogicalModelField b -> LogicalModelField b -> Bool #

(/=) :: LogicalModelField b -> LogicalModelField b -> Bool #

Backend b => Hashable (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

Methods

hashWithSalt :: Int -> LogicalModelField b -> Int Source #

hash :: LogicalModelField b -> Int Source #

type Rep (LogicalModelField b) Source # 
Instance details

Defined in Hasura.LogicalModel.Types

type Rep (LogicalModelField b) = D1 ('MetaData "LogicalModelField" "Hasura.LogicalModel.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "LogicalModelField" 'PrefixI 'True) (S1 ('MetaSel ('Just "lmfName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Column b)) :*: (S1 ('MetaSel ('Just "lmfType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LogicalModelType b)) :*: S1 ('MetaSel ('Just "lmfDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))

logicalModelFieldMapCodec :: forall b. Backend b => Codec Value (InsOrdHashMap (Column b) (LogicalModelField b)) (InsOrdHashMap (Column b) (LogicalModelField b)) Source #