Opaleye.Internal.Join

Documentation

newtype NullMaker a b

Constructors

NullMaker (a -> b)

Instances

ProductProfunctor NullMaker

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

Profunctor NullMaker

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

(#.) :: Coercible * c b => (b -> c) -> NullMaker a b -> NullMaker a c

(.#) :: Coercible * b a => NullMaker b c -> (a -> b) -> NullMaker a c

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

Methods

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

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

Methods

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

Functor (NullMaker a)

Methods

fmap :: (a -> b) -> NullMaker a a -> NullMaker a b

(<$) :: a -> NullMaker a b -> NullMaker a a

Applicative (NullMaker a)

Methods

pure :: a -> NullMaker a a

(<*>) :: NullMaker a (a -> b) -> NullMaker a a -> NullMaker a b

(*>) :: NullMaker a a -> NullMaker a b -> NullMaker a b

(<*) :: NullMaker a a -> NullMaker a b -> NullMaker a a

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)

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