applyNominal | Data.Type.Role.Nominal |
applyPhantom | Data.Type.Role.Phantom |
applyRepresentational | Data.Type.Role.Representational |
innerNonPhantom | Data.Type.Role.Phantom |
innerNonRepresentational | Data.Type.Role.Representational |
Nominal | Data.Type.Role.Nominal |
Nominality | |
1 (Type/Class) | Data.Type.Role.Nominal |
2 (Data Constructor) | Data.Type.Role.Nominal |
NonPhantom | Data.Type.Role.Phantom |
NonPhantomicity | |
1 (Type/Class) | Data.Type.Role.Phantom |
2 (Data Constructor) | Data.Type.Role.Phantom |
NonRepresentation | |
1 (Type/Class) | Data.Type.Role.Representational |
2 (Data Constructor) | Data.Type.Role.Representational |
NonRepresentational | Data.Type.Role.Representational |
Phantom | Data.Type.Role.Phantom |
Phantomicity | |
1 (Type/Class) | Data.Type.Role.Phantom |
2 (Data Constructor) | Data.Type.Role.Phantom |
Representation | |
1 (Type/Class) | Data.Type.Role.Representational |
2 (Data Constructor) | Data.Type.Role.Representational |
Representational | Data.Type.Role.Representational |