Refract.Lens

class ListToLens st (l :: RowList) (r :: RowList) | l st -> r, r st -> l

Instances

• ListToLens st Nil Nil
• (Strong p, ListToLens st ls rs) => ListToLens st (Cons k (p o o -> p st st) ls) (Cons k o rs)

class RecordToLens st (r :: Row Type) (rs :: Row Type) 

Instances

• (ListToRow rl r, ListToRow rsl rs, RowToList r rl, RowToList rs rsl, ListToLens st rl rsl) => RecordToLens st r rs

recordToLens :: forall st rs r. RecordToLens st r rs => Record r -> Lens' st (Record rs)