IdrisDoc: Data.Tuple

Data.Tuple

mapFst : (a -> c) -> (a, b) -> (c, b)
mapSnd : (b -> c) -> (a, b) -> (a, c)