Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulesemigroupoids-6.0.2Haskell2010

Data.Isomorphism

Synopsis

data Iso

Packagesemigroupoids-6.0.2
Exports1
LanguageHaskell2010
LicenceBSD-2-Clause

datadata Iso (k1 :: k -> k -> Type) (a :: k) (b :: k)

Constructors

Iso
- embed :: k2 a b
- project :: k2 b a

Instances3Category, Groupoid, Semigroupoid

Category k => Category (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism
Semigroupoid k => Groupoid (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism
Semigroupoid k => Semigroupoid (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism