invertible-0.2.0.8: bidirectional arrows, bijective functions, and invariant functors

Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Invertible.Semigroupoid

Description

Convert bijections to and from semigroupoids Iso.

Synopsis

toIso :: Bijection a b c -> Iso a b c
fromIso :: Iso a b c -> Bijection a b c

Documentation

toIso :: Bijection a b c -> Iso a b c Source #

Convert a bijection to a semigroupoid isomorphism.

fromIso :: Iso a b c -> Bijection a b c Source #

Convert a semigroupoid isomorphism to a bijection.