Opaleye.Internal.Join

Documentation

newtype NullMaker a b

Constructors

NullMaker (a -> b)

Instances

Profunctor NullMaker

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

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))

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Column a) (Column (Nullable a))

Default NullMaker (Column (Nullable a)) (Column (Nullable a))

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Column (Nullable a)) (Column (Nullable a))

Functor (NullMaker a)

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)

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

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)

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

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

data Nulled

Deprecated: Will be removed in version 0.8

Instances

type IMap Nulled NullsT

Defined in Opaleye.Internal.Join

type IMap Nulled NullsT = NullsT

type IMap Nulled OT

Defined in Opaleye.Internal.Join

type IMap Nulled OT = NullsT

type Map Nulled (Column (Nullable a))

Defined in Opaleye.Internal.Join

type Map Nulled (Column (Nullable a)) = Column (Nullable a)

type Map Nulled (Column PGJsonb)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJsonb) = Column (Nullable PGJsonb)

type Map Nulled (Column PGJson)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJson) = Column (Nullable PGJson)

type Map Nulled (Column PGBytea)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBytea) = Column (Nullable PGBytea)

type Map Nulled (Column PGCitext)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGCitext) = Column (Nullable PGCitext)

type Map Nulled (Column PGUuid)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGUuid) = Column (Nullable PGUuid)

type Map Nulled (Column PGTimestamptz)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamptz) = Column (Nullable PGTimestamptz)

type Map Nulled (Column PGTimestamp)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamp) = Column (Nullable PGTimestamp)

type Map Nulled (Column PGTime)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTime) = Column (Nullable PGTime)

type Map Nulled (Column PGText)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) = Column (Nullable PGText)

type Map Nulled (Column PGText)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) = Column (Nullable PGText)

type Map Nulled (Column PGInt4)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt4) = Column (Nullable PGInt4)

type Map Nulled (Column PGInt8)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt8) = Column (Nullable PGInt8)

type Map Nulled (Column PGFloat8)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGFloat8) = Column (Nullable PGFloat8)

type Map Nulled (Column PGDate)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGDate) = Column (Nullable PGDate)

type Map Nulled (Column PGBool)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBool) = Column (Nullable PGBool)