Module

Selda.Col

Package
purescript-selda
Repository
Kamirus/purescript-selda

#Col Source

newtype Col s a

Constructors

Instances

#showCol Source

showCol :: forall a s. Col s a -> String

#Lit Source

class Lit a  where

Members

Instances

#ToCols Source

class ToCols s i o | s i -> o where
{ name ∷ Column String, id ∷ Column Int }
→ 
{ name ∷ Col s String, id ∷ Col s Int }

Members

Instances

#ToCols_ Source

data ToCols_ s

Constructors

Instances

#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)]

Members

Instances

#ExtractCols Source