invertible-0.1: bidirectional arrows, bijective functions, and invariant functors
Data.Invertible.TypeCompose
Description
Convert bijections to and from TypeCompose Bijection.
Bijection
Synopsis
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.