Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.Action

Synopsis

data ActionFieldG (r :: Type)
- = ACFScalar Name
- | ACFRemote (ActionRemoteRelationshipSelect r)
- | ACFExpression Text
- | ACFNestedObject Name (ActionFieldsG r)
type ActionFieldsG r = Fields (ActionFieldG r)
type ActionFields = ActionFieldsG Void
data ActionRemoteRelationshipSelect r = ActionRemoteRelationshipSelect {
- _arrsLHSJoinFields :: HashMap FieldName Name
- _arrsRelationship :: r
}
_ACFNestedObject :: forall r. Prism' (ActionFieldG r) (Name, ActionFieldsG r)
_ACFExpression :: forall r. Prism' (ActionFieldG r) Text
_ACFRemote :: forall r. Prism' (ActionFieldG r) (ActionRemoteRelationshipSelect r)
_ACFScalar :: forall r. Prism' (ActionFieldG r) Name
data AnnActionExecution (r :: Type) = AnnActionExecution {
- _aaeName :: ActionName
- _aaeOutputType :: GraphQLType
- _aaeFields :: ActionFieldsG r
- _aaePayload :: Value
- _aaeOutputFields :: ActionOutputFields
- _aaeWebhook :: EnvRecord ResolvedWebhook
- _aaeHeaders :: [HeaderConf]
- _aaeForwardClientHeaders :: Bool
- _aaeTimeOut :: Timeout
- _aaeRequestTransform :: Maybe RequestTransform
- _aaeResponseTransform :: Maybe MetadataResponseTransform
}
type ActionOutputFields = HashMap Name GType
getActionOutputFields :: AnnotatedOutputType -> ActionOutputFields
data AnnActionMutationAsync = AnnActionMutationAsync {
- _aamaName :: ActionName
- _aamaForwardClientHeaders :: Bool
- _aamaPayload :: Value
}
data AsyncActionQueryFieldG (r :: Type)
- = AsyncTypename Text
- | AsyncOutput (ActionFieldsG r)
- | AsyncId
- | AsyncCreatedAt
- | AsyncErrors
data AnnActionAsyncQuery (b :: BackendType) (r :: Type) = AnnActionAsyncQuery {
- _aaaqName :: ActionName
- _aaaqActionId :: ActionId
- _aaaqOutputType :: GraphQLType
- _aaaqFields :: AsyncActionQueryFieldsG r
- _aaaqDefinitionList :: [(Column b, ScalarType b)]
- _aaaqStringifyNum :: StringifyNumbers
- _aaaqForwardClientHeaders :: Bool
- _aaaqSource :: ActionSourceInfo b
}
data ActionSourceInfo b
- = ASINoSource
- | ASISource SourceName (SourceConfig b)
aaaqStringifyNum :: forall b r. Lens' (AnnActionAsyncQuery b r) StringifyNumbers
aaaqSource :: forall b r. Lens' (AnnActionAsyncQuery b r) (ActionSourceInfo b)
aaaqOutputType :: forall b r. Lens' (AnnActionAsyncQuery b r) GraphQLType
aaaqName :: forall b r. Lens' (AnnActionAsyncQuery b r) ActionName
aaaqForwardClientHeaders :: forall b r. Lens' (AnnActionAsyncQuery b r) Bool
aaaqFields :: forall b r r. Lens (AnnActionAsyncQuery b r) (AnnActionAsyncQuery b r) (AsyncActionQueryFieldsG r) (AsyncActionQueryFieldsG r)
aaaqDefinitionList :: forall b r. Lens' (AnnActionAsyncQuery b r) [(Column b, ScalarType b)]
aaaqActionId :: forall b r. Lens' (AnnActionAsyncQuery b r) ActionId
aaeWebhook :: forall r. Lens' (AnnActionExecution r) (EnvRecord ResolvedWebhook)
aaeTimeOut :: forall r. Lens' (AnnActionExecution r) Timeout
aaeResponseTransform :: forall r. Lens' (AnnActionExecution r) (Maybe MetadataResponseTransform)
aaeRequestTransform :: forall r. Lens' (AnnActionExecution r) (Maybe RequestTransform)
aaePayload :: forall r. Lens' (AnnActionExecution r) Value
aaeOutputType :: forall r. Lens' (AnnActionExecution r) GraphQLType
aaeOutputFields :: forall r. Lens' (AnnActionExecution r) ActionOutputFields
aaeName :: forall r. Lens' (AnnActionExecution r) ActionName
aaeHeaders :: forall r. Lens' (AnnActionExecution r) [HeaderConf]
aaeForwardClientHeaders :: forall r. Lens' (AnnActionExecution r) Bool
aaeFields :: forall r r. Lens (AnnActionExecution r) (AnnActionExecution r) (ActionFieldsG r) (ActionFieldsG r)
_AsyncErrors :: forall r. Prism' (AsyncActionQueryFieldG r) ()
_AsyncCreatedAt :: forall r. Prism' (AsyncActionQueryFieldG r) ()
_AsyncId :: forall r. Prism' (AsyncActionQueryFieldG r) ()
_AsyncOutput :: forall r r. Prism (AsyncActionQueryFieldG r) (AsyncActionQueryFieldG r) (ActionFieldsG r) (ActionFieldsG r)
_AsyncTypename :: forall r. Prism' (AsyncActionQueryFieldG r) Text

