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

Safe HaskellSafe
LanguageHaskell2010

Data.Invertible.Semigroupoid

Description

Convert bijections to and from semigroupoids Iso.

Synopsis

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.