Selda.Query.Type

data SQL

Constructors

• FromTable AliasedTable
• SubQuery Alias GenState

data Source

Constructors

• Product SQL
• LeftJoin SQL (Expr Boolean)

type GenState = { aggr :: Array (Exists Expr), cols :: Array (Tuple Alias (Exists Expr)), limit :: Maybe Int, nextId :: Int, order :: Array (Tuple Order (Exists Expr)), restricts :: Array (Expr Boolean), sources :: Array Source }

newtype Query s a

Represents an intermediate query state. Before being wrapped with FullQuery this state represents SQL query without FROM component, but having every other including JOIN[s]

Constructors

• Query (State GenState a)

Instances

• Functor (Query s)
• Apply (Query s)
• Applicative (Query s)
• Bind (Query s)
• Monad (Query s)

newtype FullQuery s a

wrapper for query that is ready for SQL generation This could be simple record { head ∷ SQL, st ∷ GenState } where st is state from wrapped query

Constructors

• FullQuery (Query s a)

Instances

• Newtype (FullQuery s a) _
• Functor (FullQuery s)

data Order

Constructors

• Asc
• Desc

initState :: GenState

freshId :: forall s. Query s Int

runQuery :: forall s a. Query s a -> Tuple a GenState