Data.Vinyl.Loeb

Description

Loeb's theorem for vinyl extensible records.

Synopsis

Documentation

rloeb :: RMap xs => Rec ((->) (Rec f xs) :. f) xs -> Rec f xs Source #

Version of loeb's theorem for extensible records. Can be used to fill an extensible record lazily using data from the result of the record itself.