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`