Selda.Table

newtype Column a

Constructors

• Column { name :: String, namespace :: Alias }

showColumn :: forall a. Column a -> String

type AliasedTable = { alias :: Alias, name :: String }

type Alias = String

newtype Table (r :: Row Type)

Constructors

• Table { name :: String }

class TableColumns (rl :: RowList) (r :: Row Type) | rl -> r where

Members

• tableColumns :: AliasedTable -> RLProxy rl -> Record r

Instances

• TableColumns Nil ()
• (IsSymbol sym, Lacks sym r', EraseConstraint t t', Cons sym (Column t') r' r, TableColumns tail r') => TableColumns (Cons sym t tail) r

class TableColumnNames rl  where

Members

• tableColumnNames :: RLProxy rl -> Array String

Instances

• TableColumnNames Nil
• (IsSymbol sym, TableColumnNames tail) => TableColumnNames (Cons sym t tail)