Database.Selda
class MonadIO m
class MonadSelda m
data SeldaT m a
data Table a
data Query s a
data Col s a
class Result r
class SqlType a
data Text
type family Cols s a where ...
class Columns a
data Order
data a :*: b
data Aggr s a
class Aggregates a
type family OuterCols a where ...
type family JoinCols a where ...
data Inner s
class MinMax a
class Insert a
data ColSpec a
type TableName
type ColName
class NonNull a
type family IsNullable a where ...
data Nullable
data NotNullable
class ComposeSpec t a b
type family a :+++: b where ...
data OnError
class Tup a
type family Head a where ...