Safe Haskell	Safe-Inferred
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

ToJSON HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods toJSON :: HasDefault -> Value Source # toEncoding :: HasDefault -> Encoding Source # toJSONList :: [HasDefault] -> Value Source # toEncodingList :: [HasDefault] -> Encoding Source #
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 #
Show HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods showsPrec :: Int -> HasDefault -> ShowS # show :: HasDefault -> String # showList :: [HasDefault] -> ShowS #
NFData HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods rnf :: HasDefault -> () #
Eq HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods (==) :: HasDefault -> HasDefault -> Bool # (/=) :: HasDefault -> HasDefault -> Bool #
Ord HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods compare :: HasDefault -> HasDefault -> Ordering # (<) :: HasDefault -> HasDefault -> Bool # (<=) :: HasDefault -> HasDefault -> Bool # (>) :: HasDefault -> HasDefault -> Bool # (>=) :: HasDefault -> HasDefault -> Bool # max :: HasDefault -> HasDefault -> HasDefault # min :: HasDefault -> HasDefault -> HasDefault #
Hashable HasDefault Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods hashWithSalt :: Int -> HasDefault -> Int Source # hash :: HasDefault -> Int 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

ToJSON FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods toJSON :: FunctionArg -> Value Source # toEncoding :: FunctionArg -> Encoding Source # toJSONList :: [FunctionArg] -> Value Source # toEncodingList :: [FunctionArg] -> Encoding Source #
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 #
Show FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods showsPrec :: Int -> FunctionArg -> ShowS # show :: FunctionArg -> String # showList :: [FunctionArg] -> ShowS #
NFData FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods rnf :: FunctionArg -> () #
Eq FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods (==) :: FunctionArg -> FunctionArg -> Bool # (/=) :: FunctionArg -> FunctionArg -> Bool #
Ord FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods compare :: FunctionArg -> FunctionArg -> Ordering # (<) :: FunctionArg -> FunctionArg -> Bool # (<=) :: FunctionArg -> FunctionArg -> Bool # (>) :: FunctionArg -> FunctionArg -> Bool # (>=) :: FunctionArg -> FunctionArg -> Bool # max :: FunctionArg -> FunctionArg -> FunctionArg # min :: FunctionArg -> FunctionArg -> FunctionArg #
Hashable FunctionArg Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods hashWithSalt :: Int -> FunctionArg -> Int Source # hash :: FunctionArg -> Int 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

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) #
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 #
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 #
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 #
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 #
Hashable a => Hashable (ArgumentExp a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.Function Methods hashWithSalt :: Int -> ArgumentExp a -> Int Source # hash :: ArgumentExp a -> Int Source #
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