Module

Type.Row.Homogeneous

Package
purescript-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

#HomogeneousRowList Source

class HomogeneousRowList :: forall k. RowList k -> k -> Constraintclass HomogeneousRowList rowList fieldType | rowList -> fieldType

Instances