kindly-functors-0.1.0.1: A category polymorphic `Functor` typeclass
Safe HaskellSafe-Inferred
LanguageHaskell2010

Kindly.Iso

Synopsis

Documentation

data Iso cat a b Source #

An invertible mapping between a and b in category cat.

Laws

fwd . bwdid
bwd . fwdid

Constructors

Iso 

Fields

  • fwd :: a `cat` b
     
  • bwd :: b `cat` a
     

Instances

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 #

type (<->) = Iso (->) Source #