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	None
Language	Haskell98

Data.Isomorphism

Description

Documentation

data Iso k a b Source #

Constructors

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

Instances

Category k1 k2 => Category k1 (Iso k1 k2) Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
Semigroupoid k1 k2 => Semigroupoid k1 (Iso k1 k2) Source #
Methods o :: c j k -> c i j -> c i k Source #
Semigroupoid k1 k2 => Groupoid k1 (Iso k1 k2) Source #
Methods inv :: k a b -> k b a Source #