Module
Selda.Table.Constraint
- Package
- purescript-selda
- Repository
- Kamirus/purescript-selda
#Auto Source
data Auto :: Type -> TypeAuto Constraint
Instances
EraseConstraint (Auto col) col(FilterOutConstraintColumns tail rl) => FilterOutConstraintColumns (Cons sym (Auto t) tail) rl
#Default Source
data Default :: Type -> TypeDefault Constraint
Instances
EraseConstraint (Default col) col(FilterOutConstraintColumns tail rl) => FilterOutConstraintColumns (Cons sym (Default t) tail) rl(FilterDefaultColumns tail rl) => FilterDefaultColumns (Cons sym (Default t) tail) (Cons sym t rl)
#EraseConstraint Source
class EraseConstraint a b | a -> bInstances
EraseConstraint (Auto col) colEraseConstraint (Default col) colEraseConstraint col col
#MaxColumnsToInsert Source
class MaxColumnsToInsert (t :: Row Type) (maxCols :: RowList) | t -> maxColsInstances
(RowToList t tl, FilterOutConstraintColumns tl simpleCols, FilterDefaultColumns tl defaultCols, RowListAppend simpleCols defaultCols maxCols) => MaxColumnsToInsert t maxCols
#MinColumnsToInsert Source
class MinColumnsToInsert (t :: Row Type) (minCols :: RowList) | t -> minColsInstances
(RowToList t tl, FilterOutConstraintColumns tl minCols) => MinColumnsToInsert t minCols
#FilterOutConstraintColumns Source
class FilterOutConstraintColumns (i :: RowList) (o :: RowList) | i -> oRemoves Auto and Default columns from i
Instances
FilterOutConstraintColumns Nil Nil(FilterOutConstraintColumns tail rl) => FilterOutConstraintColumns (Cons sym (Auto t) tail) rl(FilterOutConstraintColumns tail rl) => FilterOutConstraintColumns (Cons sym (Default t) tail) rl(FilterOutConstraintColumns tail rl) => FilterOutConstraintColumns (Cons sym t tail) (Cons sym t rl)
#FilterDefaultColumns Source
class FilterDefaultColumns (i :: RowList) (o :: RowList) | i -> oReturns only Default columns with erased Default wrapper
Instances
FilterDefaultColumns Nil Nil(FilterDefaultColumns tail rl) => FilterDefaultColumns (Cons sym (Default t) tail) (Cons sym t rl)(FilterDefaultColumns tail rl) => FilterDefaultColumns (Cons sym t tail) rl
#IsSubRowList Source
class IsSubRowList (lhs :: RowList) (rhs :: RowList) Instances
(ListToRow rl1 r1, ListToRow rl2 r2, Union r1 diff r2) => IsSubRowList rl1 rl2
#CanInsertColumnsIntoTable Source
class CanInsertColumnsIntoTable (cols :: RowList) (t :: Row Type) Instances
(MaxColumnsToInsert t maxCols, MinColumnsToInsert t minCols, IsSubRowList minCols cols, IsSubRowList cols maxCols) => CanInsertColumnsIntoTable cols t