invertible-0.2.0.8: bidirectional arrows, bijective functions, and invariant functors
Safe HaskellSafe-Inferred
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.