/var/lib/ghc/package.conf.d/dependent-sum-0.2.1.0.conf is in libghc-dependent-sum-dev 0.2.1.0-1.
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 | name: dependent-sum
version: 0.2.1.0
id: dependent-sum-0.2.1.0-42bb36b39415bbca3ad7ee9daa920048
license: PublicDomain
copyright:
maintainer: James Cook <mokus@deepbondi.net>
stability: provisional
homepage: https://github.com/mokus0/dependent-sum
package-url:
synopsis: Dependent sum type
description: A dependent sum is a generalization of a
particular way of thinking about the @Either@
type. @Either a b@ can be thought of as a
2-tuple @(tag, value)@, where the value of the
tag determines the type of the value. In
particular, either @tag = Left@ and @value :: a@
or @tag = Right@ and @value :: b@.
.
This package allows you to define your own
dependent sum types by using your own \"tag\"
types.
category: Data, Dependent Types
author: James Cook <mokus@deepbondi.net>
exposed: True
exposed-modules: Data.Dependent.Sum Data.GADT.Compare
Data.GADT.Show
hidden-modules: Data.Dependent.Sum.Typeable
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3
library-dirs: /usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3
hs-libraries: HSdependent-sum-0.2.1.0
extra-libraries:
extra-ghci-libraries:
include-dirs:
includes:
depends: base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57
hugs-options:
cc-options:
ld-options:
framework-dirs:
frameworks:
haddock-interfaces: /usr/lib/ghc-doc/haddock/dependent-sum-0.2.1.0/dependent-sum.haddock
haddock-html: /usr/share/doc/libghc-dependent-sum-doc/html/
|