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

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.