Index - R
| Record | |
| 1 (Data Constructor) | Generics.SOP.Metadata, Generics.SOP |
| 2 (Data Constructor) | Generics.SOP.Type.Metadata |
| Rep | Generics.SOP.Universe, Generics.SOP |
| RightAssociative | Generics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP |
generics-sop-0.5.0.0: Generic Programming using True Sums of Products
Index - R
| Record | |
| 1 (Data Constructor) | Generics.SOP.Metadata, Generics.SOP |
| 2 (Data Constructor) | Generics.SOP.Type.Metadata |
| Rep | Generics.SOP.Universe, Generics.SOP |
| RightAssociative | Generics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP |