 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Pointless.Isomorphisms |
| swap :: (a, b) -> (b, a) |
| coswap :: Either a b -> Either b a |
| distl :: (Either a b, c) -> Either (a, c) (b, c) |
| undistl :: Either (a, c) (b, c) -> (Either a b, c) |
| distr :: (c, Either a b) -> Either (c, a) (c, b) |
| undistr :: Either (c, a) (c, b) -> (c, Either a b) |
| assocl :: (a, (b, c)) -> ((a, b), c) |
| assocr :: ((a, b), c) -> (a, (b, c)) |
| coassocl :: Either a (Either b c) -> Either (Either a b) c |
| coassocr :: Either (Either a b) c -> Either a (Either b c) |