IdrisDoc: Control.Isomorphism.Extra

Control.Isomorphism.Extra

mapIso : VerifiedFunctor f => Iso a b -> Iso (f a) (f b)
swapped : DecEq a => (l : a) -> (r : a) -> Iso a a

Form an Iso that is the identity for almost all inputs, except it will swap either of the arguments for the other.
It is the same function in both directions.

l

the value that will be turned into r

r

the value that will be turned into l