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

Safe HaskellSafe
LanguageHaskell2010

Data.Invertible.TypeCompose

Description

Convert bijections to and from TypeCompose Bijection.

Synopsis

Documentation

toBi :: Bijection a b c -> Bijection a b c Source #

Convert an isomorphism to semigroupoid form.

fromBi :: Bijection a b c -> Bijection a b c Source #

Convert semigroupoid form to an isomorphism.