Database.Selda

Running queries

class MonadSelda m

data SeldaError

data ValidationError

data SeldaT m a

data Table a

data Query s a

data Col s a

class Result r

Constructing queries

data Selector t a

data Assignment s t

class SqlType a

type family Cols s a where ...

class Columns a

data Order

data a :*: b

Expressions over columns

class Set set

data RowID

Converting between column types

Inner queries

data Aggr s a

class Aggregates a

type family OuterCols a where ...

type family LeftCols a where ...

data Inner s

class SqlOrd a

Modifying tables

class Insert a

Prepared statements

class Preparable q

class Prepare q f

Defining schemas

class TableSpec a

type family ColSpecs a where ...

data ColSpec a

class NonNull a

type family IsNullable a where ...

data NotNullable

class Append a b

type family a :++: b where ...

type family Selectors t a where ...

class HasSelectors t a

tableWithSelectors

Creating and dropping tables

Compiling and inspecting queries

compileCreateTable

compileDropTable

Tuple convenience functions

class Tup a

type family Head a where ...

Useful re-exports

class MonadIO m

data Text

data Day