forked from ekmett/free
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathfree.cabal
105 lines (98 loc) · 3.22 KB
/
free.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
name: free
category: Control, Monads
version: 4.12.4
license: BSD3
cabal-version: >= 1.10
license-file: LICENSE
author: Edward A. Kmett
maintainer: Edward A. Kmett <[email protected]>
stability: provisional
homepage: http://github.com/ekmett/free/
bug-reports: http://github.com/ekmett/free/issues
copyright: Copyright (C) 2008-2015 Edward A. Kmett
tested-with: GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.1
synopsis: Monads for free
description:
Free monads are useful for many tree-like structures and domain specific languages.
.
If @f@ is a 'Functor' then the free 'Monad' on @f@ is the type
of trees whose nodes are labeled with the constructors of @f@. The word
\"free\" is used in the sense of \"unrestricted\" rather than \"zero-cost\":
@Free f@ makes no constraining assumptions beyond those given by @f@ and the
definition of 'Monad'. As used here it is a standard term from the
mathematical theory of adjoint functors.
.
Cofree comonads are dual to free monads. They provide convenient ways to talk
about branching streams and rose-trees, and can be used to annotate syntax
trees. The cofree comonad can be seen as a stream parameterized by a 'Functor'
that controls its branching factor.
.
More information on free monads, including examples, can be found in the
following blog posts:
<http://comonad.com/reader/2008/monads-for-free/>
<http://comonad.com/reader/2011/free-monads-for-less/>
build-type: Simple
extra-source-files:
.ghci
.gitignore
.travis.yml
.vim.custom
README.markdown
CHANGELOG.markdown
HLint.hs
doc/proof/Control/Comonad/Cofree/*.md
doc/proof/Control/Comonad/Trans/Cofree/*.md
examples/*.hs
examples/*.lhs
extra-doc-files:
examples/*.hs
examples/*.lhs
source-repository head
type: git
location: git://github.com/ekmett/free.git
library
hs-source-dirs: src
default-language: Haskell2010
default-extensions: CPP
other-extensions:
MultiParamTypeClasses
FunctionalDependencies
FlexibleInstances
UndecidableInstances
Rank2Types
GADTs
build-depends:
base == 4.*,
bifunctors >= 4 && < 6,
comonad >= 4 && < 6,
distributive >= 0.2.1,
mtl >= 2.0.1.0 && < 2.3,
prelude-extras >= 0.4 && < 1,
profunctors >= 4 && < 6,
semigroupoids >= 4 && < 6,
semigroups >= 0.8.3.1 && < 1,
transformers >= 0.2.0 && < 0.6,
transformers-compat >= 0.3 && < 1,
template-haskell >= 2.7.0.0 && < 3,
exceptions >= 0.6 && < 0.9,
containers < 0.6
exposed-modules:
Control.Applicative.Free
Control.Applicative.Free.Final
Control.Applicative.Trans.Free
Control.Alternative.Free
Control.Alternative.Free.Final
Control.Comonad.Cofree
Control.Comonad.Cofree.Class
Control.Comonad.Trans.Cofree
Control.Comonad.Trans.Coiter
Control.Monad.Free
Control.Monad.Free.Ap
Control.Monad.Free.Church
Control.Monad.Free.Class
Control.Monad.Free.TH
Control.Monad.Trans.Free
Control.Monad.Trans.Free.Ap
Control.Monad.Trans.Free.Church
Control.Monad.Trans.Iter
ghc-options: -Wall