Type.Row.Homogeneous

class Homogeneous :: forall k. Row k -> k -> Constraintclass Homogeneous row fieldType | row -> fieldType

Ensure that every field in a row has the same type.

Instances

• (RowToList row fields, HomogeneousRowList fields fieldType) => Homogeneous row fieldType

class HomogeneousRowList :: forall k. RowList k -> k -> Constraintclass HomogeneousRowList rowList fieldType | rowList -> fieldType

Instances

• (HomogeneousRowList tail fieldType, TypeEquals fieldType fieldType2) => HomogeneousRowList (Cons symbol fieldType tail) fieldType2
• HomogeneousRowList Nil fieldType