dev-haskell/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
Screenshots
View
Download
BrowseRuntime Dependencies
kan-extensions-5.2.5-r1
>=dev-haskell/adjunctions-4.2:=[profile?
]
<dev-haskell/adjunctions-5:=[profile?
]
>=dev-haskell/comonad-4:=[profile?
]
<dev-haskell/comonad-6:=[profile?
]
>=dev-haskell/contravariant-1:=[profile?
]
<dev-haskell/contravariant-2:=[profile?
]
>=dev-haskell/distributive-0.2.2:=[profile?
]
<dev-haskell/distributive-1:=[profile?
]
>=dev-haskell/free-4:=[profile?
]
<dev-haskell/free-6:=[profile?
]
>=dev-haskell/invariant-0.1:=[profile?
]
<dev-haskell/invariant-1:=[profile?
]
>=dev-haskell/profunctors-5:=[profile?
]
<dev-haskell/profunctors-6:=[profile?
]
>=dev-haskell/semigroupoids-4:=[profile?
]
<dev-haskell/semigroupoids-7:=[profile?
]
>=dev-haskell/tagged-0.7.2:=[profile?
]
<dev-haskell/tagged-1:=[profile?
]
>=dev-haskell/transformers-compat-0.3:=[profile?
]
<dev-haskell/transformers-compat-0.8:=[profile?
]
>=dev-lang/ghc-9.0.2:=
dev-lang/ghc:=[profile?
]
kan-extensions-5.2.5
>=dev-haskell/adjunctions-4.2:=[profile?
]
<dev-haskell/adjunctions-5:=[profile?
]
>=dev-haskell/comonad-4:=[profile?
]
<dev-haskell/comonad-6:=[profile?
]
>=dev-haskell/contravariant-1:=[profile?
]
<dev-haskell/contravariant-2:=[profile?
]
>=dev-haskell/distributive-0.2.2:=[profile?
]
<dev-haskell/distributive-1:=[profile?
]
>=dev-haskell/free-4:=[profile?
]
<dev-haskell/free-6:=[profile?
]
>=dev-haskell/invariant-0.1:=[profile?
]
<dev-haskell/invariant-1:=[profile?
]
>=dev-haskell/profunctors-5:=[profile?
]
<dev-haskell/profunctors-6:=[profile?
]
>=dev-haskell/semigroupoids-4:=[profile?
]
<dev-haskell/semigroupoids-6:=[profile?
]
>=dev-haskell/tagged-0.7.2:=[profile?
]
<dev-haskell/tagged-1:=[profile?
]
>=dev-haskell/transformers-compat-0.3:=[profile?
]
<dev-haskell/transformers-compat-0.8:=[profile?
]
>=dev-lang/ghc-8.4.3:=