Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.Returning

Documentation

data MutFldG (b :: BackendType) (r :: Type) v Source #

Constructors

MCount
MExp Text
MRet (AnnFieldsG b r v)

Instances

Instances details

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

type MutFld b = MutFldG b Void (SQLExpression b) Source #

type MutFldsG b r v = Fields (MutFldG b r v) Source #

data MutationOutputG (b :: BackendType) (r :: Type) v Source #

Constructors

MOutMultirowFields (MutFldsG b r v)
MOutSinglerowObject (AnnFieldsG b r v)

Instances

Instances details

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

type MutationOutput b = MutationOutputG b Void (SQLExpression b) Source #

type MutFlds b = MutFldsG b Void (SQLExpression b) Source #

buildEmptyMutResp :: MutationOutput backend -> EncJSON Source #

hasNestedFld :: MutationOutputG backend r a -> Bool Source #

_MRet :: forall b r v b r v. Prism (MutFldG b r v) (MutFldG b r v) (AnnFieldsG b r v) (AnnFieldsG b r v) Source #

_MExp :: forall b r v. Prism' (MutFldG b r v) Text Source #

_MCount :: forall b r v. Prism' (MutFldG b r v) () Source #