Data.Homogeneous

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

class HomogeneousRowLabels r a ls | r -> a ls

Instances

• (RowToList r rl, ListToHomogeneous rl Void ls, Homogeneous r a) => HomogeneousRowLabels r a ls

class ToHomogeneousRow ls b r | ls b -> r

Instances

• (RowToList ls ll, ToHomogeneousRow' ll a r) => ToHomogeneousRow ls a r

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

class Keys (xs :: RowList Type)  where

Reflect row list labels into a List String. Taken from record-extra.

Members

• keysImpl :: RLProxy xs -> List String

Instances

• Keys Nil
• (IsSymbol name, Keys tail) => Keys (Cons name ty tail)