Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.Function.Cache

Description

types and helpers for user-defined-functions after they have been resolved in the schema cache

Synopsis

data FunctionVolatility
- = FTVOLATILE
- | FTIMMUTABLE
- | FTSTABLE
funcTypToTxt :: FunctionVolatility -> Text
newtype FunctionArgName = FunctionArgName {
- getFuncArgNameTxt :: Text
}
data InputArgument a
- = IAUserProvided a
- | IASessionVariables FunctionArgName
type FunctionInputArgument b = InputArgument (FunctionArgument b)
data FunctionExposedAs
- = FEAQuery
- | FEAMutation
newtype FunctionPermissionInfo = FunctionPermissionInfo {
- _fpmRole :: RoleName
}
type FunctionPermissionsMap = HashMap RoleName FunctionPermissionInfo
data FunctionCustomRootFields = FunctionCustomRootFields {
- _fcrfFunction :: Maybe Name
- _fcrfFunctionAggregate :: Maybe Name
}
emptyFunctionCustomRootFields :: FunctionCustomRootFields
data FunctionInfo (b :: BackendType) = FunctionInfo {
- _fiSQLName :: FunctionName b
- _fiGQLName :: Name
- _fiGQLArgsName :: Name
- _fiGQLAggregateName :: Name
- _fiSystemDefined :: SystemDefined
- _fiVolatility :: FunctionVolatility
- _fiExposedAs :: FunctionExposedAs
- _fiInputArgs :: Seq (FunctionInputArgument b)
- _fiReturnType :: TableName b
- _fiDescription :: Maybe Text
- _fiPermissions :: FunctionPermissionsMap
- _fiJsonAggSelect :: JsonAggSelect
- _fiComment :: Maybe Text
}
type FunctionCache b = HashMap (FunctionName b) (FunctionInfo b)
data TrackableFunctionInfo b = TrackableFunctionInfo {
- tfiFunctionName :: FunctionName b
- tfiFunctionVolitility :: FunctionVolatility
}
newtype TrackableTableInfo b = TrackableTableInfo {
- tfTableiName :: TableName b
}
data TrackableInfo b = TrackableInfo {
- trackableFunctions :: [TrackableFunctionInfo b]
- trackableTables :: [TrackableTableInfo b]
}
data FunctionConfig b = FunctionConfig {
- _fcSessionArgument :: Maybe FunctionArgName
- _fcExposedAs :: Maybe FunctionExposedAs
- _fcCustomRootFields :: FunctionCustomRootFields
- _fcCustomName :: Maybe Name
- _fcResponse :: Maybe (FunctionReturnType b)
}
emptyFunctionConfig :: FunctionConfig b
type DBFunctionsMetadata b = HashMap (FunctionName b) (FunctionOverloads b)
newtype FunctionOverloads b = FunctionOverloads {
- getFunctionOverloads :: NonEmpty (RawFunctionInfo b)
}
data FunctionArgsExpG a = FunctionArgsExp {
- _faePositional :: [a]
- _faeNamed :: HashMap Text a
}
type FunctionArgsExp b v = FunctionArgsExpG (FunctionArgumentExp b v)
emptyFunctionArgsExp :: FunctionArgsExpG a

Documentation

data FunctionVolatility Source #

https://www.postgresql.org/docs/current/xfunc-volatility.html

Constructors

FTVOLATILE
FTIMMUTABLE
FTSTABLE

Instances

Instances details

