Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.Select.From

Description

More leaves peeled from Select for compilation speed

Synopsis

data SelectFromG (b :: BackendType) v
- = FromTable (TableName b)
- | FromIdentifier FIIdentifier
- | FromFunction (FunctionName b) (FunctionArgsExp b v) (Maybe [(Column b, ScalarType b)])
- | FromNativeQuery (NativeQuery b v)
- | FromStoredProcedure (StoredProcedure b v)
type SelectFrom b = SelectFromG b (SQLExpression b)
newtype FIIdentifier = FIIdentifier {
- unFIIdentifier :: Text
}

Documentation

data SelectFromG (b :: BackendType) v Source #

Constructors

FromTable (TableName b)
FromIdentifier FIIdentifier
FromFunction (FunctionName b) (FunctionArgsExp b v) (Maybe [(Column b, ScalarType b)])
FromNativeQuery (NativeQuery b v)
FromStoredProcedure (StoredProcedure b v)

Instances

Instances details

Backend b => Foldable (SelectFromG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods fold :: Monoid m => SelectFromG b m -> m # foldMap :: Monoid m => (a -> m) -> SelectFromG b a -> m # foldMap' :: Monoid m => (a -> m) -> SelectFromG b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> SelectFromG b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> SelectFromG b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> SelectFromG b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> SelectFromG b a -> b0 # foldr1 :: (a -> a -> a) -> SelectFromG b a -> a # foldl1 :: (a -> a -> a) -> SelectFromG b a -> a # toList :: SelectFromG b a -> [a] # null :: SelectFromG b a -> Bool # length :: SelectFromG b a -> Int # elem :: Eq a => a -> SelectFromG b a -> Bool # maximum :: Ord a => SelectFromG b a -> a # minimum :: Ord a => SelectFromG b a -> a # sum :: Num a => SelectFromG b a -> a # product :: Num a => SelectFromG b a -> a #
Backend b => Traversable (SelectFromG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods traverse :: Applicative f => (a -> f b0) -> SelectFromG b a -> f (SelectFromG b b0) # sequenceA :: Applicative f => SelectFromG b (f a) -> f (SelectFromG b a) # mapM :: Monad m => (a -> m b0) -> SelectFromG b a -> m (SelectFromG b b0) # sequence :: Monad m => SelectFromG b (m a) -> m (SelectFromG b a) #
Backend b => Functor (SelectFromG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods fmap :: (a -> b0) -> SelectFromG b a -> SelectFromG b b0 # (<$) :: a -> SelectFromG b b0 -> SelectFromG b a #
Generic (SelectFromG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Associated Types type Rep (SelectFromG b v) :: Type -> Type # Methods from :: SelectFromG b v -> Rep (SelectFromG b v) x # to :: Rep (SelectFromG b v) x -> SelectFromG b v #
(Backend b, Show v, Show (FunctionArgumentExp b v), Show (NativeQuery b v), Show (StoredProcedure b v)) => Show (SelectFromG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods showsPrec :: Int -> SelectFromG b v -> ShowS # show :: SelectFromG b v -> String # showList :: [SelectFromG b v] -> ShowS #
(Backend b, Eq v, Eq (FunctionArgumentExp b v), Eq (NativeQuery b v), Eq (StoredProcedure b v)) => Eq (SelectFromG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods (==) :: SelectFromG b v -> SelectFromG b v -> Bool # (/=) :: SelectFromG b v -> SelectFromG b v -> Bool #
(Backend b, Hashable v, Hashable (FunctionArgumentExp b v), Hashable (NativeQuery b v), Hashable (StoredProcedure b v)) => Hashable (SelectFromG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods hashWithSalt :: Int -> SelectFromG b v -> Int Source # hash :: SelectFromG b v -> Int Source #
type Rep (SelectFromG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.From type Rep (SelectFromG b v) = D1 ('MetaData "SelectFromG" "Hasura.RQL.IR.Select.From" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "FromTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b))) :+: C1 ('MetaCons "FromIdentifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FIIdentifier))) :+: (C1 ('MetaCons "FromFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (FunctionName b)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (FunctionArgsExp b v)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe [(Column b, ScalarType b)])))) :+: (C1 ('MetaCons "FromNativeQuery" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NativeQuery b v))) :+: C1 ('MetaCons "FromStoredProcedure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (StoredProcedure b v))))))

type SelectFrom b = SelectFromG b (SQLExpression b) Source #

newtype FIIdentifier Source #

Identifier used exclusively as the argument to FromIdentifier

Constructors

FIIdentifier
Fields unFIIdentifier :: Text

Instances

Instances details

Generic FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select.From Associated Types type Rep FIIdentifier :: Type -> Type # Methods from :: FIIdentifier -> Rep FIIdentifier x # to :: Rep FIIdentifier x -> FIIdentifier #
Show FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods showsPrec :: Int -> FIIdentifier -> ShowS # show :: FIIdentifier -> String # showList :: [FIIdentifier] -> ShowS #
Eq FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods (==) :: FIIdentifier -> FIIdentifier -> Bool # (/=) :: FIIdentifier -> FIIdentifier -> Bool #
IsIdentifier FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods toIdentifier :: FIIdentifier -> Identifier Source #
Hashable FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select.From Methods hashWithSalt :: Int -> FIIdentifier -> Int Source # hash :: FIIdentifier -> Int Source #
type Rep FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select.From type Rep FIIdentifier = D1 ('MetaData "FIIdentifier" "Hasura.RQL.IR.Select.From" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "FIIdentifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFIIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))