Documentation

data ActionFieldG (r :: Type) Source #

Internal representation for a selection of fields on the result of an action. Type parameter r will be either r ~ (RemoteRelationshipField UnpreparedValue) when the AST is emitted by the parser. r ~ Void when an execution tree is constructed so that a backend is absolved of dealing with remote relationships.

Constructors

ACFScalar Name	Scalar value. G.Name is the original field name from the object type.
ACFRemote (ActionRemoteRelationshipSelect r)	Remote relationship
ACFExpression Text	Constant text value (used for __typename fields)
ACFNestedObject Name (ActionFieldsG r)	Nested object. G.Name is the original field name from the object type.

Instances

Instances details

Foldable ActionFieldG Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fold :: Monoid m => ActionFieldG m -> m # foldMap :: Monoid m => (a -> m) -> ActionFieldG a -> m # foldMap' :: Monoid m => (a -> m) -> ActionFieldG a -> m # foldr :: (a -> b -> b) -> b -> ActionFieldG a -> b # foldr' :: (a -> b -> b) -> b -> ActionFieldG a -> b # foldl :: (b -> a -> b) -> b -> ActionFieldG a -> b # foldl' :: (b -> a -> b) -> b -> ActionFieldG a -> b # foldr1 :: (a -> a -> a) -> ActionFieldG a -> a # foldl1 :: (a -> a -> a) -> ActionFieldG a -> a # toList :: ActionFieldG a -> [a] # null :: ActionFieldG a -> Bool # length :: ActionFieldG a -> Int # elem :: Eq a => a -> ActionFieldG a -> Bool # maximum :: Ord a => ActionFieldG a -> a # minimum :: Ord a => ActionFieldG a -> a # sum :: Num a => ActionFieldG a -> a # product :: Num a => ActionFieldG a -> a #
Traversable ActionFieldG Source #
Instance details Defined in Hasura.RQL.IR.Action Methods traverse :: Applicative f => (a -> f b) -> ActionFieldG a -> f (ActionFieldG b) # sequenceA :: Applicative f => ActionFieldG (f a) -> f (ActionFieldG a) # mapM :: Monad m => (a -> m b) -> ActionFieldG a -> m (ActionFieldG b) # sequence :: Monad m => ActionFieldG (m a) -> m (ActionFieldG a) #
Functor ActionFieldG Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fmap :: (a -> b) -> ActionFieldG a -> ActionFieldG b # (<$) :: a -> ActionFieldG b -> ActionFieldG a #
Show r => Show (ActionFieldG r) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods showsPrec :: Int -> ActionFieldG r -> ShowS # show :: ActionFieldG r -> String # showList :: [ActionFieldG r] -> ShowS #
Eq r => Eq (ActionFieldG r) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods (==) :: ActionFieldG r -> ActionFieldG r -> Bool # (/=) :: ActionFieldG r -> ActionFieldG r -> Bool #

type ActionFieldsG r = Fields (ActionFieldG r) Source #

type ActionFields = ActionFieldsG Void Source #

data ActionRemoteRelationshipSelect r Source #

