Copyright | (C) 2023 Alexey Tochin |
---|---|
License | BSD3 (see the file LICENSE) |
Maintainer | Alexey Tochin <Alexey.Tochin@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Extensions |
|
Isomorphism class and instances.
Synopsis
- class Isomorphism (c :: Type -> Type -> Type)
- iso :: (Isomorphism c, IsomorphicTo a b) => c a b
Documentation
class Isomorphism (c :: Type -> Type -> Type) Source #
A generalization of isomorphism.
Type argument c
is usually a category.
Instances
Monad m => Isomorphism (Kleisli m) Source # | Kleisli (monadic) instance of Examples of usage
|
Defined in IsomorphismClass.Isomorphism iso :: IsomorphicTo a b => Kleisli m a b Source # | |
(Isomorphism cat, CatBiFunctor (,) cat) => Isomorphism (Backprop cat) Source # | |
Defined in InfBackprop.Common iso :: IsomorphicTo a b => Backprop cat a b Source # | |
Isomorphism ((->) :: Type -> Type -> Type) Source # | Trivial instance of Examples of usage
|
Defined in IsomorphismClass.Isomorphism iso :: IsomorphicTo a b => a -> b Source # | |
Comonad w => Isomorphism (Cokleisli w) Source # | Cokleisli (comonadic) instance of Examples of usage
|
Defined in IsomorphismClass.Isomorphism iso :: IsomorphicTo a b => Cokleisli w a b Source # |
iso :: (Isomorphism c, IsomorphicTo a b) => c a b Source #
Categorical morphism that that is related to an isomorphism map from a
to b
.