Module
Type.Row.Homogeneous
- Package
- purescript-typelevel-prelude
- Repository
- purescript/purescript-typelevel-prelude
#Homogeneous Source
class Homogeneous row fieldType | row -> fieldType
Instances
(RowToList row fields, HomogeneousRowList fields fieldType) => Homogeneous row fieldType
#HomogeneousRowList Source
class HomogeneousRowList rowList fieldType | rowList -> fieldType
Instances
(HomogeneousRowList tail fieldType, TypeEquals fieldType fieldType2) => HomogeneousRowList (Cons symbol fieldType tail) fieldType2
HomogeneousRowList Nil fieldType