Module
Type.Row.Homogeneous
- Package
- typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
#Homogeneous Source
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
#HomogeneousRowList Source
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) fieldType2HomogeneousRowList Nil fieldType