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 k a b Source #

Constructors

Iso
Fields embed :: k a b project :: k b a

Instances details

Category k2 => Category ( Iso k2 :: k1 -> k1 -> Type ) Source #
Instance details Defined in Data.Isomorphism Methods id :: forall (a :: k). Iso k2 a a Source # (.) :: forall (b :: k) (c :: k) (a :: k). Iso k2 b c -> Iso k2 a b -> Iso k2 a c Source #
Semigroupoid k2 => Semigroupoid ( Iso k2 :: k1 -> k1 -> Type ) Source #
Instance details Defined in Data.Isomorphism Methods o :: forall (j :: k) (k :: k) (i :: k). Iso k2 j k -> Iso k2 i j -> Iso k2 i k Source #
Semigroupoid k2 => Groupoid ( Iso k2 :: k1 -> k1 -> Type ) Source #
Instance details Defined in Data.Isomorphism Methods inv :: forall (a :: k) (b :: k). Iso k2 a b -> Iso k2 b a Source #