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.3.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 |