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 |
dimapR | 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 |