/var/lib/ghc/package.conf.d/dependent-sum-0.3.2.2.conf is in libghc-dependent-sum-dev 0.3.2.2-3.
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 | name: dependent-sum
version: 0.3.2.2
id: dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q
key: dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q
license: PublicDomain
maintainer: James Cook <mokus@deepbondi.net>
stability: provisional
homepage: https://github.com/mokus0/dependent-sum
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 Data.Some
abi: c54eab03aed94cfdaa5e4afd53da56e7
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q
data-dir: /usr/share/dependent-sum
hs-libraries: HSdependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q
depends:
base-4.9.0.0
haddock-interfaces: /usr/lib/ghc-doc/haddock/dependent-sum-0.3.2.2/dependent-sum.haddock
haddock-html: /usr/share/doc/libghc-dependent-sum-doc/html/
|