type-iso-1.0.1.0: Typeclasses for injective relations and isomorphisms between types.

Index

fromData.Types.Isomorphic
InjectiveData.Types.Injective, Data.Types.Isomorphic
IsoData.Types.Isomorphic
toData.Types.Injective, Data.Types.Isomorphic