opaleye-0.7.3.0: An SQL-generating DSL targeting PostgreSQL
Safe HaskellNone
LanguageHaskell2010

Opaleye.Internal.Join

Synopsis

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 #

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.

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 OT Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJson) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBytea) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGCitext) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGUuid) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamp) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTime) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt4) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt8) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGFloat8) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGDate) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBool) Source # 
Instance details

Defined in Opaleye.Internal.Join