Module
Type.Row.Homogeneous
- Package
- purescript-typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
#Homogeneous Source
class Homogeneous :: forall k. Row k -> k -> Constraint
class 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
#HomogeneousRowList Source
class HomogeneousRowList :: forall k. RowList k -> k -> Constraint
class HomogeneousRowList rowList fieldType | rowList -> fieldType
Instances
(HomogeneousRowList tail fieldType, TypeEquals fieldType fieldType2) => HomogeneousRowList (Cons symbol fieldType tail) fieldType2
HomogeneousRowList Nil fieldType