Sqel.Query

Documentation

class SelectExprUnlessError (check :: Maybe k) (s :: DdK) where

Methods

selectExprUnlessError :: Dd s -> SelectExpr

Instances

ToSelectExpr s => SelectExprUnlessError ('Nothing :: Maybe k) s

Defined in Sqel.Query

Methods

selectExprUnlessError :: Dd s -> SelectExpr

class CheckedQuery (qs :: DdK) (ts :: DdK) where

Methods

checkedQ :: Dd qs -> SelectExpr

Instances

(MatchQuery query table match, SelectExprUnlessError match query) => CheckedQuery query table

Defined in Sqel.Query

Methods

checkedQ :: Dd query -> SelectExpr

type CheckQueryStuck = "Could not validate query fields since there is not enough type information available." % (("You are most likely missing a constraint for " <> Quoted "CheckedQuery") <> ".")

compileSelectExpr :: SelectExpr -> [SelectFragment]

querySchemaWith :: forall q query a. ReifyCodec Encoder query q => Dd query -> SelectExpr -> QuerySchema q a

unsafeQuerySchema :: forall q query a. ToSelectExpr query => ReifyCodec Encoder query q => Dd query -> QuerySchema q a

class CheckQuery query table where

Methods

checkQuery :: Dd query -> Dd table -> QuerySchema (DdType query) (DdType table)

Instances

(CheckedQuery query table, ReifyCodec Encoder query (DdType query)) => CheckQuery query table

Defined in Sqel.Query

Methods

checkQuery :: Dd query -> Dd table -> QuerySchema (DdType query) (DdType table)

type EmptyQuery = 'DdK ('SelSymbol "") NoMods () ('Comp ('TSel 'DefaultPrefix "") ('Prod 'Reg) 'Nest '[])

emptyQuery :: Dd EmptyQuery

primIdQuery :: Dd ('DdK ('SelSymbol "id") NoMods a 'Prim)