Module

Selda.Table.Constraint

Package
purescript-selda
Repository
Kamirus/purescript-selda

#Auto Source

data Auto :: Type -> Type

Auto Constraint

Instances

#Default Source

data Default :: Type -> Type

Default Constraint

Instances

#EraseConstraint Source

class EraseConstraint a b | a -> b

Instances

#MaxColumnsToInsert Source

class MaxColumnsToInsert (t :: Row Type) (maxCols :: RowList) | t -> maxCols

Instances

#MinColumnsToInsert Source

class MinColumnsToInsert (t :: Row Type) (minCols :: RowList) | t -> minCols

Instances

#FilterOutConstraintColumns Source

class FilterOutConstraintColumns (i :: RowList) (o :: RowList) | i -> o

Removes Auto and Default columns from i

Instances

#FilterDefaultColumns Source

class FilterDefaultColumns (i :: RowList) (o :: RowList) | i -> o

Returns only Default columns with erased Default wrapper

Instances

#IsSubRowList Source

class IsSubRowList (lhs :: RowList) (rhs :: RowList) 

Instances

#CanInsertColumnsIntoTable Source

class CanInsertColumnsIntoTable (cols :: RowList) (t :: Row Type) 

Instances