Record | Data.Extensible.Record, Data.Extensible |
record | Data.Extensible.Plain, Data.Extensible |
recordAt | Data.Extensible.Plain, Data.Extensible |
recordType | Data.Extensible.Record, Data.Extensible |
Refl | Data.Extensible.Internal |
retrench | Data.Extensible.Inclusion, Data.Extensible.Record, Data.Extensible |
runMatch | Data.Extensible.Internal.Rig, Data.Extensible.Match, Data.Extensible |
runPosition | Data.Extensible.Internal, Data.Extensible.Inclusion, Data.Extensible.Record, Data.Extensible |