/var/lib/ghc/package.conf.d/free-4.12.4.conf is in libghc-free-dev 4.12.4-3+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | name: free
version: 4.12.4
id: free-4.12.4-KcMRz37SLEZ1mhKABhYXgw
key: free-4.12.4-KcMRz37SLEZ1mhKABhYXgw
license: BSD3
copyright: Copyright (C) 2008-2015 Edward A. Kmett
maintainer: Edward A. Kmett <ekmett@gmail.com>
stability: provisional
homepage: http://github.com/ekmett/free/
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/>
category: Control, Monads
author: Edward A. Kmett
exposed: True
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.Church Control.Monad.Free.Class
Control.Monad.Free.TH Control.Monad.Trans.Free
Control.Monad.Trans.Free.Church Control.Monad.Trans.Iter
abi: 8e0f677d335598c3ba44c5262e42a479
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/free-4.12.4-KcMRz37SLEZ1mhKABhYXgw
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/free-4.12.4-KcMRz37SLEZ1mhKABhYXgw
data-dir: /usr/share/free
hs-libraries: HSfree-4.12.4-KcMRz37SLEZ1mhKABhYXgw
depends:
base-4.9.0.0 bifunctors-5.4.1-3niVDFIzoQq70SaLlFBQmO
comonad-5-3LwbLd5kfjiIqizoIjvHM2 containers-0.5.7.1
distributive-0.5.0.2-IVixwhPTz78BgKSlrVu3oc
exceptions-0.8.3-1k51ubLFe5EKSOsIQFBryn
mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
prelude-extras-0.4.0.3-FAyB4iuuM7cHXdrLMZtdXq
profunctors-5.2-AH6k27x3SHYLOMP15FaUqd
semigroupoids-5.1-8EoliRc5eSJBHEVgPnibwd
semigroups-0.18.2-2lmUSJvrDkM6JBURGRclWz template-haskell-2.11.0.0
transformers-0.5.2.0
transformers-compat-0.5.1.4-Gu79y45cTc6DEmc8xKkIcN
haddock-interfaces: /usr/lib/ghc-doc/haddock/free-4.12.4/free.haddock
haddock-html: /usr/share/doc/libghc-free-doc/html/
|