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, HomogenousRowList fields fieldType) => Homogeneous row fieldType

#HomogenousRowList Source

class HomogenousRowList (rowList :: RowList) fieldType | rowList -> fieldType

Instances

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

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