invertible-0.1: 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.