Module
Data.Homogeneous
- Package
- purescript-homogeneous
- Repository
- paluh/purescript-homogeneous
#ListToHomogeneous Source
class ListToHomogeneous (rl :: RowList Type) a (r :: Row Type) | rl a -> r
Instances
ListToHomogeneous Nil a ()
(Cons l a ls_ ls, ListToHomogeneous t a ls_) => ListToHomogeneous (Cons l b t) a ls
#HomogeneousRowLabels Source
class HomogeneousRowLabels r a ls | r -> a ls
Instances
(RowToList r rl, ListToHomogeneous rl Void ls, Homogeneous r a) => HomogeneousRowLabels r a ls
#ToHomogeneousRow Source
class ToHomogeneousRow ls b r | ls b -> r
Instances
(RowToList ls ll, ToHomogeneousRow' ll a r) => ToHomogeneousRow ls a r
#ToHomogeneousRow' Source
class ToHomogeneousRow' ll b r | ll b -> r
Instances
ToHomogeneousRow' Nil a ()
(Cons h a r_ r, ToHomogeneousRow' t a r_) => ToHomogeneousRow' (Cons h b t) a r