Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.Select.TablePerm

Description

Arbitrarily putting leaves from RQL.IR.Select into own files to parallelise compilation

Documentation

data TablePermG (b :: BackendType) v Source #

Constructors

TablePerm
Fields _tpFilter :: AnnBoolExp b v _tpLimit :: Maybe Int

Instances

Instances details

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

type TablePerm b = TablePermG b (SQLExpression b) Source #

noTablePermissions :: TablePermG backend v Source #