Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.Join

Synopsis

newtype NullMaker a b = NullMaker (a -> b)
toNullable :: NullMaker a b -> a -> b
joinExplicit :: Unpackspec columnsA columnsA -> Unpackspec columnsB columnsB -> (columnsA -> returnedColumnsA) -> (columnsB -> returnedColumnsB) -> JoinType -> Query columnsA -> Query columnsB -> ((columnsA, columnsB) -> Column PGBool) -> Query (returnedColumnsA, returnedColumnsB)
leftJoinAExplicit :: Unpackspec a a -> NullMaker a nullableA -> Query a -> QueryArr (a -> Column PGBool) nullableA
optionalRestrict :: Default Unpackspec a a => Select a -> SelectArr (a -> Field SqlBool) (MaybeFields a)
optionalRestrictExplicit :: Unpackspec a a -> Select a -> SelectArr (a -> Field SqlBool) (MaybeFields a)
leftJoinInTermsOfOptionalRestrict :: Default Unpackspec fieldsR fieldsR => Select fieldsL -> Select fieldsR -> ((fieldsL, fieldsR) -> Field SqlBool) -> Select (fieldsL, MaybeFields fieldsR)
extractLeftJoinFields :: Int -> Tag -> PrimExpr -> PM [(Symbol, PrimExpr)] PrimExpr
data Nulled

Documentation

newtype NullMaker a b Source #

Constructors

NullMaker (a -> b)

Instances

Instances details

Profunctor NullMaker Source #
Instance details Defined in Opaleye.Internal.Join Methods dimap :: (a -> b) -> (c -> d) -> NullMaker b c -> NullMaker a d # lmap :: (a -> b) -> NullMaker b c -> NullMaker a c # rmap :: (b -> c) -> NullMaker a b -> NullMaker a c # (#.) :: forall a b c q. Coercible c b => q b c -> NullMaker a b -> NullMaker a c # (.#) :: forall a b c q. Coercible b a => NullMaker b c -> q a b -> NullMaker a c #
ProductProfunctor NullMaker Source #
Instance details Defined in Opaleye.Internal.Join Methods purePP :: b -> NullMaker a b # (**) :: NullMaker a (b -> c) -> NullMaker a b -> NullMaker a c # empty :: NullMaker () () # (*!) :: NullMaker a b -> NullMaker a' b' -> NullMaker (a, a') (b, b') #
Default NullMaker (Column a) (Column (Nullable a)) Source #
Instance details Defined in Opaleye.Internal.Join Methods def :: NullMaker (Column a) (Column (Nullable a)) #
Default NullMaker (Column (Nullable a)) (Column (Nullable a)) Source #
Instance details Defined in Opaleye.Internal.Join Methods def :: NullMaker (Column (Nullable a)) (Column (Nullable a)) #
Functor (NullMaker a) Source #
Instance details Defined in Opaleye.Internal.Join Methods fmap :: (a0 -> b) -> NullMaker a a0 -> NullMaker a b # (<$) :: a0 -> NullMaker a b -> NullMaker a a0 #
Applicative (NullMaker a) Source #
Instance details Defined in Opaleye.Internal.Join Methods pure :: a0 -> NullMaker a a0 # (<>) :: NullMaker a (a0 -> b) -> NullMaker a a0 -> NullMaker a b # liftA2 :: (a0 -> b -> c) -> NullMaker a a0 -> NullMaker a b -> NullMaker a c # (>) :: NullMaker a a0 -> NullMaker a b -> NullMaker a b # (<*) :: NullMaker a a0 -> NullMaker a b -> NullMaker a a0 #

toNullable :: NullMaker a b -> a -> b Source #

joinExplicit :: Unpackspec columnsA columnsA -> Unpackspec columnsB columnsB -> (columnsA -> returnedColumnsA) -> (columnsB -> returnedColumnsB) -> JoinType -> Query columnsA -> Query columnsB -> ((columnsA, columnsB) -> Column PGBool) -> Query (returnedColumnsA, returnedColumnsB) Source #

leftJoinAExplicit :: Unpackspec a a -> NullMaker a nullableA -> Query a -> QueryArr (a -> Column PGBool) nullableA Source #

optionalRestrict :: Default Unpackspec a a => Select a -> SelectArr (a -> Field SqlBool) (MaybeFields a) Source #

optionalRestrictExplicit :: Unpackspec a a -> Select a -> SelectArr (a -> Field SqlBool) (MaybeFields a) Source #

leftJoinInTermsOfOptionalRestrict :: Default Unpackspec fieldsR fieldsR => Select fieldsL -> Select fieldsR -> ((fieldsL, fieldsR) -> Field SqlBool) -> Select (fieldsL, MaybeFields fieldsR) Source #

An example to demonstrate how the functionality of LEFT JOIN can be recovered using optionalRestrict.

extractLeftJoinFields :: Int -> Tag -> PrimExpr -> PM [(Symbol, PrimExpr)] PrimExpr Source #

data Nulled Source #

Deprecated: Will be removed in version 0.8

Instances

Instances details

type IMap Nulled NullsT Source #
Instance details Defined in Opaleye.Internal.Join type IMap Nulled NullsT = NullsT
type IMap Nulled OT Source #
Instance details Defined in Opaleye.Internal.Join type IMap Nulled OT = NullsT
type Map Nulled (Column (Nullable a)) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column (Nullable a)) = Column (Nullable a)
type Map Nulled (Column PGJsonb) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGJsonb) = Column (Nullable PGJsonb)
type Map Nulled (Column PGJson) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGJson) = Column (Nullable PGJson)
type Map Nulled (Column PGBytea) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGBytea) = Column (Nullable PGBytea)
type Map Nulled (Column PGCitext) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGCitext) = Column (Nullable PGCitext)
type Map Nulled (Column PGUuid) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGUuid) = Column (Nullable PGUuid)
type Map Nulled (Column PGTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGTimestamptz) = Column (Nullable PGTimestamptz)
type Map Nulled (Column PGTimestamp) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGTimestamp) = Column (Nullable PGTimestamp)
type Map Nulled (Column PGTime) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGTime) = Column (Nullable PGTime)
type Map Nulled (Column PGText) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGText) = Column (Nullable PGText)
type Map Nulled (Column PGText) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGText) = Column (Nullable PGText)
type Map Nulled (Column PGInt4) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGInt4) = Column (Nullable PGInt4)
type Map Nulled (Column PGInt8) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGInt8) = Column (Nullable PGInt8)
type Map Nulled (Column PGFloat8) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGFloat8) = Column (Nullable PGFloat8)
type Map Nulled (Column PGDate) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGDate) = Column (Nullable PGDate)
type Map Nulled (Column PGBool) Source #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGBool) = Column (Nullable PGBool)