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