| arrowR | Data.Type.Coercion.Sub |
| arrR | Data.Type.Coercion.Sub |
| associative | |
| 1 (Function) | Newtype.Intersection |
| 2 (Function) | Newtype.Union |
| bimapR | Data.Type.Coercion.Sub |
| coercionIsRelated | Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| coercionIsSub | Data.Type.Coercion.Sub |
| commutative | |
| 1 (Function) | Newtype.Intersection |
| 2 (Function) | Newtype.Union |
| conjunct | Newtype.Intersection |
| contramapR | Data.Type.Coercion.Sub |
| elim | Newtype.Union |
| equiv | Data.Type.Coercion.Sub |
| gequiv | Data.Type.Coercion.Sub |
| getRelated | Data.Type.Coercion.Related.Internal |
| getSub | Data.Type.Coercion.Sub.Internal |
| greater | Newtype.Union |
| idemp | |
| 1 (Function) | Newtype.Intersection |
| 2 (Function) | Newtype.Union |
| informRelation | Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| inl | Newtype.Union |
| inr | Newtype.Union |
| instantiate | Data.Type.Coercion.Sub |
| IsIntersection | |
| 1 (Type/Class) | Newtype.Intersection |
| 2 (Data Constructor) | Newtype.Intersection |
| IsUnion | |
| 1 (Type/Class) | Newtype.Union |
| 2 (Data Constructor) | Newtype.Union |
| lesser | Newtype.Intersection |
| mapR | Data.Type.Coercion.Sub |
| prod3R | Data.Type.Coercion.Sub |
| prodR | Data.Type.Coercion.Sub |
| proj1 | Newtype.Intersection |
| proj2 | Newtype.Intersection |
| Related | |
| 1 (Type/Class) | Data.Type.Coercion.Related.Internal, Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| 2 (Data Constructor) | Data.Type.Coercion.Related.Internal |
| related | Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| Sub | |
| 1 (Type/Class) | Data.Type.Coercion.Sub.Internal, Data.Type.Coercion.Sub |
| 2 (Data Constructor) | Data.Type.Coercion.Sub.Internal |
| sub | Data.Type.Coercion.Sub |
| subIsRelated | Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| sumR | Data.Type.Coercion.Sub |
| symRelated | Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| toSub | Data.Type.Coercion.Sub |
| undirected | Data.Type.Coercion.Related, Newtype.Intersection, Newtype.Union |
| unique | |
| 1 (Function) | Newtype.Intersection |
| 2 (Function) | Newtype.Union |
| upcastWith | Data.Type.Coercion.Sub |
| withIntersection | Newtype.Intersection |
| withUnion | Newtype.Union |