Index
| :<: | Data.Generics.Record.Subtype |
| emptyRecord | Data.Generics.Record |
| fields | Data.Generics.Record |
| genSubtype | Data.Generics.Record.Subtype |
| isRecord | Data.Generics.Record |
| isSubtype | Data.Generics.Record.Subtype |
| recordStructure | Data.Generics.Record |
| RecordT | Data.Generics.Record |
| recordT | Data.Generics.Record |
| reflect | Data.Generics.Record.Reify |
| reify | Data.Generics.Record.Reify |
| reifyMay | Data.Generics.Record.Reify |
| upcast | Data.Generics.Record.Subtype |