|
|
e6c46cc |
name: kan-extensions
|
|
|
e6c46cc |
category: Data Structures, Monads, Comonads, Functors
|
|
|
e6c46cc |
version: 5.2.5
|
|
|
e6c46cc |
x-revision: 1
|
|
|
e6c46cc |
license: BSD3
|
|
|
e6c46cc |
cabal-version: >= 1.10
|
|
|
e6c46cc |
license-file: LICENSE
|
|
|
e6c46cc |
author: Edward A. Kmett
|
|
|
e6c46cc |
maintainer: Edward A. Kmett <ekmett@gmail.com>
|
|
|
e6c46cc |
stability: provisional
|
|
|
e6c46cc |
homepage: http://github.com/ekmett/kan-extensions/
|
|
|
e6c46cc |
bug-reports: http://github.com/ekmett/kan-extensions/issues
|
|
|
e6c46cc |
copyright: Copyright (C) 2008-2016 Edward A. Kmett
|
|
|
e6c46cc |
synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
|
|
|
e6c46cc |
description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
|
|
|
e6c46cc |
build-type: Simple
|
|
|
e6c46cc |
tested-with: GHC == 7.4.2
|
|
|
e6c46cc |
, GHC == 7.6.3
|
|
|
e6c46cc |
, GHC == 7.8.4
|
|
|
e6c46cc |
, GHC == 7.10.3
|
|
|
e6c46cc |
, GHC == 8.0.2
|
|
|
e6c46cc |
, GHC == 8.2.2
|
|
|
e6c46cc |
, GHC == 8.4.4
|
|
|
e6c46cc |
, GHC == 8.6.5
|
|
|
e6c46cc |
, GHC == 8.8.4
|
|
|
e6c46cc |
, GHC == 8.10.7
|
|
|
e6c46cc |
, GHC == 9.0.2
|
|
|
e6c46cc |
, GHC == 9.2.2
|
|
|
e6c46cc |
|
|
|
e6c46cc |
extra-source-files:
|
|
|
e6c46cc |
.gitignore
|
|
|
e6c46cc |
.ghci
|
|
|
e6c46cc |
.vim.custom
|
|
|
e6c46cc |
CHANGELOG.markdown
|
|
|
e6c46cc |
README.markdown
|
|
|
e6c46cc |
include/kan-extensions-common.h
|
|
|
e6c46cc |
|
|
|
e6c46cc |
source-repository head
|
|
|
e6c46cc |
type: git
|
|
|
e6c46cc |
location: git://github.com/ekmett/kan-extensions.git
|
|
|
e6c46cc |
|
|
|
e6c46cc |
library
|
|
|
e6c46cc |
hs-source-dirs: src
|
|
|
e6c46cc |
include-dirs: include
|
|
|
e6c46cc |
includes: kan-extensions-common.h
|
|
|
e6c46cc |
|
|
|
e6c46cc |
other-extensions:
|
|
|
e6c46cc |
CPP
|
|
|
e6c46cc |
MultiParamTypeClasses
|
|
|
e6c46cc |
GADTs
|
|
|
e6c46cc |
Rank2Types,
|
|
|
e6c46cc |
FlexibleInstances
|
|
|
e6c46cc |
FlexibleContexts
|
|
|
e6c46cc |
UndecidableInstances
|
|
|
e6c46cc |
TypeFamilies
|
|
|
e6c46cc |
|
|
|
e6c46cc |
build-depends:
|
|
|
e6c46cc |
adjunctions >= 4.2 && < 5,
|
|
|
e6c46cc |
array >= 0.3.0.2 && < 0.6,
|
|
|
e6c46cc |
base >= 4.4 && < 5,
|
|
|
e6c46cc |
comonad >= 4 && < 6,
|
|
|
e6c46cc |
containers >= 0.4 && < 0.7,
|
|
|
e6c46cc |
contravariant >= 1 && < 2,
|
|
|
e6c46cc |
distributive >= 0.2.2 && < 1,
|
|
|
e6c46cc |
invariant >= 0.1 && < 1,
|
|
|
e6c46cc |
free >= 4 && < 6,
|
|
|
e6c46cc |
mtl >= 2.0.1 && < 2.4,
|
|
|
e6c46cc |
profunctors >= 5 && < 6,
|
|
|
e6c46cc |
semigroupoids >= 4 && < 7,
|
|
|
e6c46cc |
tagged >= 0.7.2 && < 1,
|
|
|
e6c46cc |
transformers >= 0.2 && < 0.7,
|
|
|
e6c46cc |
transformers-compat >= 0.3 && < 0.8
|
|
|
e6c46cc |
|
|
|
e6c46cc |
exposed-modules:
|
|
|
e6c46cc |
Control.Comonad.Density
|
|
|
e6c46cc |
Control.Monad.Co
|
|
|
e6c46cc |
Control.Monad.Codensity
|
|
|
e6c46cc |
Data.Functor.Contravariant.Day
|
|
|
e6c46cc |
Data.Functor.Contravariant.Yoneda
|
|
|
e6c46cc |
Data.Functor.Contravariant.Coyoneda
|
|
|
e6c46cc |
Data.Functor.Day
|
|
|
e6c46cc |
Data.Functor.Day.Curried
|
|
|
e6c46cc |
Data.Functor.Invariant.Day
|
|
|
e6c46cc |
Data.Functor.Kan.Lan
|
|
|
e6c46cc |
Data.Functor.Kan.Ran
|
|
|
e6c46cc |
Data.Functor.Yoneda
|
|
|
e6c46cc |
Data.Functor.Coyoneda
|
|
|
e6c46cc |
|
|
|
e6c46cc |
ghc-options: -Wall
|
|
|
e6c46cc |
default-language: Haskell2010
|
|
|
e6c46cc |
|
|
|
e6c46cc |
if impl(ghc >= 7.10)
|
|
|
e6c46cc |
ghc-options: -fno-warn-trustworthy-safe
|
|
|
e6c46cc |
|
|
|
e6c46cc |
-- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0
|
|
|
e6c46cc |
if impl(ghc >= 8.0)
|
|
|
e6c46cc |
ghc-options: -Wcompat -Wnoncanonical-monad-instances
|
|
|
e6c46cc |
|
|
|
e6c46cc |
if !impl(ghc >= 8.8)
|
|
|
e6c46cc |
ghc-options: -Wnoncanonical-monadfail-instances
|
|
|
e6c46cc |
else
|
|
|
e6c46cc |
build-depends: fail >= 4.9 && < 5
|