IdrisDoc
: Data.Tuple
Index
Data.Tuple
mapFst
:
(
a
->
c
) ->
(
a
,
b
)
->
(
c
,
b
)
mapSnd
:
(
b
->
c
) ->
(
a
,
b
)
->
(
a
,
c
)