POP | |
1 (Type/Class) | Generics.SOP.NP, Generics.SOP |
2 (Data Constructor) | Generics.SOP.NP, Generics.SOP |
Prod | Generics.SOP.Classes, Generics.SOP |
Projection | Generics.SOP.NP, Generics.SOP |
projections | Generics.SOP.NP, Generics.SOP |
Proxy | |
1 (Data Constructor) | Generics.SOP |
2 (Type/Class) | Generics.SOP |
pureAll | Generics.SOP.Dict |
pureAll2 | Generics.SOP.Dict |
pure_NP | Generics.SOP.NP |
pure_POP | Generics.SOP.NP |