Constructors

ActionRemoteRelationshipSelect

Fields

_arrsLHSJoinFields :: HashMap FieldName Name
The fields on the table that are required for the join condition of the remote relationship
_arrsRelationship :: r
The field that captures the relationship r ~ (RemoteRelationshipField UnpreparedValue) when the AST is emitted by the parser. r ~ Void when an execution tree is constructed so that a backend is absolved of dealing with remote relationships.

Instances

Instances details

Foldable ActionRemoteRelationshipSelect Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fold :: Monoid m => ActionRemoteRelationshipSelect m -> m # foldMap :: Monoid m => (a -> m) -> ActionRemoteRelationshipSelect a -> m # foldMap' :: Monoid m => (a -> m) -> ActionRemoteRelationshipSelect a -> m # foldr :: (a -> b -> b) -> b -> ActionRemoteRelationshipSelect a -> b # foldr' :: (a -> b -> b) -> b -> ActionRemoteRelationshipSelect a -> b # foldl :: (b -> a -> b) -> b -> ActionRemoteRelationshipSelect a -> b # foldl' :: (b -> a -> b) -> b -> ActionRemoteRelationshipSelect a -> b # foldr1 :: (a -> a -> a) -> ActionRemoteRelationshipSelect a -> a # foldl1 :: (a -> a -> a) -> ActionRemoteRelationshipSelect a -> a # toList :: ActionRemoteRelationshipSelect a -> [a] # null :: ActionRemoteRelationshipSelect a -> Bool # length :: ActionRemoteRelationshipSelect a -> Int # elem :: Eq a => a -> ActionRemoteRelationshipSelect a -> Bool # maximum :: Ord a => ActionRemoteRelationshipSelect a -> a # minimum :: Ord a => ActionRemoteRelationshipSelect a -> a # sum :: Num a => ActionRemoteRelationshipSelect a -> a # product :: Num a => ActionRemoteRelationshipSelect a -> a #
Traversable ActionRemoteRelationshipSelect Source #
Instance details Defined in Hasura.RQL.IR.Action Methods traverse :: Applicative f => (a -> f b) -> ActionRemoteRelationshipSelect a -> f (ActionRemoteRelationshipSelect b) # sequenceA :: Applicative f => ActionRemoteRelationshipSelect (f a) -> f (ActionRemoteRelationshipSelect a) # mapM :: Monad m => (a -> m b) -> ActionRemoteRelationshipSelect a -> m (ActionRemoteRelationshipSelect b) # sequence :: Monad m => ActionRemoteRelationshipSelect (m a) -> m (ActionRemoteRelationshipSelect a) #
Functor ActionRemoteRelationshipSelect Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fmap :: (a -> b) -> ActionRemoteRelationshipSelect a -> ActionRemoteRelationshipSelect b # (<$) :: a -> ActionRemoteRelationshipSelect b -> ActionRemoteRelationshipSelect a #
Show r => Show (ActionRemoteRelationshipSelect r) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods showsPrec :: Int -> ActionRemoteRelationshipSelect r -> ShowS # show :: ActionRemoteRelationshipSelect r -> String # showList :: [ActionRemoteRelationshipSelect r] -> ShowS #
Eq r => Eq (ActionRemoteRelationshipSelect r) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods (==) :: ActionRemoteRelationshipSelect r -> ActionRemoteRelationshipSelect r -> Bool # (/=) :: ActionRemoteRelationshipSelect r -> ActionRemoteRelationshipSelect r -> Bool #

_ACFNestedObject :: forall r. Prism' (ActionFieldG r) (Name, ActionFieldsG r) Source #

_ACFExpression :: forall r. Prism' (ActionFieldG r) Text Source #

_ACFRemote :: forall r. Prism' (ActionFieldG r) (ActionRemoteRelationshipSelect r) Source #

_ACFScalar :: forall r. Prism' (ActionFieldG r) Name Source #

data AnnActionExecution (r :: Type) Source #

Constructors

AnnActionExecution

Fields

