Control.Interchangeable

Documentation

class Interchangeable a b where

Minimal definition is (interchange, interchange') and (applyI, applyI') or (modifyI, modifyI').

Minimal complete definition

interchange, interchange'

Methods

interchange :: a -> b

Interchange a with b

interchange' :: b -> a

Interchange b with a

applyI :: a -> b -> b

Append a to b

applyI' :: b -> a -> a

Append b to a

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

Modify a with an operation to b

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

Modify a with an operation to b

Instances

Interchangeable a b => Interchangeable b a

Methods

interchange :: b -> a

interchange' :: a -> b

applyI :: b -> a -> a

applyI' :: a -> b -> b

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

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

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

Methods

interchange :: [a] -> Set a

interchange' :: Set a -> [a]

applyI :: [a] -> Set a -> Set a

applyI' :: Set a -> [a] -> [a]

modifyI :: [a] -> (Set a -> Set a) -> [a]

modifyI' :: Set a -> ([a] -> [a]) -> Set a

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

Methods

interchange :: [(k, a)] -> Map k a

interchange' :: Map k a -> [(k, a)]

applyI :: [(k, a)] -> Map k a -> Map k a

applyI' :: Map k a -> [(k, a)] -> [(k, a)]

modifyI :: [(k, a)] -> (Map k a -> Map k a) -> [(k, a)]

modifyI' :: Map k a -> ([(k, a)] -> [(k, a)]) -> Map k a