Index
| arrR | Data.Type.Coercion.Sub |
| bimapR | Data.Type.Coercion.Sub |
| coercionIsSub | Data.Type.Coercion.Sub |
| contramapR | Data.Type.Coercion.Sub |
| dimapR | Data.Type.Coercion.Sub |
| equiv | Data.Type.Coercion.Sub |
| gequiv | Data.Type.Coercion.Sub |
| getSub | Data.Type.Coercion.Sub.Internal |
| instantiate | Data.Type.Coercion.Sub |
| mapR | Data.Type.Coercion.Sub |
| prod3R | Data.Type.Coercion.Sub |
| prodR | Data.Type.Coercion.Sub |
| 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 |
| sumR | Data.Type.Coercion.Sub |
| toSub | Data.Type.Coercion.Sub |
| upcastWith | Data.Type.Coercion.Sub |