Jajanmen

queryDB :: forall query params. IsSymbol query => ExtractParams query params => DBConnection -> SProxy query -> {  | params } -> Aff Foreign

type safe querying using a query symbol with $name params,

class ExtractParams (query :: Symbol) (params :: # Type) | query -> params

Instances

• (Cons x xs query, ExtractParamsParse x xs params) => ExtractParams query params

class ExtractParamsParse (x :: Symbol) (xs :: Symbol) (params :: # Type) | x xs -> params

Instances

• ExtractParamsParse x "" ()
• (Cons y ys xs, ParseParamName y ys "$" out, Cons z zs ys, Cons out ty row' row, AllowedParamType ty, ExtractParamsParse z zs row') => ExtractParamsParse "$" xs row
• (Cons y ys xs, ExtractParamsParse y ys row) => ExtractParamsParse x xs row

class ParseParamName (x :: Symbol) (xs :: Symbol) (acc :: Symbol) (out :: Symbol) | x xs -> acc out

Instances

• ParseParamName ")" "" out out
• ParseParamName "\n" "" out out
• (Append acc x out) => ParseParamName x "" acc out
• ParseParamName " " xs out out
• ParseParamName "," xs out out
• ParseParamName ")" xs out out
• (Cons y ys xs, Append acc x acc', ParseParamName y ys acc' out) => ParseParamName x xs acc out

class AllowedParamType ty 

Instances

• AllowedParamType String
• AllowedParamType Int
• AllowedParamType Number