Database.Selda

Running queries

class MonadIO m

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

data Text

type family Cols s a where ...

class Columns a

data Order

data a :*: b

Expressions over columns

Converting between column types

Inner queries

data Aggr s a

class Aggregates a

type family OuterCols a where ...

type family JoinCols a where ...

data Inner s

class MinMax a

Modifying tables

class Insert a

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 ...