FromJSON FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser FunctionVolatility Source # parseJSONList :: Value -> Parser [FunctionVolatility] Source #
ToJSON FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionVolatility -> Value Source # toEncoding :: FunctionVolatility -> Encoding Source # toJSONList :: [FunctionVolatility] -> Value Source # toEncodingList :: [FunctionVolatility] -> Encoding Source #
Generic FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep FunctionVolatility :: Type -> Type # Methods from :: FunctionVolatility -> Rep FunctionVolatility x # to :: Rep FunctionVolatility x -> FunctionVolatility #
Show FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionVolatility -> ShowS # show :: FunctionVolatility -> String # showList :: [FunctionVolatility] -> ShowS #
NFData FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache Methods rnf :: FunctionVolatility -> () #
Eq FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionVolatility -> FunctionVolatility -> Bool # (/=) :: FunctionVolatility -> FunctionVolatility -> Bool #
type Rep FunctionVolatility Source #
Instance details Defined in Hasura.Function.Cache type Rep FunctionVolatility = D1 ('MetaData "FunctionVolatility" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FTVOLATILE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FTIMMUTABLE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FTSTABLE" 'PrefixI 'False) (U1 :: Type -> Type)))

funcTypToTxt :: FunctionVolatility -> Text Source #

newtype FunctionArgName Source #

Constructors

FunctionArgName
Fields getFuncArgNameTxt :: Text

Instances

Instances details

FromJSON FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser FunctionArgName Source # parseJSONList :: Value -> Parser [FunctionArgName] Source #
FromJSONKey FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods fromJSONKey :: FromJSONKeyFunction FunctionArgName Source # fromJSONKeyList :: FromJSONKeyFunction [FunctionArgName] Source #
ToJSON FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionArgName -> Value Source # toEncoding :: FunctionArgName -> Encoding Source # toJSONList :: [FunctionArgName] -> Value Source # toEncodingList :: [FunctionArgName] -> Encoding Source #
ToJSONKey FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods toJSONKey :: ToJSONKeyFunction FunctionArgName Source # toJSONKeyList :: ToJSONKeyFunction [FunctionArgName] Source #
HasCodec FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods codec :: JSONCodec FunctionArgName Source # listCodecForStringCompatibility :: JSONCodec [FunctionArgName] Source #
Data FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionArgName -> c FunctionArgName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionArgName # toConstr :: FunctionArgName -> Constr # dataTypeOf :: FunctionArgName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionArgName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionArgName) # gmapT :: (forall b. Data b => b -> b) -> FunctionArgName -> FunctionArgName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionArgName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionArgName -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionArgName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionArgName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionArgName -> m FunctionArgName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionArgName -> m FunctionArgName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionArgName -> m FunctionArgName #
IsString FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods fromString :: String -> FunctionArgName #
Generic FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep FunctionArgName :: Type -> Type # Methods from :: FunctionArgName -> Rep FunctionArgName x # to :: Rep FunctionArgName x -> FunctionArgName #
Show FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionArgName -> ShowS # show :: FunctionArgName -> String # showList :: [FunctionArgName] -> ShowS #
NFData FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods rnf :: FunctionArgName -> () #
Eq FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionArgName -> FunctionArgName -> Bool # (/=) :: FunctionArgName -> FunctionArgName -> Bool #
Ord FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods compare :: FunctionArgName -> FunctionArgName -> Ordering # (<) :: FunctionArgName -> FunctionArgName -> Bool # (<=) :: FunctionArgName -> FunctionArgName -> Bool # (>) :: FunctionArgName -> FunctionArgName -> Bool # (>=) :: FunctionArgName -> FunctionArgName -> Bool # max :: FunctionArgName -> FunctionArgName -> FunctionArgName # min :: FunctionArgName -> FunctionArgName -> FunctionArgName #
Hashable FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods hashWithSalt :: Int -> FunctionArgName -> Int Source # hash :: FunctionArgName -> Int Source #
ToTxt FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods toTxt :: FunctionArgName -> Text Source #
Lift FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache Methods lift :: Quote m => FunctionArgName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FunctionArgName -> Code m FunctionArgName #
type Rep FunctionArgName Source #
Instance details Defined in Hasura.Function.Cache type Rep FunctionArgName = D1 ('MetaData "FunctionArgName" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "FunctionArgName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFuncArgNameTxt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data InputArgument a Source #

Constructors

IAUserProvided a
IASessionVariables FunctionArgName

Instances

Instances details

Functor InputArgument Source #
Instance details Defined in Hasura.Function.Cache Methods fmap :: (a -> b) -> InputArgument a -> InputArgument b # (<$) :: a -> InputArgument b -> InputArgument a #
ToJSON a => ToJSON (InputArgument a) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: InputArgument a -> Value Source # toEncoding :: InputArgument a -> Encoding Source # toJSONList :: [InputArgument a] -> Value Source # toEncodingList :: [InputArgument a] -> Encoding Source #
Generic (InputArgument a) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (InputArgument a) :: Type -> Type # Methods from :: InputArgument a -> Rep (InputArgument a) x # to :: Rep (InputArgument a) x -> InputArgument a #
Show a => Show (InputArgument a) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> InputArgument a -> ShowS # show :: InputArgument a -> String # showList :: [InputArgument a] -> ShowS #
Eq a => Eq (InputArgument a) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: InputArgument a -> InputArgument a -> Bool # (/=) :: InputArgument a -> InputArgument a -> Bool #
type Rep (InputArgument a) Source #
Instance details Defined in Hasura.Function.Cache type Rep (InputArgument a) = D1 ('MetaData "InputArgument" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "IAUserProvided" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "IASessionVariables" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionArgName)))

type FunctionInputArgument b = InputArgument (FunctionArgument b) Source #

data FunctionExposedAs Source #

Indicates whether the user requested the corresponding function to be tracked as a mutation or a query/subscription, in track_function.

Constructors

FEAQuery
FEAMutation

Instances

Instances details

FromJSON FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser FunctionExposedAs Source # parseJSONList :: Value -> Parser [FunctionExposedAs] Source #
ToJSON FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionExposedAs -> Value Source # toEncoding :: FunctionExposedAs -> Encoding Source # toJSONList :: [FunctionExposedAs] -> Value Source # toEncodingList :: [FunctionExposedAs] -> Encoding Source #
HasCodec FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Methods codec :: JSONCodec FunctionExposedAs Source # listCodecForStringCompatibility :: JSONCodec [FunctionExposedAs] Source #
Generic FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep FunctionExposedAs :: Type -> Type # Methods from :: FunctionExposedAs -> Rep FunctionExposedAs x # to :: Rep FunctionExposedAs x -> FunctionExposedAs #
Show FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionExposedAs -> ShowS # show :: FunctionExposedAs -> String # showList :: [FunctionExposedAs] -> ShowS #
NFData FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Methods rnf :: FunctionExposedAs -> () #
Eq FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionExposedAs -> FunctionExposedAs -> Bool # (/=) :: FunctionExposedAs -> FunctionExposedAs -> Bool #
type Rep FunctionExposedAs Source #
Instance details Defined in Hasura.Function.Cache type Rep FunctionExposedAs = D1 ('MetaData "FunctionExposedAs" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FEAQuery" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FEAMutation" 'PrefixI 'False) (U1 :: Type -> Type))

newtype FunctionPermissionInfo Source #

Constructors

FunctionPermissionInfo
Fields _fpmRole :: RoleName

Instances

Instances details

FromJSON FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser FunctionPermissionInfo Source # parseJSONList :: Value -> Parser [FunctionPermissionInfo] Source #
ToJSON FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionPermissionInfo -> Value Source # toEncoding :: FunctionPermissionInfo -> Encoding Source # toJSONList :: [FunctionPermissionInfo] -> Value Source # toEncodingList :: [FunctionPermissionInfo] -> Encoding Source #
HasCodec FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache Methods codec :: JSONCodec FunctionPermissionInfo Source # listCodecForStringCompatibility :: JSONCodec [FunctionPermissionInfo] Source #
Generic FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep FunctionPermissionInfo :: Type -> Type # Methods from :: FunctionPermissionInfo -> Rep FunctionPermissionInfo x # to :: Rep FunctionPermissionInfo x -> FunctionPermissionInfo #
Show FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionPermissionInfo -> ShowS # show :: FunctionPermissionInfo -> String # showList :: [FunctionPermissionInfo] -> ShowS #
Eq FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionPermissionInfo -> FunctionPermissionInfo -> Bool # (/=) :: FunctionPermissionInfo -> FunctionPermissionInfo -> Bool #
type Rep FunctionPermissionInfo Source #
Instance details Defined in Hasura.Function.Cache type Rep FunctionPermissionInfo = D1 ('MetaData "FunctionPermissionInfo" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "FunctionPermissionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "_fpmRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RoleName)))

type FunctionPermissionsMap = HashMap RoleName FunctionPermissionInfo Source #

data FunctionCustomRootFields Source #

Custom root fields for functions. When set, will be the names exposed to the user in the schema.

See rfcs/function-root-field-customisation.md for more information.

Constructors

FunctionCustomRootFields
Fields _fcrfFunction :: Maybe Name _fcrfFunctionAggregate :: Maybe Name

Instances

Instances details

FromJSON FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser FunctionCustomRootFields Source # parseJSONList :: Value -> Parser [FunctionCustomRootFields] Source #
ToJSON FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionCustomRootFields -> Value Source # toEncoding :: FunctionCustomRootFields -> Encoding Source # toJSONList :: [FunctionCustomRootFields] -> Value Source # toEncodingList :: [FunctionCustomRootFields] -> Encoding Source #
HasCodec FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Methods codec :: JSONCodec FunctionCustomRootFields Source # listCodecForStringCompatibility :: JSONCodec [FunctionCustomRootFields] Source #
Generic FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep FunctionCustomRootFields :: Type -> Type # Methods from :: FunctionCustomRootFields -> Rep FunctionCustomRootFields x # to :: Rep FunctionCustomRootFields x -> FunctionCustomRootFields #
Show FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionCustomRootFields -> ShowS # show :: FunctionCustomRootFields -> String # showList :: [FunctionCustomRootFields] -> ShowS #
NFData FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Methods rnf :: FunctionCustomRootFields -> () #
Eq FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionCustomRootFields -> FunctionCustomRootFields -> Bool # (/=) :: FunctionCustomRootFields -> FunctionCustomRootFields -> Bool #
type Rep FunctionCustomRootFields Source #
Instance details Defined in Hasura.Function.Cache type Rep FunctionCustomRootFields = D1 ('MetaData "FunctionCustomRootFields" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FunctionCustomRootFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "_fcrfFunction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)) :*: S1 ('MetaSel ('Just "_fcrfFunctionAggregate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name))))

emptyFunctionCustomRootFields :: FunctionCustomRootFields Source #

A function custom root fields without custom names set. This is the default.

data FunctionInfo (b :: BackendType) Source #

Tracked SQL function metadata. See buildFunctionInfo.

Constructors

FunctionInfo

Fields

_fiSQLName :: FunctionName b
_fiGQLName :: Name
_fiGQLArgsName :: Name
_fiGQLAggregateName :: Name
_fiSystemDefined :: SystemDefined
_fiVolatility :: FunctionVolatility
_fiExposedAs :: FunctionExposedAs
In which part of the schema should this function be exposed?
See mkFunctionInfo and _fcExposedAs.
_fiInputArgs :: Seq (FunctionInputArgument b)
_fiReturnType :: TableName b
NOTE: when a table is created, a new composite type of the same name is automatically created; so strictly speaking this field means "the function returns the composite type corresponding to this table".
_fiDescription :: Maybe Text
this field represents the description of the function as present on the database
_fiPermissions :: FunctionPermissionsMap
Roles to which the function is accessible
_fiJsonAggSelect :: JsonAggSelect
_fiComment :: Maybe Text

Instances

Instances details

Backend b => ToJSON (FunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionInfo b -> Value Source # toEncoding :: FunctionInfo b -> Encoding Source # toJSONList :: [FunctionInfo b] -> Value Source # toEncodingList :: [FunctionInfo b] -> Encoding Source #
Generic (FunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (FunctionInfo b) :: Type -> Type # Methods from :: FunctionInfo b -> Rep (FunctionInfo b) x # to :: Rep (FunctionInfo b) x -> FunctionInfo b #
Backend b => Show (FunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionInfo b -> ShowS # show :: FunctionInfo b -> String # showList :: [FunctionInfo b] -> ShowS #
Backend b => Eq (FunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionInfo b -> FunctionInfo b -> Bool # (/=) :: FunctionInfo b -> FunctionInfo b -> Bool #
type Rep (FunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache type Rep (FunctionInfo b) = D1 ('MetaData "FunctionInfo" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FunctionInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_fiSQLName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (FunctionName b)) :: (S1 ('MetaSel ('Just "_fiGQLName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name) :: S1 ('MetaSel ('Just "_fiGQLArgsName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name))) :: (S1 ('MetaSel ('Just "_fiGQLAggregateName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name) :: (S1 ('MetaSel ('Just "_fiSystemDefined") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SystemDefined) :: S1 ('MetaSel ('Just "_fiVolatility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionVolatility)))) :: ((S1 ('MetaSel ('Just "_fiExposedAs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionExposedAs) :: (S1 ('MetaSel ('Just "_fiInputArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Seq (FunctionInputArgument b))) :: S1 ('MetaSel ('Just "_fiReturnType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b)))) :: ((S1 ('MetaSel ('Just "_fiDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "_fiPermissions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionPermissionsMap)) :: (S1 ('MetaSel ('Just "_fiJsonAggSelect") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 JsonAggSelect) :: S1 ('MetaSel ('Just "_fiComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))))

type FunctionCache b = HashMap (FunctionName b) (FunctionInfo b) Source #

data TrackableFunctionInfo b Source #

Constructors

TrackableFunctionInfo
Fields tfiFunctionName :: FunctionName b tfiFunctionVolitility :: FunctionVolatility

Instances

Instances details

Backend b => ToJSON (TrackableFunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: TrackableFunctionInfo b -> Value Source # toEncoding :: TrackableFunctionInfo b -> Encoding Source # toJSONList :: [TrackableFunctionInfo b] -> Value Source # toEncodingList :: [TrackableFunctionInfo b] -> Encoding Source #
Generic (TrackableFunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (TrackableFunctionInfo b) :: Type -> Type # Methods from :: TrackableFunctionInfo b -> Rep (TrackableFunctionInfo b) x # to :: Rep (TrackableFunctionInfo b) x -> TrackableFunctionInfo b #
Backend b => Show (TrackableFunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> TrackableFunctionInfo b -> ShowS # show :: TrackableFunctionInfo b -> String # showList :: [TrackableFunctionInfo b] -> ShowS #
Backend b => Eq (TrackableFunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: TrackableFunctionInfo b -> TrackableFunctionInfo b -> Bool # (/=) :: TrackableFunctionInfo b -> TrackableFunctionInfo b -> Bool #
type Rep (TrackableFunctionInfo b) Source #
Instance details Defined in Hasura.Function.Cache type Rep (TrackableFunctionInfo b) = D1 ('MetaData "TrackableFunctionInfo" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TrackableFunctionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "tfiFunctionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (FunctionName b)) :*: S1 ('MetaSel ('Just "tfiFunctionVolitility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionVolatility)))

newtype TrackableTableInfo b Source #

Constructors

TrackableTableInfo
Fields tfTableiName :: TableName b

Instances

Instances details

Backend b => ToJSON (TrackableTableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: TrackableTableInfo b -> Value Source # toEncoding :: TrackableTableInfo b -> Encoding Source # toJSONList :: [TrackableTableInfo b] -> Value Source # toEncodingList :: [TrackableTableInfo b] -> Encoding Source #
Generic (TrackableTableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (TrackableTableInfo b) :: Type -> Type # Methods from :: TrackableTableInfo b -> Rep (TrackableTableInfo b) x # to :: Rep (TrackableTableInfo b) x -> TrackableTableInfo b #
Backend b => Show (TrackableTableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> TrackableTableInfo b -> ShowS # show :: TrackableTableInfo b -> String # showList :: [TrackableTableInfo b] -> ShowS #
Backend b => Eq (TrackableTableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: TrackableTableInfo b -> TrackableTableInfo b -> Bool # (/=) :: TrackableTableInfo b -> TrackableTableInfo b -> Bool #
type Rep (TrackableTableInfo b) Source #
Instance details Defined in Hasura.Function.Cache type Rep (TrackableTableInfo b) = D1 ('MetaData "TrackableTableInfo" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "TrackableTableInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "tfTableiName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TableName b))))

data TrackableInfo b Source #

Constructors

TrackableInfo
Fields trackableFunctions :: [TrackableFunctionInfo b] trackableTables :: [TrackableTableInfo b]

Instances

Instances details

Backend b => ToJSON (TrackableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: TrackableInfo b -> Value Source # toEncoding :: TrackableInfo b -> Encoding Source # toJSONList :: [TrackableInfo b] -> Value Source # toEncodingList :: [TrackableInfo b] -> Encoding Source #
Generic (TrackableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (TrackableInfo b) :: Type -> Type # Methods from :: TrackableInfo b -> Rep (TrackableInfo b) x # to :: Rep (TrackableInfo b) x -> TrackableInfo b #
Backend b => Show (TrackableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> TrackableInfo b -> ShowS # show :: TrackableInfo b -> String # showList :: [TrackableInfo b] -> ShowS #
Backend b => Eq (TrackableInfo b) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: TrackableInfo b -> TrackableInfo b -> Bool # (/=) :: TrackableInfo b -> TrackableInfo b -> Bool #
type Rep (TrackableInfo b) Source #
Instance details Defined in Hasura.Function.Cache type Rep (TrackableInfo b) = D1 ('MetaData "TrackableInfo" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TrackableInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "trackableFunctions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TrackableFunctionInfo b]) :*: S1 ('MetaSel ('Just "trackableTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TrackableTableInfo b])))

data FunctionConfig b Source #

Tracked function configuration, and payload of the pg_track_function and pg_set_function_customization API calls.

Constructors

FunctionConfig

Fields

_fcSessionArgument :: Maybe FunctionArgName
_fcExposedAs :: Maybe FunctionExposedAs
In which top-level field should we expose this function?
The user might omit this, in which case we'll infer the location from the SQL functions volatility. See mkFunctionInfo or the track_function API docs for details of validation, etc.
_fcCustomRootFields :: FunctionCustomRootFields
_fcCustomName :: Maybe Name
_fcResponse :: Maybe (FunctionReturnType b)

Instances

Instances details

Backend b => FromJSON (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser (FunctionConfig b) Source # parseJSONList :: Value -> Parser [FunctionConfig b] Source #
Backend b => ToJSON (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionConfig b -> Value Source # toEncoding :: FunctionConfig b -> Encoding Source # toJSONList :: [FunctionConfig b] -> Value Source # toEncodingList :: [FunctionConfig b] -> Encoding Source #
Backend b => HasCodec (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Methods codec :: JSONCodec (FunctionConfig b) Source # listCodecForStringCompatibility :: JSONCodec [FunctionConfig b] Source #
Generic (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (FunctionConfig b) :: Type -> Type # Methods from :: FunctionConfig b -> Rep (FunctionConfig b) x # to :: Rep (FunctionConfig b) x -> FunctionConfig b #
Backend b => Show (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionConfig b -> ShowS # show :: FunctionConfig b -> String # showList :: [FunctionConfig b] -> ShowS #
Backend b => NFData (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Methods rnf :: FunctionConfig b -> () #
Backend b => Eq (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionConfig b -> FunctionConfig b -> Bool # (/=) :: FunctionConfig b -> FunctionConfig b -> Bool #
type Rep (FunctionConfig b) Source #
Instance details Defined in Hasura.Function.Cache type Rep (FunctionConfig b) = D1 ('MetaData "FunctionConfig" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FunctionConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_fcSessionArgument") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe FunctionArgName)) :: S1 ('MetaSel ('Just "_fcExposedAs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe FunctionExposedAs))) :: (S1 ('MetaSel ('Just "_fcCustomRootFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionCustomRootFields) :: (S1 ('MetaSel ('Just "_fcCustomName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)) :: S1 ('MetaSel ('Just "_fcResponse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (FunctionReturnType b)))))))

emptyFunctionConfig :: FunctionConfig b Source #

The default function config; v1 of the API implies this.

type DBFunctionsMetadata b = HashMap (FunctionName b) (FunctionOverloads b) Source #

newtype FunctionOverloads b Source #

Constructors

FunctionOverloads
Fields getFunctionOverloads :: NonEmpty (RawFunctionInfo b)

Instances

Instances details

FromJSON (RawFunctionInfo b) => FromJSON (FunctionOverloads b) Source #
Instance details Defined in Hasura.Function.Cache Methods parseJSON :: Value -> Parser (FunctionOverloads b) Source # parseJSONList :: Value -> Parser [FunctionOverloads b] Source #
ToJSON (RawFunctionInfo b) => ToJSON (FunctionOverloads b) Source #
Instance details Defined in Hasura.Function.Cache Methods toJSON :: FunctionOverloads b -> Value Source # toEncoding :: FunctionOverloads b -> Encoding Source # toJSONList :: [FunctionOverloads b] -> Value Source # toEncodingList :: [FunctionOverloads b] -> Encoding Source #
Backend b => Show (FunctionOverloads b) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionOverloads b -> ShowS # show :: FunctionOverloads b -> String # showList :: [FunctionOverloads b] -> ShowS #
Backend b => Eq (FunctionOverloads b) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionOverloads b -> FunctionOverloads b -> Bool # (/=) :: FunctionOverloads b -> FunctionOverloads b -> Bool #

data FunctionArgsExpG a Source #

Constructors

FunctionArgsExp
Fields _faePositional :: [a] _faeNamed :: HashMap Text a

Instances

Instances details

Foldable FunctionArgsExpG Source #
Instance details Defined in Hasura.Function.Cache Methods fold :: Monoid m => FunctionArgsExpG m -> m # foldMap :: Monoid m => (a -> m) -> FunctionArgsExpG a -> m # foldMap' :: Monoid m => (a -> m) -> FunctionArgsExpG a -> m # foldr :: (a -> b -> b) -> b -> FunctionArgsExpG a -> b # foldr' :: (a -> b -> b) -> b -> FunctionArgsExpG a -> b # foldl :: (b -> a -> b) -> b -> FunctionArgsExpG a -> b # foldl' :: (b -> a -> b) -> b -> FunctionArgsExpG a -> b # foldr1 :: (a -> a -> a) -> FunctionArgsExpG a -> a # foldl1 :: (a -> a -> a) -> FunctionArgsExpG a -> a # toList :: FunctionArgsExpG a -> [a] # null :: FunctionArgsExpG a -> Bool # length :: FunctionArgsExpG a -> Int # elem :: Eq a => a -> FunctionArgsExpG a -> Bool # maximum :: Ord a => FunctionArgsExpG a -> a # minimum :: Ord a => FunctionArgsExpG a -> a # sum :: Num a => FunctionArgsExpG a -> a # product :: Num a => FunctionArgsExpG a -> a #
Traversable FunctionArgsExpG Source #
Instance details Defined in Hasura.Function.Cache Methods traverse :: Applicative f => (a -> f b) -> FunctionArgsExpG a -> f (FunctionArgsExpG b) # sequenceA :: Applicative f => FunctionArgsExpG (f a) -> f (FunctionArgsExpG a) # mapM :: Monad m => (a -> m b) -> FunctionArgsExpG a -> m (FunctionArgsExpG b) # sequence :: Monad m => FunctionArgsExpG (m a) -> m (FunctionArgsExpG a) #
Functor FunctionArgsExpG Source #
Instance details Defined in Hasura.Function.Cache Methods fmap :: (a -> b) -> FunctionArgsExpG a -> FunctionArgsExpG b # (<$) :: a -> FunctionArgsExpG b -> FunctionArgsExpG a #
Generic (FunctionArgsExpG a) Source #
Instance details Defined in Hasura.Function.Cache Associated Types type Rep (FunctionArgsExpG a) :: Type -> Type # Methods from :: FunctionArgsExpG a -> Rep (FunctionArgsExpG a) x # to :: Rep (FunctionArgsExpG a) x -> FunctionArgsExpG a #
Show a => Show (FunctionArgsExpG a) Source #
Instance details Defined in Hasura.Function.Cache Methods showsPrec :: Int -> FunctionArgsExpG a -> ShowS # show :: FunctionArgsExpG a -> String # showList :: [FunctionArgsExpG a] -> ShowS #
NFData a => NFData (FunctionArgsExpG a) Source #
Instance details Defined in Hasura.Function.Cache Methods rnf :: FunctionArgsExpG a -> () #
Eq a => Eq (FunctionArgsExpG a) Source #
Instance details Defined in Hasura.Function.Cache Methods (==) :: FunctionArgsExpG a -> FunctionArgsExpG a -> Bool # (/=) :: FunctionArgsExpG a -> FunctionArgsExpG a -> Bool #
Hashable a => Hashable (FunctionArgsExpG a) Source #
Instance details Defined in Hasura.Function.Cache Methods hashWithSalt :: Int -> FunctionArgsExpG a -> Int Source # hash :: FunctionArgsExpG a -> Int Source #
type Rep (FunctionArgsExpG a) Source #
Instance details Defined in Hasura.Function.Cache type Rep (FunctionArgsExpG a) = D1 ('MetaData "FunctionArgsExpG" "Hasura.Function.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FunctionArgsExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "_faePositional") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [a]) :*: S1 ('MetaSel ('Just "_faeNamed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap Text a))))

type FunctionArgsExp b v = FunctionArgsExpG (FunctionArgumentExp b v) Source #

emptyFunctionArgsExp :: FunctionArgsExpG a Source #