Module
Selda.Col
- Package
- purescript-selda
- Repository
- Kamirus/purescript-selda
#GetCols Source
class GetCols r where
For record { n1 ∷ Col s String, n2 ∷ Col s String, id ∷ Col s Int } → [(id, Expr Int), (n1, Expr String), (n2, Expr String)] → [(id, Exists Expr), (n1, Exists Expr), (n2, Exists Expr)]