Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.Backends.Postgres.Types.BoolExp

Description

Postgres Types BoolExp

Postgres-specific BooleanOperator extensions.

Documentation

data BooleanOperators a Source #

Constructors

AILIKE a
ANILIKE a
ASIMILAR a
ANSIMILAR a
AREGEX a
AIREGEX a
ANREGEX a
ANIREGEX a
AContains a
AContainedIn a
AHasKey a
AHasKeysAny a
AHasKeysAll a
ASTContains a
ASTCrosses a
ASTEquals a
ASTIntersects a
AST3DIntersects a
ASTOverlaps a
ASTTouches a
ASTWithin a
ASTIntersectsRast a
ASTDWithinGeom (DWithinGeomOp a)
AST3DDWithinGeom (DWithinGeomOp a)
ASTDWithinGeog (DWithinGeogOp a)
ASTIntersectsGeomNband (STIntersectsGeomminNband a)
ASTIntersectsNbandGeom (STIntersectsNbandGeommin a)
AAncestor a
AAncestorAny a
ADescendant a
ADescendantAny a
AMatches a
AMatchesAny a
AMatchesFulltext a

Instances

Instances details

Foldable BooleanOperators Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods fold :: Monoid m => BooleanOperators m -> m # foldMap :: Monoid m => (a -> m) -> BooleanOperators a -> m # foldMap' :: Monoid m => (a -> m) -> BooleanOperators a -> m # foldr :: (a -> b -> b) -> b -> BooleanOperators a -> b # foldr' :: (a -> b -> b) -> b -> BooleanOperators a -> b # foldl :: (b -> a -> b) -> b -> BooleanOperators a -> b # foldl' :: (b -> a -> b) -> b -> BooleanOperators a -> b # foldr1 :: (a -> a -> a) -> BooleanOperators a -> a # foldl1 :: (a -> a -> a) -> BooleanOperators a -> a # toList :: BooleanOperators a -> [a] # null :: BooleanOperators a -> Bool # length :: BooleanOperators a -> Int # elem :: Eq a => a -> BooleanOperators a -> Bool # maximum :: Ord a => BooleanOperators a -> a # minimum :: Ord a => BooleanOperators a -> a # sum :: Num a => BooleanOperators a -> a # product :: Num a => BooleanOperators a -> a #
Traversable BooleanOperators Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods traverse :: Applicative f => (a -> f b) -> BooleanOperators a -> f (BooleanOperators b) # sequenceA :: Applicative f => BooleanOperators (f a) -> f (BooleanOperators a) # mapM :: Monad m => (a -> m b) -> BooleanOperators a -> m (BooleanOperators b) # sequence :: Monad m => BooleanOperators (m a) -> m (BooleanOperators a) #
Functor BooleanOperators Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods fmap :: (a -> b) -> BooleanOperators a -> BooleanOperators b # (<$) :: a -> BooleanOperators b -> BooleanOperators a #
Generic (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Associated Types type Rep (BooleanOperators a) :: Type -> Type # Methods from :: BooleanOperators a -> Rep (BooleanOperators a) x # to :: Rep (BooleanOperators a) x -> BooleanOperators a #
Show a => Show (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods showsPrec :: Int -> BooleanOperators a -> ShowS # show :: BooleanOperators a -> String # showList :: [BooleanOperators a] -> ShowS #
NFData a => NFData (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods rnf :: BooleanOperators a -> () #
Eq a => Eq (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods (==) :: BooleanOperators a -> BooleanOperators a -> Bool # (/=) :: BooleanOperators a -> BooleanOperators a -> Bool #
Hashable a => Hashable (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods hashWithSalt :: Int -> BooleanOperators a -> Int Source # hash :: BooleanOperators a -> Int Source #
ToJSON a => ToJSONKeyValue (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp Methods toJSONKeyValue :: BooleanOperators a -> (Key, Value) Source #
type Rep (BooleanOperators a) Source #
Instance details Defined in Hasura.Backends.Postgres.Types.BoolExp type Rep (BooleanOperators a) = D1 ('MetaData "BooleanOperators" "Hasura.Backends.Postgres.Types.BoolExp" "graphql-engine-1.0.0-inplace" 'False) (((((C1 ('MetaCons "AILIKE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ANILIKE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "ASIMILAR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ANSIMILAR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: ((C1 ('MetaCons "AREGEX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "AIREGEX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "ANREGEX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ANIREGEX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))) :+: (((C1 ('MetaCons "AContains" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "AContainedIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "AHasKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "AHasKeysAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: ((C1 ('MetaCons "AHasKeysAll" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ASTContains" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "ASTCrosses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "ASTEquals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ASTIntersects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))))) :+: ((((C1 ('MetaCons "AST3DIntersects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ASTOverlaps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "ASTTouches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ASTWithin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: ((C1 ('MetaCons "ASTIntersectsRast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ASTDWithinGeom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (DWithinGeomOp a)))) :+: (C1 ('MetaCons "AST3DDWithinGeom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (DWithinGeomOp a))) :+: C1 ('MetaCons "ASTDWithinGeog" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (DWithinGeogOp a)))))) :+: (((C1 ('MetaCons "ASTIntersectsGeomNband" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (STIntersectsGeomminNband a))) :+: C1 ('MetaCons "ASTIntersectsNbandGeom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (STIntersectsNbandGeommin a)))) :+: (C1 ('MetaCons "AAncestor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "AAncestorAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))) :+: ((C1 ('MetaCons "ADescendant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "ADescendantAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))) :+: (C1 ('MetaCons "AMatches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "AMatchesAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "AMatchesFulltext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))))))