Safe Haskell	None
Language	Haskell2010

Hasura.Backends.Postgres.Types.Function

Description

Postgres Types Functions

Postgres specific types related to SQL functions

Synopsis

newtype HasDefault = HasDefault {
- unHasDefault :: Bool
}
data FunctionArg = FunctionArg {
- faName :: Maybe FunctionArgName
- faType :: QualifiedPGType
- faHasDefault :: HasDefault
}
data ArgumentExp a
- = AETableRow
- | AEActionResponsePayload
- | AESession a
- | AEInput a
onArgumentExp :: a -> (Text -> a) -> ArgumentExp a -> a
actionResponsePayloadColumn :: Text

Documentation

newtype HasDefault Source #

Constructors

HasDefault
Fields unHasDefault :: Bool

Instances

Instances details

Eq HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods (==) :: HasDefault -> HasDefault -> Bool # (/=) :: HasDefault -> HasDefault -> Bool #
Show HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods showsPrec :: Int -> HasDefault -> ShowS # show :: HasDefault -> String # showList :: [HasDefault] -> ShowS #
Generic HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Associated Types type Rep HasDefault :: Type -> Type # Methods from :: HasDefault -> Rep HasDefault x # to :: Rep HasDefault x -> HasDefault #
NFData HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods rnf :: HasDefault -> () #
Hashable HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods hashWithSalt :: Int -> HasDefault -> Int hash :: HasDefault -> Int
ToJSON HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods toJSON :: HasDefault -> Value toEncoding :: HasDefault -> Encoding toJSONList :: [HasDefault] -> Value toEncodingList :: [HasDefault] -> Encoding
Cacheable HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods unchanged :: Accesses -> HasDefault -> HasDefault -> Bool Source #
type Rep HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function type Rep HasDefault = D1 ('MetaData "HasDefault" "Hasura.Backends.Postgres.Types.Function" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "HasDefault" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHasDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data FunctionArg Source #

Constructors

FunctionArg
Fields faName :: Maybe FunctionArgName faType :: QualifiedPGType faHasDefault :: HasDefault

Instances

Instances details

Eq FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods (==) :: FunctionArg -> FunctionArg -> Bool # (/=) :: FunctionArg -> FunctionArg -> Bool #
Show FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods showsPrec :: Int -> FunctionArg -> ShowS # show :: FunctionArg -> String # showList :: [FunctionArg] -> ShowS #
Generic FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Associated Types type Rep FunctionArg :: Type -> Type # Methods from :: FunctionArg -> Rep FunctionArg x # to :: Rep FunctionArg x -> FunctionArg #
NFData FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods rnf :: FunctionArg -> () #
Hashable FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods hashWithSalt :: Int -> FunctionArg -> Int hash :: FunctionArg -> Int
ToJSON FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods toJSON :: FunctionArg -> Value toEncoding :: FunctionArg -> Encoding toJSONList :: [FunctionArg] -> Value toEncodingList :: [FunctionArg] -> Encoding
Cacheable FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods unchanged :: Accesses -> FunctionArg -> FunctionArg -> Bool Source #
type Rep FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function type Rep FunctionArg = D1 ('MetaData "FunctionArg" "Hasura.Backends.Postgres.Types.Function" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "FunctionArg" 'PrefixI 'True) (S1 ('MetaSel ('Just "faName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe FunctionArgName)) :: (S1 ('MetaSel ('Just "faType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 QualifiedPGType) :: S1 ('MetaSel ('Just "faHasDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 HasDefault))))

data ArgumentExp a Source #

Constructors

AETableRow	Table row accessor
AEActionResponsePayload	Hardcoded reference to `hdb_catalog.hdb_action_log.response_payload`
AESession a	JSON/JSONB hasura session variable object
AEInput a

Instances

Instances details

Functor ArgumentExp Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods fmap :: (a -> b) -> ArgumentExp a -> ArgumentExp b # (<$) :: a -> ArgumentExp b -> ArgumentExp a #
Foldable ArgumentExp Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods fold :: Monoid m => ArgumentExp m -> m # foldMap :: Monoid m => (a -> m) -> ArgumentExp a -> m # foldMap' :: Monoid m => (a -> m) -> ArgumentExp a -> m # foldr :: (a -> b -> b) -> b -> ArgumentExp a -> b # foldr' :: (a -> b -> b) -> b -> ArgumentExp a -> b # foldl :: (b -> a -> b) -> b -> ArgumentExp a -> b # foldl' :: (b -> a -> b) -> b -> ArgumentExp a -> b # foldr1 :: (a -> a -> a) -> ArgumentExp a -> a # foldl1 :: (a -> a -> a) -> ArgumentExp a -> a # toList :: ArgumentExp a -> [a] # null :: ArgumentExp a -> Bool # length :: ArgumentExp a -> Int # elem :: Eq a => a -> ArgumentExp a -> Bool # maximum :: Ord a => ArgumentExp a -> a # minimum :: Ord a => ArgumentExp a -> a # sum :: Num a => ArgumentExp a -> a # product :: Num a => ArgumentExp a -> a #
Traversable ArgumentExp Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods traverse :: Applicative f => (a -> f b) -> ArgumentExp a -> f (ArgumentExp b) # sequenceA :: Applicative f => ArgumentExp (f a) -> f (ArgumentExp a) # mapM :: Monad m => (a -> m b) -> ArgumentExp a -> m (ArgumentExp b) # sequence :: Monad m => ArgumentExp (m a) -> m (ArgumentExp a) #
Eq a => Eq (ArgumentExp a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods (==) :: ArgumentExp a -> ArgumentExp a -> Bool # (/=) :: ArgumentExp a -> ArgumentExp a -> Bool #
Show a => Show (ArgumentExp a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods showsPrec :: Int -> ArgumentExp a -> ShowS # show :: ArgumentExp a -> String # showList :: [ArgumentExp a] -> ShowS #
Generic (ArgumentExp a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Associated Types type Rep (ArgumentExp a) :: Type -> Type # Methods from :: ArgumentExp a -> Rep (ArgumentExp a) x # to :: Rep (ArgumentExp a) x -> ArgumentExp a #
Hashable a => Hashable (ArgumentExp a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods hashWithSalt :: Int -> ArgumentExp a -> Int hash :: ArgumentExp a -> Int
type Rep (ArgumentExp a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function type Rep (ArgumentExp a) = D1 ('MetaData "ArgumentExp" "Hasura.Backends.Postgres.Types.Function" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "AETableRow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AEActionResponsePayload" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AESession" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "AEInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

onArgumentExp Source #

Arguments

:: a	Value to return for `AETableRow`
-> (Text -> a)	Create value to return for `AEResponsePayload` given column text
-> ArgumentExp a	`ArgumentExp` to eliminate
-> a

Eliminate ArgumentExp

Used to ensure that the right column is used for AEActionResponsePayload.

actionResponsePayloadColumn :: Text Source #

Hardcoded hdb_catalog.hdb_action_log.response_payload column name