[{"display_html":"today :: Expr Day","name":"today","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:today"},{"display_html":"toDay :: Expr UTCTime -> Expr Day","name":"toDay","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:toDay"},{"display_html":"fromDay :: Expr Day -> Expr UTCTime","name":"fromDay","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:fromDay"},{"display_html":"addDays :: Expr Int32 -> Expr Day -> Expr Day","name":"addDays","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:addDays"},{"display_html":"diffDays :: Expr Day -> Expr Day -> Expr Int32","name":"diffDays","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:diffDays"},{"display_html":"subtractDays :: Expr Int32 -> Expr Day -> Expr Day","name":"subtractDays","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:subtractDays"},{"display_html":"now :: Expr UTCTime","name":"now","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:now"},{"display_html":"addTime :: Expr CalendarDiffTime -> Expr UTCTime -> Expr UTCTime","name":"addTime","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:addTime"},{"display_html":"diffTime :: Expr UTCTime -> Expr UTCTime -> Expr CalendarDiffTime","name":"diffTime","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:diffTime"},{"display_html":"subtractTime :: Expr CalendarDiffTime -> Expr UTCTime -> Expr UTCTime","name":"subtractTime","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:subtractTime"},{"display_html":"scaleInterval :: Expr Double -> Expr CalendarDiffTime -> Expr CalendarDiffTime","name":"scaleInterval","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:scaleInterval"},{"display_html":"second :: Expr CalendarDiffTime","name":"second","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:second"},{"display_html":"seconds :: Expr Double -> Expr CalendarDiffTime","name":"seconds","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:seconds"},{"display_html":"minute :: Expr CalendarDiffTime","name":"minute","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:minute"},{"display_html":"minutes :: Expr Double -> Expr CalendarDiffTime","name":"minutes","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:minutes"},{"display_html":"hour :: Expr CalendarDiffTime","name":"hour","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:hour"},{"display_html":"hours :: Expr Double -> Expr CalendarDiffTime","name":"hours","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:hours"},{"display_html":"day :: Expr CalendarDiffTime","name":"day","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:day"},{"display_html":"days :: Expr Double -> Expr CalendarDiffTime","name":"days","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:days"},{"display_html":"week :: Expr CalendarDiffTime","name":"week","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:week"},{"display_html":"weeks :: Expr Double -> Expr CalendarDiffTime","name":"weeks","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:weeks"},{"display_html":"month :: Expr CalendarDiffTime","name":"month","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:month"},{"display_html":"months :: Expr Double -> Expr CalendarDiffTime","name":"months","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:months"},{"display_html":"year :: Expr CalendarDiffTime","name":"year","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:year"},{"display_html":"years :: Expr Double -> Expr CalendarDiffTime","name":"years","module":"Rel8.Expr.Time","link":"Rel8-Expr-Time.html#v:years"},{"display_html":"(++.) :: Expr Text -> Expr Text -> Expr Text","name":"++.","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:-43--43-."},{"display_html":"(~.) :: Expr Text -> Expr Text -> Expr Bool","name":"~.","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:-126-."},{"display_html":"(~*) :: Expr Text -> Expr Text -> Expr Bool","name":"~*","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:-126--42-"},{"display_html":"(!~) :: Expr Text -> Expr Text -> Expr Bool","name":"!~","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:-33--126-"},{"display_html":"(!~*) :: Expr Text -> Expr Text -> Expr Bool","name":"!~*","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:-33--126--42-"},{"display_html":"bitLength :: Expr Text -> Expr Int32","name":"bitLength","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:bitLength"},{"display_html":"charLength :: Expr Text -> Expr Int32","name":"charLength","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:charLength"},{"display_html":"lower :: Expr Text -> Expr Text","name":"lower","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:lower"},{"display_html":"octetLength :: Expr Text -> Expr Int32","name":"octetLength","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:octetLength"},{"display_html":"upper :: Expr Text -> Expr Text","name":"upper","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:upper"},{"display_html":"ascii :: Expr Text -> Expr Int32","name":"ascii","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:ascii"},{"display_html":"btrim :: Expr Text -> Maybe (Expr Text) -> Expr Text","name":"btrim","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:btrim"},{"display_html":"chr :: Expr Int32 -> Expr Text","name":"chr","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:chr"},{"display_html":"convert :: Expr ByteString -> Expr Text -> Expr Text -> Expr ByteString","name":"convert","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:convert"},{"display_html":"convertFrom :: Expr ByteString -> Expr Text -> Expr Text","name":"convertFrom","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:convertFrom"},{"display_html":"convertTo :: Expr Text -> Expr Text -> Expr ByteString","name":"convertTo","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:convertTo"},{"display_html":"decode :: Expr Text -> Expr Text -> Expr ByteString","name":"decode","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:decode"},{"display_html":"encode :: Expr ByteString -> Expr Text -> Expr Text","name":"encode","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:encode"},{"display_html":"initcap :: Expr Text -> Expr Text","name":"initcap","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:initcap"},{"display_html":"left :: Expr Text -> Expr Int32 -> Expr Text","name":"left","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:left"},{"display_html":"length :: Expr Text -> Expr Int32","name":"length","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:length"},{"display_html":"lengthEncoding :: Expr ByteString -> Expr Text -> Expr Int32","name":"lengthEncoding","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:lengthEncoding"},{"display_html":"lpad :: Expr Text -> Expr Int32 -> Maybe (Expr Text) -> Expr Text","name":"lpad","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:lpad"},{"display_html":"ltrim :: Expr Text -> Maybe (Expr Text) -> Expr Text","name":"ltrim","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:ltrim"},{"display_html":"md5 :: Expr Text -> Expr Text","name":"md5","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:md5"},{"display_html":"pgClientEncoding :: Expr Text","name":"pgClientEncoding","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:pgClientEncoding"},{"display_html":"quoteIdent :: Expr Text -> Expr Text","name":"quoteIdent","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:quoteIdent"},{"display_html":"quoteLiteral :: Expr Text -> Expr Text","name":"quoteLiteral","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:quoteLiteral"},{"display_html":"quoteNullable :: Expr Text -> Expr Text","name":"quoteNullable","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:quoteNullable"},{"display_html":"regexpReplace :: Expr Text -> Expr Text -> Expr Text -> Maybe (Expr Text) -> Expr Text","name":"regexpReplace","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:regexpReplace"},{"display_html":"regexpSplitToArray :: Expr Text -> Expr Text -> Maybe (Expr Text) -> Expr [Text]","name":"regexpSplitToArray","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:regexpSplitToArray"},{"display_html":"repeat :: Expr Text -> Expr Int32 -> Expr Text","name":"repeat","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:repeat"},{"display_html":"replace :: Expr Text -> Expr Text -> Expr Text -> Expr Text","name":"replace","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:replace"},{"display_html":"reverse :: Expr Text -> Expr Text","name":"reverse","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:reverse"},{"display_html":"right :: Expr Text -> Expr Int32 -> Expr Text","name":"right","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:right"},{"display_html":"rpad :: Expr Text -> Expr Int32 -> Maybe (Expr Text) -> Expr Text","name":"rpad","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:rpad"},{"display_html":"rtrim :: Expr Text -> Maybe (Expr Text) -> Expr Text","name":"rtrim","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:rtrim"},{"display_html":"splitPart :: Expr Text -> Expr Text -> Expr Int32 -> Expr Text","name":"splitPart","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:splitPart"},{"display_html":"strpos :: Expr Text -> Expr Text -> Expr Int32","name":"strpos","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:strpos"},{"display_html":"substr :: Expr Text -> Expr Int32 -> Maybe (Expr Int32) -> Expr Text","name":"substr","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:substr"},{"display_html":"translate :: Expr Text -> Expr Text -> Expr Text -> Expr Text","name":"translate","module":"Rel8.Expr.Text","link":"Rel8-Expr-Text.html#v:translate"},{"display_html":"fromIntegral :: (Sql DBIntegral a, Sql DBNum b, Homonullable a b) => Expr a -> Expr b","name":"fromIntegral","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:fromIntegral"},{"display_html":"realToFrac :: (Sql DBNum a, Sql DBFractional b, Homonullable a b) => Expr a -> Expr b","name":"realToFrac","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:realToFrac"},{"display_html":"div :: Sql DBIntegral a => Expr a -> Expr a -> Expr a","name":"div","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:div"},{"display_html":"mod :: Sql DBIntegral a => Expr a -> Expr a -> Expr a","name":"mod","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:mod"},{"display_html":"ceiling :: (Sql DBFractional a, Sql DBIntegral b, Homonullable a b) => Expr a -> Expr b","name":"ceiling","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:ceiling"},{"display_html":"floor :: (Sql DBFractional a, Sql DBIntegral b, Homonullable a b) => Expr a -> Expr b","name":"floor","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:floor"},{"display_html":"round :: (Sql DBFractional a, Sql DBIntegral b, Homonullable a b) => Expr a -> Expr b","name":"round","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:round"},{"display_html":"truncate :: (Sql DBFractional a, Sql DBIntegral b, Homonullable a b) => Expr a -> Expr b","name":"truncate","module":"Rel8.Expr.Num","link":"Rel8-Expr-Num.html#v:truncate"},{"display_html":"data Tabulation k a","name":"Tabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#t:Tabulation"},{"display_html":"tabulate :: (a -> k) -> a -> Tabulation k a","name":"tabulate","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:tabulate"},{"display_html":"tabulateA :: (a -> Query k) -> a -> Tabulation k a","name":"tabulateA","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:tabulateA"},{"display_html":"runTabulation :: EqTable k => Query k -> Tabulation k a -> Query (k, a)","name":"runTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:runTabulation"},{"display_html":"fromQuery :: Query (k, a) -> Tabulation k a","name":"fromQuery","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:fromQuery"},{"display_html":"liftQuery :: Query a -> Tabulation k a","name":"liftQuery","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:liftQuery"},{"display_html":"prebind :: (a -> Tabulation k b) -> Query a -> Tabulation k b","name":"prebind","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:prebind"},{"display_html":"postbind :: (a -> Query b) -> Tabulation k a -> Tabulation k b","name":"postbind","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:postbind"},{"display_html":"indexed :: Tabulation k a -> Tabulation k (k, a)","name":"indexed","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:indexed"},{"display_html":"ifilter :: (k -> a -> Expr Bool) -> Tabulation k a -> Tabulation k a","name":"ifilter","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:ifilter"},{"display_html":"lookup :: EqTable k => k -> Tabulation k a -> Query a","name":"lookup","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:lookup"},{"display_html":"align :: (EqTable k, Table Expr a, Table Expr b) => Tabulation k a -> Tabulation k b -> Tabulation k (TheseTable a b)","name":"align","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:align"},{"display_html":"alignWith :: (EqTable k, Table Expr a, Table Expr b) => (TheseTable a b -> c) -> Tabulation k a -> Tabulation k b -> Tabulation k c","name":"alignWith","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:alignWith"},{"display_html":"leftAlign :: EqTable k => Tabulation k a -> Tabulation k b -> Tabulation k (a, MaybeTable b)","name":"leftAlign","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:leftAlign"},{"display_html":"leftAlignWith :: EqTable k => (a -> MaybeTable b -> c) -> Tabulation k a -> Tabulation k b -> Tabulation k c","name":"leftAlignWith","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:leftAlignWith"},{"display_html":"zip :: EqTable k => Tabulation k a -> Tabulation k b -> Tabulation k (a, b)","name":"zip","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:zip"},{"display_html":"zipWith :: EqTable k => (a -> b -> c) -> Tabulation k a -> Tabulation k b -> Tabulation k c","name":"zipWith","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:zipWith"},{"display_html":"similarity :: EqTable k => Tabulation k a -> Tabulation k b -> Tabulation k a","name":"similarity","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:similarity"},{"display_html":"difference :: EqTable k => Tabulation k a -> Tabulation k b -> Tabulation k a","name":"difference","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:difference"},{"display_html":"aggregateTabulation :: forall k aggregates exprs. (EqTable k, Aggregates aggregates exprs) => Tabulation k aggregates -> Tabulation k exprs","name":"aggregateTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:aggregateTabulation"},{"display_html":"orderTabulation :: OrdTable k => Order a -> Tabulation k a -> Tabulation k a","name":"orderTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:orderTabulation"},{"display_html":"distinctTabulation :: EqTable k => Tabulation k a -> Tabulation k a","name":"distinctTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:distinctTabulation"},{"display_html":"optionalTabulation :: EqTable k => Tabulation k a -> Tabulation k (MaybeTable a)","name":"optionalTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:optionalTabulation"},{"display_html":"manyTabulation :: (EqTable k, Table Expr a) => Tabulation k a -> Tabulation k (ListTable a)","name":"manyTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:manyTabulation"},{"display_html":"someTabulation :: (EqTable k, Table Expr a) => Tabulation k a -> Tabulation k (NonEmptyTable a)","name":"someTabulation","module":"Rel8.Tabulate","link":"Rel8-Tabulate.html#v:someTabulation"},{"display_html":"class NotNull a => DBType a where","name":"DBType typeInformation","module":"Rel8","link":"Rel8.html#t:DBType"},{"display_html":"newtype JSONEncoded a = JSONEncoded {}","name":"JSONEncoded JSONEncoded fromJSONEncoded","module":"Rel8","link":"Rel8.html#t:JSONEncoded"},{"display_html":"newtype JSONBEncoded a = JSONBEncoded {}","name":"JSONBEncoded JSONBEncoded fromJSONBEncoded","module":"Rel8","link":"Rel8.html#t:JSONBEncoded"},{"display_html":"newtype ReadShow a = ReadShow {}","name":"ReadShow ReadShow fromReadShow","module":"Rel8","link":"Rel8.html#t:ReadShow"},{"display_html":"newtype Composite a = Composite a","name":"Composite Composite","module":"Rel8","link":"Rel8.html#t:Composite"},{"display_html":"class (DBType a, HKDable a) => DBComposite a where","name":"DBComposite compositeFields compositeTypeName","module":"Rel8","link":"Rel8.html#t:DBComposite"},{"display_html":"compose :: DBComposite a => HKD a Expr -> Expr a","name":"compose","module":"Rel8","link":"Rel8.html#v:compose"},{"display_html":"decompose :: forall a. DBComposite a => Expr a -> HKD a Expr","name":"decompose","module":"Rel8","link":"Rel8.html#v:decompose"},{"display_html":"newtype Enum a = Enum a","name":"Enum Enum","module":"Rel8","link":"Rel8.html#t:Enum"},{"display_html":"class (DBType a, Enumable a) => DBEnum a where","name":"DBEnum enumValue enumTypeName","module":"Rel8","link":"Rel8.html#t:DBEnum"},{"display_html":"class (Generic a, GEnumable (Rep a)) => Enumable a","name":"Enumable","module":"Rel8","link":"Rel8.html#t:Enumable"},{"display_html":"data TypeInformation a = TypeInformation {}","name":"TypeInformation TypeInformation decode encode typeName","module":"Rel8","link":"Rel8.html#t:TypeInformation"},{"display_html":"mapTypeInformation :: (a -> b) -> (b -> a) -> TypeInformation a -> TypeInformation b","name":"mapTypeInformation","module":"Rel8","link":"Rel8.html#v:mapTypeInformation"},{"display_html":"parseTypeInformation :: (a -> Either String b) -> (b -> a) -> TypeInformation a -> TypeInformation b","name":"parseTypeInformation","module":"Rel8","link":"Rel8.html#v:parseTypeInformation"},{"display_html":"class DBType a => DBSemigroup a where","name":"DBSemigroup <>.","module":"Rel8","link":"Rel8.html#t:DBSemigroup"},{"display_html":"class DBSemigroup a => DBMonoid a where","name":"DBMonoid memptyExpr","module":"Rel8","link":"Rel8.html#t:DBMonoid"},{"display_html":"class DBType a => DBNum a","name":"DBNum","module":"Rel8","link":"Rel8.html#t:DBNum"},{"display_html":"class DBNum a => DBIntegral a","name":"DBIntegral","module":"Rel8","link":"Rel8.html#t:DBIntegral"},{"display_html":"class DBNum a => DBFractional a","name":"DBFractional","module":"Rel8","link":"Rel8.html#t:DBFractional"},{"display_html":"class DBFractional a => DBFloating a","name":"DBFloating","module":"Rel8","link":"Rel8.html#t:DBFloating"},{"display_html":"class HTable (GColumns t) => Rel8able t","name":"Rel8able","module":"Rel8","link":"Rel8.html#t:Rel8able"},{"display_html":"type KRel8able = Rel8able","name":"KRel8able","module":"Rel8","link":"Rel8.html#t:KRel8able"},{"display_html":"type Column context a = Field context 'Required a","name":"Column","module":"Rel8","link":"Rel8.html#t:Column"},{"display_html":"type family Field context necessity a where ...","name":"Field","module":"Rel8","link":"Rel8.html#t:Field"},{"display_html":"data Necessity","name":"Necessity Required Optional","module":"Rel8","link":"Rel8.html#t:Necessity"},{"display_html":"type Default context a = Field context 'Optional a","name":"Default","module":"Rel8","link":"Rel8.html#t:Default"},{"display_html":"type family HADT context t where ...","name":"HADT","module":"Rel8","link":"Rel8.html#t:HADT"},{"display_html":"type family HEither context where ...","name":"HEither","module":"Rel8","link":"Rel8.html#t:HEither"},{"display_html":"type family HMaybe context where ...","name":"HMaybe","module":"Rel8","link":"Rel8.html#t:HMaybe"},{"display_html":"type family HList context where ...","name":"HList","module":"Rel8","link":"Rel8.html#t:HList"},{"display_html":"type family HNonEmpty context where ...","name":"HNonEmpty","module":"Rel8","link":"Rel8.html#t:HNonEmpty"},{"display_html":"type family HThese context where ...","name":"HThese","module":"Rel8","link":"Rel8.html#t:HThese"},{"display_html":"type family Lift context a where ...","name":"Lift","module":"Rel8","link":"Rel8.html#t:Lift"},{"display_html":"class (HTable (Columns a), context ~ Context a) => Table context a | a -> context where","name":"Table Context Columns Unreify fromColumns toColumns reify unreify","module":"Rel8","link":"Rel8.html#t:Table"},{"display_html":"class AltTable f where","name":"AltTable <|>:","module":"Rel8","link":"Rel8.html#t:AltTable"},{"display_html":"class AltTable f => AlternativeTable f where","name":"AlternativeTable emptyTable","module":"Rel8","link":"Rel8.html#t:AlternativeTable"},{"display_html":"class Table Expr a => EqTable a","name":"EqTable","module":"Rel8","link":"Rel8.html#t:EqTable"},{"display_html":"(==:) :: forall a. EqTable a => a -> a -> Expr Bool","name":"==:","module":"Rel8","link":"Rel8.html#v:-61--61-:"},{"display_html":"(/=:) :: forall a. EqTable a => a -> a -> Expr Bool","name":"/=:","module":"Rel8","link":"Rel8.html#v:-47--61-:"},{"display_html":"class EqTable a => OrdTable a","name":"OrdTable","module":"Rel8","link":"Rel8.html#t:OrdTable"},{"display_html":"ascTable :: forall a. OrdTable a => Order a","name":"ascTable","module":"Rel8","link":"Rel8.html#v:ascTable"},{"display_html":"descTable :: forall a. OrdTable a => Order a","name":"descTable","module":"Rel8","link":"Rel8.html#v:descTable"},{"display_html":"lit :: forall exprs a. Serializable exprs a => a -> exprs","name":"lit","module":"Rel8","link":"Rel8.html#v:lit"},{"display_html":"bool :: Table Expr a => a -> a -> Expr Bool -> a","name":"bool","module":"Rel8","link":"Rel8.html#v:bool"},{"display_html":"case_ :: Table Expr a => [(Expr Bool, a)] -> a -> a","name":"case_","module":"Rel8","link":"Rel8.html#v:case_"},{"display_html":"data MaybeTable a","name":"MaybeTable","module":"Rel8","link":"Rel8.html#t:MaybeTable"},{"display_html":"maybeTable :: Table Expr b => b -> (a -> b) -> MaybeTable a -> b","name":"maybeTable","module":"Rel8","link":"Rel8.html#v:maybeTable"},{"display_html":"($?) :: forall a b. Sql DBType b => (a -> Expr b) -> MaybeTable a -> Expr (Nullify b)","name":"$?","module":"Rel8","link":"Rel8.html#v:-36--63-"},{"display_html":"nothingTable :: Table Expr a => MaybeTable a","name":"nothingTable","module":"Rel8","link":"Rel8.html#v:nothingTable"},{"display_html":"justTable :: a -> MaybeTable a","name":"justTable","module":"Rel8","link":"Rel8.html#v:justTable"},{"display_html":"isNothingTable :: MaybeTable a -> Expr Bool","name":"isNothingTable","module":"Rel8","link":"Rel8.html#v:isNothingTable"},{"display_html":"isJustTable :: MaybeTable a -> Expr Bool","name":"isJustTable","module":"Rel8","link":"Rel8.html#v:isJustTable"},{"display_html":"optional :: Query a -> Query (MaybeTable a)","name":"optional","module":"Rel8","link":"Rel8.html#v:optional"},{"display_html":"catMaybeTable :: MaybeTable a -> Query a","name":"catMaybeTable","module":"Rel8","link":"Rel8.html#v:catMaybeTable"},{"display_html":"bindMaybeTable :: Monad m => (a -> m (MaybeTable b)) -> MaybeTable a -> m (MaybeTable b)","name":"bindMaybeTable","module":"Rel8","link":"Rel8.html#v:bindMaybeTable"},{"display_html":"traverseMaybeTable :: (a -> Query b) -> MaybeTable a -> Query (MaybeTable b)","name":"traverseMaybeTable","module":"Rel8","link":"Rel8.html#v:traverseMaybeTable"},{"display_html":"insertMaybeTable :: Table Insert a => Maybe a -> MaybeTable a","name":"insertMaybeTable","module":"Rel8","link":"Rel8.html#v:insertMaybeTable"},{"display_html":"nameMaybeTable :: Name (Maybe MaybeTag) -> a -> MaybeTable a","name":"nameMaybeTable","module":"Rel8","link":"Rel8.html#v:nameMaybeTable"},{"display_html":"data EitherTable a b","name":"EitherTable","module":"Rel8","link":"Rel8.html#t:EitherTable"},{"display_html":"eitherTable :: Table Expr c => (a -> c) -> (b -> c) -> EitherTable a b -> c","name":"eitherTable","module":"Rel8","link":"Rel8.html#v:eitherTable"},{"display_html":"leftTable :: Table Expr b => a -> EitherTable a b","name":"leftTable","module":"Rel8","link":"Rel8.html#v:leftTable"},{"display_html":"rightTable :: Table Expr a => b -> EitherTable a b","name":"rightTable","module":"Rel8","link":"Rel8.html#v:rightTable"},{"display_html":"isLeftTable :: EitherTable a b -> Expr Bool","name":"isLeftTable","module":"Rel8","link":"Rel8.html#v:isLeftTable"},{"display_html":"isRightTable :: EitherTable a b -> Expr Bool","name":"isRightTable","module":"Rel8","link":"Rel8.html#v:isRightTable"},{"display_html":"keepLeftTable :: EitherTable a b -> Query a","name":"keepLeftTable","module":"Rel8","link":"Rel8.html#v:keepLeftTable"},{"display_html":"keepRightTable :: EitherTable a b -> Query b","name":"keepRightTable","module":"Rel8","link":"Rel8.html#v:keepRightTable"},{"display_html":"bindEitherTable :: (Table Expr a, Functor m) => (i -> m (EitherTable a b)) -> EitherTable a i -> m (EitherTable a b)","name":"bindEitherTable","module":"Rel8","link":"Rel8.html#v:bindEitherTable"},{"display_html":"bitraverseEitherTable :: (a -> Query c) -> (b -> Query d) -> EitherTable a b -> Query (EitherTable c d)","name":"bitraverseEitherTable","module":"Rel8","link":"Rel8.html#v:bitraverseEitherTable"},{"display_html":"insertEitherTable :: (Table Insert a, Table Insert b) => Either a b -> EitherTable a b","name":"insertEitherTable","module":"Rel8","link":"Rel8.html#v:insertEitherTable"},{"display_html":"nameEitherTable :: Name EitherTag -> a -> b -> EitherTable a b","name":"nameEitherTable","module":"Rel8","link":"Rel8.html#v:nameEitherTable"},{"display_html":"data TheseTable a b","name":"TheseTable","module":"Rel8","link":"Rel8.html#t:TheseTable"},{"display_html":"theseTable :: Table Expr c => (a -> c) -> (b -> c) -> (a -> b -> c) -> TheseTable a b -> c","name":"theseTable","module":"Rel8","link":"Rel8.html#v:theseTable"},{"display_html":"thisTable :: Table Expr b => a -> TheseTable a b","name":"thisTable","module":"Rel8","link":"Rel8.html#v:thisTable"},{"display_html":"thatTable :: Table Expr a => b -> TheseTable a b","name":"thatTable","module":"Rel8","link":"Rel8.html#v:thatTable"},{"display_html":"thoseTable :: a -> b -> TheseTable a b","name":"thoseTable","module":"Rel8","link":"Rel8.html#v:thoseTable"},{"display_html":"isThisTable :: TheseTable a b -> Expr Bool","name":"isThisTable","module":"Rel8","link":"Rel8.html#v:isThisTable"},{"display_html":"isThatTable :: TheseTable a b -> Expr Bool","name":"isThatTable","module":"Rel8","link":"Rel8.html#v:isThatTable"},{"display_html":"isThoseTable :: TheseTable a b -> Expr Bool","name":"isThoseTable","module":"Rel8","link":"Rel8.html#v:isThoseTable"},{"display_html":"hasHereTable :: TheseTable a b -> Expr Bool","name":"hasHereTable","module":"Rel8","link":"Rel8.html#v:hasHereTable"},{"display_html":"hasThereTable :: TheseTable a b -> Expr Bool","name":"hasThereTable","module":"Rel8","link":"Rel8.html#v:hasThereTable"},{"display_html":"justHereTable :: TheseTable a b -> MaybeTable a","name":"justHereTable","module":"Rel8","link":"Rel8.html#v:justHereTable"},{"display_html":"justThereTable :: TheseTable a b -> MaybeTable b","name":"justThereTable","module":"Rel8","link":"Rel8.html#v:justThereTable"},{"display_html":"alignBy :: (Table Expr a, Table Expr b) => (a -> b -> Expr Bool) -> Query a -> Query b -> Query (TheseTable a b)","name":"alignBy","module":"Rel8","link":"Rel8.html#v:alignBy"},{"display_html":"keepHereTable :: TheseTable a b -> Query (a, MaybeTable b)","name":"keepHereTable","module":"Rel8","link":"Rel8.html#v:keepHereTable"},{"display_html":"loseHereTable :: TheseTable a b -> Query b","name":"loseHereTable","module":"Rel8","link":"Rel8.html#v:loseHereTable"},{"display_html":"keepThereTable :: TheseTable a b -> Query (MaybeTable a, b)","name":"keepThereTable","module":"Rel8","link":"Rel8.html#v:keepThereTable"},{"display_html":"loseThereTable :: TheseTable a b -> Query a","name":"loseThereTable","module":"Rel8","link":"Rel8.html#v:loseThereTable"},{"display_html":"keepThisTable :: TheseTable a b -> Query a","name":"keepThisTable","module":"Rel8","link":"Rel8.html#v:keepThisTable"},{"display_html":"loseThisTable :: TheseTable a b -> Query (MaybeTable a, b)","name":"loseThisTable","module":"Rel8","link":"Rel8.html#v:loseThisTable"},{"display_html":"keepThatTable :: TheseTable a b -> Query b","name":"keepThatTable","module":"Rel8","link":"Rel8.html#v:keepThatTable"},{"display_html":"loseThatTable :: TheseTable a b -> Query (a, MaybeTable b)","name":"loseThatTable","module":"Rel8","link":"Rel8.html#v:loseThatTable"},{"display_html":"keepThoseTable :: TheseTable a b -> Query (a, b)","name":"keepThoseTable","module":"Rel8","link":"Rel8.html#v:keepThoseTable"},{"display_html":"loseThoseTable :: TheseTable a b -> Query (EitherTable a b)","name":"loseThoseTable","module":"Rel8","link":"Rel8.html#v:loseThoseTable"},{"display_html":"bindTheseTable :: (Table Expr a, Semigroup a, Monad m) => (i -> m (TheseTable a b)) -> TheseTable a i -> m (TheseTable a b)","name":"bindTheseTable","module":"Rel8","link":"Rel8.html#v:bindTheseTable"},{"display_html":"bitraverseTheseTable :: (a -> Query c) -> (b -> Query d) -> TheseTable a b -> Query (TheseTable c d)","name":"bitraverseTheseTable","module":"Rel8","link":"Rel8.html#v:bitraverseTheseTable"},{"display_html":"insertTheseTable :: (Table Insert a, Table Insert b) => These a b -> TheseTable a b","name":"insertTheseTable","module":"Rel8","link":"Rel8.html#v:insertTheseTable"},{"display_html":"nameTheseTable :: Name (Maybe MaybeTag) -> Name (Maybe MaybeTag) -> a -> b -> TheseTable a b","name":"nameTheseTable","module":"Rel8","link":"Rel8.html#v:nameTheseTable"},{"display_html":"data ListTable a","name":"ListTable","module":"Rel8","link":"Rel8.html#t:ListTable"},{"display_html":"listTable :: Table Expr a => [a] -> ListTable a","name":"listTable","module":"Rel8","link":"Rel8.html#v:listTable"},{"display_html":"insertListTable :: Inserts exprs inserts => [exprs] -> ListTable inserts","name":"insertListTable","module":"Rel8","link":"Rel8.html#v:insertListTable"},{"display_html":"nameListTable :: Table Name a => a -> ListTable a","name":"nameListTable","module":"Rel8","link":"Rel8.html#v:nameListTable"},{"display_html":"many :: Table Expr a => Query a -> Query (ListTable a)","name":"many","module":"Rel8","link":"Rel8.html#v:many"},{"display_html":"manyExpr :: Sql DBType a => Query (Expr a) -> Query (Expr [a])","name":"manyExpr","module":"Rel8","link":"Rel8.html#v:manyExpr"},{"display_html":"catListTable :: Table Expr a => ListTable a -> Query a","name":"catListTable","module":"Rel8","link":"Rel8.html#v:catListTable"},{"display_html":"catList :: Sql DBType a => Expr [a] -> Query (Expr a)","name":"catList","module":"Rel8","link":"Rel8.html#v:catList"},{"display_html":"data NonEmptyTable a","name":"NonEmptyTable","module":"Rel8","link":"Rel8.html#t:NonEmptyTable"},{"display_html":"nonEmptyTable :: Table Expr a => NonEmpty a -> NonEmptyTable a","name":"nonEmptyTable","module":"Rel8","link":"Rel8.html#v:nonEmptyTable"},{"display_html":"insertNonEmptyTable :: Inserts exprs inserts => NonEmpty exprs -> NonEmptyTable inserts","name":"insertNonEmptyTable","module":"Rel8","link":"Rel8.html#v:insertNonEmptyTable"},{"display_html":"nameNonEmptyTable :: Table Name a => a -> NonEmptyTable a","name":"nameNonEmptyTable","module":"Rel8","link":"Rel8.html#v:nameNonEmptyTable"},{"display_html":"some :: Table Expr a => Query a -> Query (NonEmptyTable a)","name":"some","module":"Rel8","link":"Rel8.html#v:some"},{"display_html":"someExpr :: Sql DBType a => Query (Expr a) -> Query (Expr (NonEmpty a))","name":"someExpr","module":"Rel8","link":"Rel8.html#v:someExpr"},{"display_html":"catNonEmptyTable :: Table Expr a => NonEmptyTable a -> Query a","name":"catNonEmptyTable","module":"Rel8","link":"Rel8.html#v:catNonEmptyTable"},{"display_html":"catNonEmpty :: Sql DBType a => Expr (NonEmpty a) -> Query (Expr a)","name":"catNonEmpty","module":"Rel8","link":"Rel8.html#v:catNonEmpty"},{"display_html":"data ADT t context","name":"ADT","module":"Rel8","link":"Rel8.html#t:ADT"},{"display_html":"class (Generic (t Result), HTable (GColumnsADT t), GTableADT (TTable (Reify Result)) TColumns (Col (Reify Result)) (GRecord (Rep (t (Reify Result)))), GRecordable (Rep (t (Reify Result))), GMappable (TTable (Reify Result)) (Rep (t (Reify Result))), GMap TUnreify (Rep (t (Reify Result))) ~ Rep (t Result)) => ADTable t","name":"ADTable","module":"Rel8","link":"Rel8.html#t:ADTable"},{"display_html":"fromADT :: ADTable t => ADT t Result -> t Result","name":"fromADT","module":"Rel8","link":"Rel8.html#v:fromADT"},{"display_html":"toADT :: ADTable t => t Result -> ADT t Result","name":"toADT","module":"Rel8","link":"Rel8.html#v:toADT"},{"display_html":"type BuildADT t name = GGBuild 'Sum name (ADTRep t) (ADT t Expr)","name":"BuildADT","module":"Rel8","link":"Rel8.html#t:BuildADT"},{"display_html":"buildADT :: forall t name. BuildableADT t name => BuildADT t name","name":"buildADT","module":"Rel8","link":"Rel8.html#v:buildADT"},{"display_html":"type ConstructADT t = forall r. GGConstruct 'Sum (ADTRep t) r","name":"ConstructADT","module":"Rel8","link":"Rel8.html#t:ConstructADT"},{"display_html":"constructADT :: forall t. ConstructableADT t => ConstructADT t -> ADT t Expr","name":"constructADT","module":"Rel8","link":"Rel8.html#v:constructADT"},{"display_html":"type DeconstructADT t r = GGDeconstruct 'Sum (ADTRep t) (ADT t Expr) r","name":"DeconstructADT","module":"Rel8","link":"Rel8.html#t:DeconstructADT"},{"display_html":"deconstructADT :: forall t r. (ConstructableADT t, Table Expr r) => DeconstructADT t r","name":"deconstructADT","module":"Rel8","link":"Rel8.html#v:deconstructADT"},{"display_html":"type InsertADT t name = GGInsert 'Sum name (ADTRep t) (ADT t Insert)","name":"InsertADT","module":"Rel8","link":"Rel8.html#t:InsertADT"},{"display_html":"insertADT :: forall t name. BuildableADT t name => InsertADT t name","name":"insertADT","module":"Rel8","link":"Rel8.html#v:insertADT"},{"display_html":"type NameADT t = GGName 'Sum (ADTRep t) (ADT t Name)","name":"NameADT","module":"Rel8","link":"Rel8.html#t:NameADT"},{"display_html":"nameADT :: forall t. ConstructableADT t => NameADT t","name":"nameADT","module":"Rel8","link":"Rel8.html#v:nameADT"},{"display_html":"type AggregateADT t = forall r. GGAggregate 'Sum (ADTRep t) r","name":"AggregateADT","module":"Rel8","link":"Rel8.html#t:AggregateADT"},{"display_html":"aggregateADT :: forall t. ConstructableADT t => AggregateADT t -> ADT t Expr -> ADT t Aggregate","name":"aggregateADT","module":"Rel8","link":"Rel8.html#v:aggregateADT"},{"display_html":"data HKD a f","name":"HKD","module":"Rel8","link":"Rel8.html#t:HKD"},{"display_html":"class (Generic a, HTable (GColumns (HKD a)), KnownAlgebra (GAlgebra (Rep a)), Eval (GGTable (GAlgebra (Rep a)) (TTable (Reify Result)) TColumns (Col (Reify Result)) (GRecord (GMap (TColumn (Reify Result)) (Rep a)))), Eval (GGContext (GAlgebra (Rep a)) TUnreifyContext (GRecord (GMap (TColumn (Reify Result)) (Rep a)))) ~ Result, GRecordable (GMap (TColumn (Reify Result)) (Rep a)), GMappable Top (Rep a), GMappable (TTable (Reify Result)) (GMap (TColumn (Reify Result)) (Rep a)), GMap TUnreify (GMap (TColumn (Reify Result)) (Rep a)) ~ GMap (TColumn Result) (Rep a)) => HKDable a","name":"HKDable","module":"Rel8","link":"Rel8.html#t:HKDable"},{"display_html":"fromHKD :: HKDable a => HKD a Result -> a","name":"fromHKD","module":"Rel8","link":"Rel8.html#v:fromHKD"},{"display_html":"toHKD :: HKDable a => a -> HKD a Result","name":"toHKD","module":"Rel8","link":"Rel8.html#v:toHKD"},{"display_html":"type BuildHKD a name = GGBuild (GAlgebra (Rep a)) name (HKDRep a) (HKD a Expr)","name":"BuildHKD","module":"Rel8","link":"Rel8.html#t:BuildHKD"},{"display_html":"buildHKD :: forall a name. BuildableHKD a name => BuildHKD a name","name":"buildHKD","module":"Rel8","link":"Rel8.html#v:buildHKD"},{"display_html":"type ConstructHKD a = forall r. GGConstruct (GAlgebra (Rep a)) (HKDRep a) r","name":"ConstructHKD","module":"Rel8","link":"Rel8.html#t:ConstructHKD"},{"display_html":"constructHKD :: forall a. ConstructableHKD a => ConstructHKD a -> HKD a Expr","name":"constructHKD","module":"Rel8","link":"Rel8.html#v:constructHKD"},{"display_html":"type DeconstructHKD a r = GGDeconstruct (GAlgebra (Rep a)) (HKDRep a) (HKD a Expr) r","name":"DeconstructHKD","module":"Rel8","link":"Rel8.html#t:DeconstructHKD"},{"display_html":"deconstructHKD :: forall a r. (ConstructableHKD a, Table Expr r) => DeconstructHKD a r","name":"deconstructHKD","module":"Rel8","link":"Rel8.html#v:deconstructHKD"},{"display_html":"type InsertHKD a name = GGInsert (GAlgebra (Rep a)) name (HKDRep a) (HKD a Insert)","name":"InsertHKD","module":"Rel8","link":"Rel8.html#t:InsertHKD"},{"display_html":"insertHKD :: forall a name. BuildableHKD a name => InsertHKD a name","name":"insertHKD","module":"Rel8","link":"Rel8.html#v:insertHKD"},{"display_html":"type NameHKD a = GGName (GAlgebra (Rep a)) (HKDRep a) (HKD a Name)","name":"NameHKD","module":"Rel8","link":"Rel8.html#t:NameHKD"},{"display_html":"nameHKD :: forall a. ConstructableHKD a => NameHKD a","name":"nameHKD","module":"Rel8","link":"Rel8.html#v:nameHKD"},{"display_html":"type AggregateHKD a = forall r. GGAggregate (GAlgebra (Rep a)) (HKDRep a) r","name":"AggregateHKD","module":"Rel8","link":"Rel8.html#t:AggregateHKD"},{"display_html":"aggregateHKD :: forall a. ConstructableHKD a => AggregateHKD a -> HKD a Expr -> HKD a Aggregate","name":"aggregateHKD","module":"Rel8","link":"Rel8.html#v:aggregateHKD"},{"display_html":"data TableSchema names = TableSchema {}","name":"TableSchema TableSchema name columns schema","module":"Rel8","link":"Rel8.html#t:TableSchema"},{"display_html":"data Name a","name":"Name","module":"Rel8","link":"Rel8.html#t:Name"},{"display_html":"namesFromLabels :: Table Name a => a","name":"namesFromLabels","module":"Rel8","link":"Rel8.html#v:namesFromLabels"},{"display_html":"namesFromLabelsWith :: Table Name a => (NonEmpty String -> String) -> a","name":"namesFromLabelsWith","module":"Rel8","link":"Rel8.html#v:namesFromLabelsWith"},{"display_html":"data Expr a","name":"Expr","module":"Rel8","link":"Rel8.html#t:Expr"},{"display_html":"class (constraint (Unnullify a), Nullable a) => Sql constraint a","name":"Sql","module":"Rel8","link":"Rel8.html#t:Sql"},{"display_html":"litExpr :: Sql DBType a => a -> Expr a","name":"litExpr","module":"Rel8","link":"Rel8.html#v:litExpr"},{"display_html":"unsafeCastExpr :: Sql DBType b => Expr a -> Expr b","name":"unsafeCastExpr","module":"Rel8","link":"Rel8.html#v:unsafeCastExpr"},{"display_html":"null :: DBType a => Expr (Maybe a)","name":"null","module":"Rel8","link":"Rel8.html#v:null"},{"display_html":"nullify :: NotNull a => Expr a -> Expr (Maybe a)","name":"nullify","module":"Rel8","link":"Rel8.html#v:nullify"},{"display_html":"nullable :: Table Expr b => b -> (Expr a -> b) -> Expr (Maybe a) -> b","name":"nullable","module":"Rel8","link":"Rel8.html#v:nullable"},{"display_html":"isNull :: Expr (Maybe a) -> Expr Bool","name":"isNull","module":"Rel8","link":"Rel8.html#v:isNull"},{"display_html":"isNonNull :: Expr (Maybe a) -> Expr Bool","name":"isNonNull","module":"Rel8","link":"Rel8.html#v:isNonNull"},{"display_html":"mapNull :: DBType b => (Expr a -> Expr b) -> Expr (Maybe a) -> Expr (Maybe b)","name":"mapNull","module":"Rel8","link":"Rel8.html#v:mapNull"},{"display_html":"liftOpNull :: DBType c => (Expr a -> Expr b -> Expr c) -> Expr (Maybe a) -> Expr (Maybe b) -> Expr (Maybe c)","name":"liftOpNull","module":"Rel8","link":"Rel8.html#v:liftOpNull"},{"display_html":"catNull :: Expr (Maybe a) -> Query (Expr a)","name":"catNull","module":"Rel8","link":"Rel8.html#v:catNull"},{"display_html":"coalesce :: Expr (Maybe Bool) -> Expr Bool","name":"coalesce","module":"Rel8","link":"Rel8.html#v:coalesce"},{"display_html":"class DBType a => DBEq a","name":"DBEq","module":"Rel8","link":"Rel8.html#t:DBEq"},{"display_html":"true :: Expr Bool","name":"true","module":"Rel8","link":"Rel8.html#v:true"},{"display_html":"false :: Expr Bool","name":"false","module":"Rel8","link":"Rel8.html#v:false"},{"display_html":"not_ :: Expr Bool -> Expr Bool","name":"not_","module":"Rel8","link":"Rel8.html#v:not_"},{"display_html":"(&&.) :: Expr Bool -> Expr Bool -> Expr Bool","name":"&&.","module":"Rel8","link":"Rel8.html#v:-38--38-."},{"display_html":"and_ :: Foldable f => f (Expr Bool) -> Expr Bool","name":"and_","module":"Rel8","link":"Rel8.html#v:and_"},{"display_html":"(||.) :: Expr Bool -> Expr Bool -> Expr Bool","name":"||.","module":"Rel8","link":"Rel8.html#v:-124--124-."},{"display_html":"or_ :: Foldable f => f (Expr Bool) -> Expr Bool","name":"or_","module":"Rel8","link":"Rel8.html#v:or_"},{"display_html":"(==.) :: forall a. Sql DBEq a => Expr a -> Expr a -> Expr Bool","name":"==.","module":"Rel8","link":"Rel8.html#v:-61--61-."},{"display_html":"(/=.) :: forall a. Sql DBEq a => Expr a -> Expr a -> Expr Bool","name":"/=.","module":"Rel8","link":"Rel8.html#v:-47--61-."},{"display_html":"(==?) :: DBEq a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool","name":"==?","module":"Rel8","link":"Rel8.html#v:-61--61--63-"},{"display_html":"(/=?) :: DBEq a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool","name":"/=?","module":"Rel8","link":"Rel8.html#v:-47--61--63-"},{"display_html":"in_ :: forall a f. (Sql DBEq a, Foldable f) => Expr a -> f (Expr a) -> Expr Bool","name":"in_","module":"Rel8","link":"Rel8.html#v:in_"},{"display_html":"boolExpr :: Expr a -> Expr a -> Expr Bool -> Expr a","name":"boolExpr","module":"Rel8","link":"Rel8.html#v:boolExpr"},{"display_html":"caseExpr :: [(Expr Bool, Expr a)] -> Expr a -> Expr a","name":"caseExpr","module":"Rel8","link":"Rel8.html#v:caseExpr"},{"display_html":"class DBEq a => DBOrd a","name":"DBOrd","module":"Rel8","link":"Rel8.html#t:DBOrd"},{"display_html":"(<.) :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr Bool","name":"<.","module":"Rel8","link":"Rel8.html#v:-60-."},{"display_html":"(<=.) :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr Bool","name":"<=.","module":"Rel8","link":"Rel8.html#v:-60--61-."},{"display_html":"(>.) :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr Bool","name":">.","module":"Rel8","link":"Rel8.html#v:-62-."},{"display_html":"(>=.) :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr Bool","name":">=.","module":"Rel8","link":"Rel8.html#v:-62--61-."},{"display_html":"(<?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool","name":"(<=?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool","name":"<=?","module":"Rel8","link":"Rel8.html#v:-60--61--63-"},{"display_html":"(>?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool","name":">?","module":"Rel8","link":"Rel8.html#v:-62--63-"},{"display_html":"(>=?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool","name":">=?","module":"Rel8","link":"Rel8.html#v:-62--61--63-"},{"display_html":"leastExpr :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr a","name":"leastExpr","module":"Rel8","link":"Rel8.html#v:leastExpr"},{"display_html":"greatestExpr :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr a","name":"greatestExpr","module":"Rel8","link":"Rel8.html#v:greatestExpr"},{"display_html":"class Function arg res","name":"Function","module":"Rel8","link":"Rel8.html#t:Function"},{"display_html":"function :: Function args result => String -> args -> result","name":"function","module":"Rel8","link":"Rel8.html#v:function"},{"display_html":"nullaryFunction :: Sql DBType a => String -> Expr a","name":"nullaryFunction","module":"Rel8","link":"Rel8.html#v:nullaryFunction"},{"display_html":"binaryOperator :: Sql DBType c => String -> Expr a -> Expr b -> Expr c","name":"binaryOperator","module":"Rel8","link":"Rel8.html#v:binaryOperator"},{"display_html":"data Query a","name":"Query","module":"Rel8","link":"Rel8.html#t:Query"},{"display_html":"showQuery :: Table Expr a => Query a -> String","name":"showQuery","module":"Rel8","link":"Rel8.html#v:showQuery"},{"display_html":"class Recontextualize Name Expr names exprs => Selects names exprs","name":"Selects","module":"Rel8","link":"Rel8.html#t:Selects"},{"display_html":"each :: Selects names exprs => TableSchema names -> Query exprs","name":"each","module":"Rel8","link":"Rel8.html#v:each"},{"display_html":"values :: (Table Expr a, Foldable f) => f a -> Query a","name":"values","module":"Rel8","link":"Rel8.html#v:values"},{"display_html":"filter :: (a -> Expr Bool) -> a -> Query a","name":"filter","module":"Rel8","link":"Rel8.html#v:filter"},{"display_html":"where_ :: Expr Bool -> Query ()","name":"where_","module":"Rel8","link":"Rel8.html#v:where_"},{"display_html":"whereExists :: Query a -> Query ()","name":"whereExists","module":"Rel8","link":"Rel8.html#v:whereExists"},{"display_html":"whereNotExists :: Query a -> Query ()","name":"whereNotExists","module":"Rel8","link":"Rel8.html#v:whereNotExists"},{"display_html":"distinct :: EqTable a => Query a -> Query a","name":"distinct","module":"Rel8","link":"Rel8.html#v:distinct"},{"display_html":"distinctOn :: EqTable b => (a -> b) -> Query a -> Query a","name":"distinctOn","module":"Rel8","link":"Rel8.html#v:distinctOn"},{"display_html":"distinctOnBy :: EqTable b => (a -> b) -> Order a -> Query a -> Query a","name":"distinctOnBy","module":"Rel8","link":"Rel8.html#v:distinctOnBy"},{"display_html":"limit :: Word -> Query a -> Query a","name":"limit","module":"Rel8","link":"Rel8.html#v:limit"},{"display_html":"offset :: Word -> Query a -> Query a","name":"offset","module":"Rel8","link":"Rel8.html#v:offset"},{"display_html":"union :: EqTable a => Query a -> Query a -> Query a","name":"union","module":"Rel8","link":"Rel8.html#v:union"},{"display_html":"unionAll :: Table Expr a => Query a -> Query a -> Query a","name":"unionAll","module":"Rel8","link":"Rel8.html#v:unionAll"},{"display_html":"intersect :: EqTable a => Query a -> Query a -> Query a","name":"intersect","module":"Rel8","link":"Rel8.html#v:intersect"},{"display_html":"intersectAll :: EqTable a => Query a -> Query a -> Query a","name":"intersectAll","module":"Rel8","link":"Rel8.html#v:intersectAll"},{"display_html":"except :: EqTable a => Query a -> Query a -> Query a","name":"except","module":"Rel8","link":"Rel8.html#v:except"},{"display_html":"exceptAll :: EqTable a => Query a -> Query a -> Query a","name":"exceptAll","module":"Rel8","link":"Rel8.html#v:exceptAll"},{"display_html":"exists :: Query a -> Query (Expr Bool)","name":"exists","module":"Rel8","link":"Rel8.html#v:exists"},{"display_html":"with :: (a -> Query b) -> a -> Query a","name":"with","module":"Rel8","link":"Rel8.html#v:with"},{"display_html":"withBy :: (a -> b -> Expr Bool) -> Query b -> a -> Query a","name":"withBy","module":"Rel8","link":"Rel8.html#v:withBy"},{"display_html":"without :: (a -> Query b) -> a -> Query a","name":"without","module":"Rel8","link":"Rel8.html#v:without"},{"display_html":"withoutBy :: (a -> b -> Expr Bool) -> Query b -> a -> Query a","name":"withoutBy","module":"Rel8","link":"Rel8.html#v:withoutBy"},{"display_html":"data Aggregate a","name":"Aggregate","module":"Rel8","link":"Rel8.html#t:Aggregate"},{"display_html":"class Recontextualize Aggregate Expr aggregates exprs => Aggregates aggregates exprs","name":"Aggregates","module":"Rel8","link":"Rel8.html#t:Aggregates"},{"display_html":"aggregate :: Aggregates aggregates exprs => Query aggregates -> Query exprs","name":"aggregate","module":"Rel8","link":"Rel8.html#v:aggregate"},{"display_html":"countRows :: Query a -> Query (Expr Int64)","name":"countRows","module":"Rel8","link":"Rel8.html#v:countRows"},{"display_html":"groupBy :: forall exprs aggregates. (EqTable exprs, Aggregates aggregates exprs) => exprs -> aggregates","name":"groupBy","module":"Rel8","link":"Rel8.html#v:groupBy"},{"display_html":"listAgg :: Aggregates aggregates exprs => exprs -> ListTable aggregates","name":"listAgg","module":"Rel8","link":"Rel8.html#v:listAgg"},{"display_html":"listAggExpr :: Sql DBType a => Expr a -> Aggregate [a]","name":"listAggExpr","module":"Rel8","link":"Rel8.html#v:listAggExpr"},{"display_html":"nonEmptyAgg :: Aggregates aggregates exprs => exprs -> NonEmptyTable aggregates","name":"nonEmptyAgg","module":"Rel8","link":"Rel8.html#v:nonEmptyAgg"},{"display_html":"nonEmptyAggExpr :: Sql DBType a => Expr a -> Aggregate (NonEmpty a)","name":"nonEmptyAggExpr","module":"Rel8","link":"Rel8.html#v:nonEmptyAggExpr"},{"display_html":"class DBOrd a => DBMax a","name":"DBMax","module":"Rel8","link":"Rel8.html#t:DBMax"},{"display_html":"max :: Sql DBMax a => Expr a -> Aggregate a","name":"max","module":"Rel8","link":"Rel8.html#v:max"},{"display_html":"class DBOrd a => DBMin a","name":"DBMin","module":"Rel8","link":"Rel8.html#t:DBMin"},{"display_html":"min :: Sql DBMin a => Expr a -> Aggregate a","name":"min","module":"Rel8","link":"Rel8.html#v:min"},{"display_html":"class DBType a => DBSum a","name":"DBSum","module":"Rel8","link":"Rel8.html#t:DBSum"},{"display_html":"sum :: Sql DBSum a => Expr a -> Aggregate a","name":"sum","module":"Rel8","link":"Rel8.html#v:sum"},{"display_html":"sumWhere :: (Sql DBNum a, Sql DBSum a) => Expr Bool -> Expr a -> Aggregate a","name":"sumWhere","module":"Rel8","link":"Rel8.html#v:sumWhere"},{"display_html":"class DBType a => DBString a","name":"DBString","module":"Rel8","link":"Rel8.html#t:DBString"},{"display_html":"stringAgg :: Sql DBString a => Expr db -> Expr a -> Aggregate a","name":"stringAgg","module":"Rel8","link":"Rel8.html#v:stringAgg"},{"display_html":"count :: Expr a -> Aggregate Int64","name":"count","module":"Rel8","link":"Rel8.html#v:count"},{"display_html":"countStar :: Aggregate Int64","name":"countStar","module":"Rel8","link":"Rel8.html#v:countStar"},{"display_html":"countDistinct :: Sql DBEq a => Expr a -> Aggregate Int64","name":"countDistinct","module":"Rel8","link":"Rel8.html#v:countDistinct"},{"display_html":"countWhere :: Expr Bool -> Aggregate Int64","name":"countWhere","module":"Rel8","link":"Rel8.html#v:countWhere"},{"display_html":"and :: Expr Bool -> Aggregate Bool","name":"and","module":"Rel8","link":"Rel8.html#v:and"},{"display_html":"or :: Expr Bool -> Aggregate Bool","name":"or","module":"Rel8","link":"Rel8.html#v:or"},{"display_html":"orderBy :: Order a -> Query a -> Query a","name":"orderBy","module":"Rel8","link":"Rel8.html#v:orderBy"},{"display_html":"data Order a","name":"Order","module":"Rel8","link":"Rel8.html#t:Order"},{"display_html":"asc :: DBOrd a => Order (Expr a)","name":"asc","module":"Rel8","link":"Rel8.html#v:asc"},{"display_html":"desc :: DBOrd a => Order (Expr a)","name":"desc","module":"Rel8","link":"Rel8.html#v:desc"},{"display_html":"nullsFirst :: Order (Expr a) -> Order (Expr (Maybe a))","name":"nullsFirst","module":"Rel8","link":"Rel8.html#v:nullsFirst"},{"display_html":"nullsLast :: Order (Expr a) -> Order (Expr (Maybe a))","name":"nullsLast","module":"Rel8","link":"Rel8.html#v:nullsLast"},{"display_html":"class (ToExprs exprs a, a ~ FromExprs exprs) => Serializable exprs a | exprs -> a","name":"Serializable","module":"Rel8","link":"Rel8.html#t:Serializable"},{"display_html":"select :: forall exprs a. Serializable exprs a => Connection -> Query exprs -> IO [a]","name":"select","module":"Rel8","link":"Rel8.html#v:select"},{"display_html":"data Insert a where","name":"Insert Insert $sel:returning:Insert $sel:into:Insert $sel:rows:Insert $sel:onConflict:Insert","module":"Rel8","link":"Rel8.html#t:Insert"},{"display_html":"data OnConflict","name":"OnConflict Abort DoNothing","module":"Rel8","link":"Rel8.html#t:OnConflict"},{"display_html":"insert :: Connection -> Insert a -> IO a","name":"insert","module":"Rel8","link":"Rel8.html#v:insert"},{"display_html":"toInsert :: Inserts exprs inserts => exprs -> inserts","name":"toInsert","module":"Rel8","link":"Rel8.html#v:toInsert"},{"display_html":"toInsertDefaults :: Inserts exprs inserts => exprs -> inserts","name":"toInsertDefaults","module":"Rel8","link":"Rel8.html#v:toInsertDefaults"},{"display_html":"data Delete a where","name":"Delete Delete $sel:from:Delete $sel:returning:Delete $sel:deleteWhere:Delete","module":"Rel8","link":"Rel8.html#t:Delete"},{"display_html":"delete :: Connection -> Delete a -> IO a","name":"delete","module":"Rel8","link":"Rel8.html#v:delete"},{"display_html":"update :: Connection -> Update a -> IO a","name":"update","module":"Rel8","link":"Rel8.html#v:update"},{"display_html":"data Update a where","name":"Update Update returning set target updateWhere","module":"Rel8","link":"Rel8.html#t:Update"},{"display_html":"data Returning names a where","name":"Returning NumberOfRowsAffected Projection","module":"Rel8","link":"Rel8.html#t:Returning"},{"display_html":"createView :: Selects names exprs => TableSchema names -> Query exprs -> Connection -> IO ()","name":"createView","module":"Rel8","link":"Rel8.html#v:createView"},{"display_html":"class (Table from a, Table to b, Congruent a b, Recontextualize from from a a, Recontextualize to to b b, Recontextualize to from b a) => Recontextualize from to a b | a -> from, b -> to, a to -> b, b from -> a","name":"Recontextualize","module":"Rel8","link":"Rel8.html#t:Recontextualize"},{"display_html":"class Nullable' (IsMaybe a) a => Nullable a","name":"Nullable","module":"Rel8","link":"Rel8.html#t:Nullable"},{"display_html":"class (Nullable a, IsMaybe a ~ 'False) => NotNull a","name":"NotNull","module":"Rel8","link":"Rel8.html#t:NotNull"},{"display_html":"class HTable t","name":"HTable","module":"Rel8","link":"Rel8.html#t:HTable"},{"display_html":"class Interpretation context => Labelable context","name":"Labelable","module":"Rel8","link":"Rel8.html#t:Labelable"},{"display_html":"class Table Expr exprs => ToExprs exprs a where","name":"ToExprs fromResult toResult","module":"Rel8","link":"Rel8.html#t:ToExprs"},{"display_html":"type family FromExprs a","name":"FromExprs","module":"Rel8","link":"Rel8.html#t:FromExprs"},{"display_html":"data Result a","name":"Result","module":"Rel8","link":"Rel8.html#t:Result"},{"display_html":"newtype HKDT a = HKDT {}","name":"HKDT HKDT unHKDT","module":"Rel8","link":"Rel8.html#t:HKDT"}]