Module

Type.Row.Homogeneous

Package: purescript-typelevel-prelude
Repository: purescript/purescript-typelevel-prelude

#Homogeneous Source

class Homogeneous (row :: Row Type) 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 (rowList :: RowList) fieldType | rowList -> fieldType

Instances

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

Modules: Type.Data.Boolean; Type.Data.Ordering; Type.Data.Symbol; Type.Prelude; Type.Row; Type.Row.Homogeneous