| Copyright | (C) 2011-2015 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | polykinds |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.Isomorphism
Description
Documentation
data Iso (k1 :: k -> k -> Type) (a :: k) (b :: k) #
Instances
| Category k2 => Category (Iso k2 :: k1 -> k1 -> Type) # | |
| Semigroupoid k2 => Groupoid (Iso k2 :: k1 -> k1 -> Type) # | |
Defined in Data.Isomorphism | |
| Semigroupoid k2 => Semigroupoid (Iso k2 :: k1 -> k1 -> Type) # | |