_aaeName :: ActionName
_aaeOutputType :: GraphQLType
output type
_aaeFields :: ActionFieldsG r
output selection
_aaePayload :: Value
jsonified input arguments
_aaeOutputFields :: ActionOutputFields
to validate the response fields from webhook
_aaeWebhook :: EnvRecord ResolvedWebhook
_aaeHeaders :: [HeaderConf]
_aaeForwardClientHeaders :: Bool
_aaeTimeOut :: Timeout
_aaeRequestTransform :: Maybe RequestTransform
_aaeResponseTransform :: Maybe MetadataResponseTransform

Instances

Instances details

Foldable AnnActionExecution Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fold :: Monoid m => AnnActionExecution m -> m # foldMap :: Monoid m => (a -> m) -> AnnActionExecution a -> m # foldMap' :: Monoid m => (a -> m) -> AnnActionExecution a -> m # foldr :: (a -> b -> b) -> b -> AnnActionExecution a -> b # foldr' :: (a -> b -> b) -> b -> AnnActionExecution a -> b # foldl :: (b -> a -> b) -> b -> AnnActionExecution a -> b # foldl' :: (b -> a -> b) -> b -> AnnActionExecution a -> b # foldr1 :: (a -> a -> a) -> AnnActionExecution a -> a # foldl1 :: (a -> a -> a) -> AnnActionExecution a -> a # toList :: AnnActionExecution a -> [a] # null :: AnnActionExecution a -> Bool # length :: AnnActionExecution a -> Int # elem :: Eq a => a -> AnnActionExecution a -> Bool # maximum :: Ord a => AnnActionExecution a -> a # minimum :: Ord a => AnnActionExecution a -> a # sum :: Num a => AnnActionExecution a -> a # product :: Num a => AnnActionExecution a -> a #
Traversable AnnActionExecution Source #
Instance details Defined in Hasura.RQL.IR.Action Methods traverse :: Applicative f => (a -> f b) -> AnnActionExecution a -> f (AnnActionExecution b) # sequenceA :: Applicative f => AnnActionExecution (f a) -> f (AnnActionExecution a) # mapM :: Monad m => (a -> m b) -> AnnActionExecution a -> m (AnnActionExecution b) # sequence :: Monad m => AnnActionExecution (m a) -> m (AnnActionExecution a) #
Functor AnnActionExecution Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fmap :: (a -> b) -> AnnActionExecution a -> AnnActionExecution b # (<$) :: a -> AnnActionExecution b -> AnnActionExecution a #

type ActionOutputFields = HashMap Name GType Source #

getActionOutputFields :: AnnotatedOutputType -> ActionOutputFields Source #

data AnnActionMutationAsync Source #

Constructors

AnnActionMutationAsync
Fields _aamaName :: ActionName _aamaForwardClientHeaders :: Bool _aamaPayload :: Value jsonified input arguments

Instances

Instances details

Show AnnActionMutationAsync Source #
Instance details Defined in Hasura.RQL.IR.Action Methods showsPrec :: Int -> AnnActionMutationAsync -> ShowS # show :: AnnActionMutationAsync -> String # showList :: [AnnActionMutationAsync] -> ShowS #
Eq AnnActionMutationAsync Source #
Instance details Defined in Hasura.RQL.IR.Action Methods (==) :: AnnActionMutationAsync -> AnnActionMutationAsync -> Bool # (/=) :: AnnActionMutationAsync -> AnnActionMutationAsync -> Bool #

data AsyncActionQueryFieldG (r :: Type) Source #

Constructors

AsyncTypename Text
AsyncOutput (ActionFieldsG r)
AsyncId
AsyncCreatedAt
AsyncErrors

Instances

Instances details

