Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

- class Interchangeable a b where
- interchange :: a -> b
- interchange' :: b -> a
- appendI :: a -> b -> b
- appendI' :: b -> a -> a
- modifyI :: a -> (b -> b) -> a
- modifyI' :: b -> (a -> a) -> b

# Documentation

class Interchangeable a b where Source

Minimal definition is (`interchange`

, `interchange'`

) and (`appendI`

,
`appendI'`

) or (`modifyI`

, `modifyI'`

).

interchange :: a -> b Source

Interchange a with b

interchange' :: b -> a Source

Interchange b with a

Append a to b

appendI' :: b -> a -> a Source

Append b to a

modifyI :: a -> (b -> b) -> a Source

Modify a with an operation to b

modifyI' :: b -> (a -> a) -> b Source

Modify a with an operation to b

Interchangeable a b => Interchangeable b a | |

Ord a => Interchangeable [a] (Set a) | |

Ord k => Interchangeable [(k, a)] (Map k a) |