Module

Type.Row.Homogeneous

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

#Homogeneous Source

class Homogeneous (row :: # Type) fieldType | row -> fieldType

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

Instances

#HomogeneousRowList Source

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

Instances