Foldable AsyncActionQueryFieldG Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fold :: Monoid m => AsyncActionQueryFieldG m -> m # foldMap :: Monoid m => (a -> m) -> AsyncActionQueryFieldG a -> m # foldMap' :: Monoid m => (a -> m) -> AsyncActionQueryFieldG a -> m # foldr :: (a -> b -> b) -> b -> AsyncActionQueryFieldG a -> b # foldr' :: (a -> b -> b) -> b -> AsyncActionQueryFieldG a -> b # foldl :: (b -> a -> b) -> b -> AsyncActionQueryFieldG a -> b # foldl' :: (b -> a -> b) -> b -> AsyncActionQueryFieldG a -> b # foldr1 :: (a -> a -> a) -> AsyncActionQueryFieldG a -> a # foldl1 :: (a -> a -> a) -> AsyncActionQueryFieldG a -> a # toList :: AsyncActionQueryFieldG a -> [a] # null :: AsyncActionQueryFieldG a -> Bool # length :: AsyncActionQueryFieldG a -> Int # elem :: Eq a => a -> AsyncActionQueryFieldG a -> Bool # maximum :: Ord a => AsyncActionQueryFieldG a -> a # minimum :: Ord a => AsyncActionQueryFieldG a -> a # sum :: Num a => AsyncActionQueryFieldG a -> a # product :: Num a => AsyncActionQueryFieldG a -> a #
Traversable AsyncActionQueryFieldG Source #
Instance details Defined in Hasura.RQL.IR.Action Methods traverse :: Applicative f => (a -> f b) -> AsyncActionQueryFieldG a -> f (AsyncActionQueryFieldG b) # sequenceA :: Applicative f => AsyncActionQueryFieldG (f a) -> f (AsyncActionQueryFieldG a) # mapM :: Monad m => (a -> m b) -> AsyncActionQueryFieldG a -> m (AsyncActionQueryFieldG b) # sequence :: Monad m => AsyncActionQueryFieldG (m a) -> m (AsyncActionQueryFieldG a) #
Functor AsyncActionQueryFieldG Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fmap :: (a -> b) -> AsyncActionQueryFieldG a -> AsyncActionQueryFieldG b # (<$) :: a -> AsyncActionQueryFieldG b -> AsyncActionQueryFieldG a #

data AnnActionAsyncQuery (b :: BackendType) (r :: Type) Source #

Constructors

AnnActionAsyncQuery
Fields _aaaqName :: ActionName _aaaqActionId :: ActionId _aaaqOutputType :: GraphQLType _aaaqFields :: AsyncActionQueryFieldsG r _aaaqDefinitionList :: [(Column b, ScalarType b)] _aaaqStringifyNum :: StringifyNumbers _aaaqForwardClientHeaders :: Bool _aaaqSource :: ActionSourceInfo b

Instances

Instances details

Foldable (AnnActionAsyncQuery b) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fold :: Monoid m => AnnActionAsyncQuery b m -> m # foldMap :: Monoid m => (a -> m) -> AnnActionAsyncQuery b a -> m # foldMap' :: Monoid m => (a -> m) -> AnnActionAsyncQuery b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> AnnActionAsyncQuery b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> AnnActionAsyncQuery b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> AnnActionAsyncQuery b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> AnnActionAsyncQuery b a -> b0 # foldr1 :: (a -> a -> a) -> AnnActionAsyncQuery b a -> a # foldl1 :: (a -> a -> a) -> AnnActionAsyncQuery b a -> a # toList :: AnnActionAsyncQuery b a -> [a] # null :: AnnActionAsyncQuery b a -> Bool # length :: AnnActionAsyncQuery b a -> Int # elem :: Eq a => a -> AnnActionAsyncQuery b a -> Bool # maximum :: Ord a => AnnActionAsyncQuery b a -> a # minimum :: Ord a => AnnActionAsyncQuery b a -> a # sum :: Num a => AnnActionAsyncQuery b a -> a # product :: Num a => AnnActionAsyncQuery b a -> a #
Traversable (AnnActionAsyncQuery b) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods traverse :: Applicative f => (a -> f b0) -> AnnActionAsyncQuery b a -> f (AnnActionAsyncQuery b b0) # sequenceA :: Applicative f => AnnActionAsyncQuery b (f a) -> f (AnnActionAsyncQuery b a) # mapM :: Monad m => (a -> m b0) -> AnnActionAsyncQuery b a -> m (AnnActionAsyncQuery b b0) # sequence :: Monad m => AnnActionAsyncQuery b (m a) -> m (AnnActionAsyncQuery b a) #
Functor (AnnActionAsyncQuery b) Source #
Instance details Defined in Hasura.RQL.IR.Action Methods fmap :: (a -> b0) -> AnnActionAsyncQuery b a -> AnnActionAsyncQuery b b0 # (<$) :: a -> AnnActionAsyncQuery b b0 -> AnnActionAsyncQuery b a #