Safe Haskell	Safe-Inferred
Language	Haskell2010

Kindly.Iso

Synopsis

Documentation

data Iso cat a b Source #

An invertible mapping between a and b in category cat.

fwd . bwd ≡ id
bwd . fwd ≡ id

Constructors

Iso
Fields fwd :: a `cat` b bwd :: b `cat` a

Instances details

MapArg1 (<->) Endo Source #
Instance details Defined in Kindly.Functor Methods map1 :: forall (a :: from) (b :: from). (a <-> b) -> Endo a -> Endo b Source #
Category cat => Category (Iso cat :: k -> k -> Type) Source #
Instance details Defined in Kindly.Iso Methods id :: forall (a :: k0). Iso cat a a # (.) :: forall (b :: k0) (c :: k0) (a :: k0). Iso cat b c -> Iso cat a b -> Iso cat a c #