/var/lib/ghc/package.conf.d/dependent-sum-0.2.1.0.conf is in libghc-dependent-sum-dev 0.2.1.0-5.
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 | name: dependent-sum
version: 0.2.1.0
id: dependent-sum-0.2.1.0-e9fd141610122b6186a82fad12537548
key: depen_6gwRdBck5QZ4qXAnB7oLqU
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
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/dependent-sum-0.2.1.0-6gwRdBck5QZ4qXAnB7oLqU
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/dependent-sum-0.2.1.0-6gwRdBck5QZ4qXAnB7oLqU
data-dir: /usr/share/dependent-sum
hs-libraries: HSdependent-sum-0.2.1.0-6gwRdBck5QZ4qXAnB7oLqU
depends:
base-4.8.2.0-0d6d1084fbc041e1cded9228e80e264d
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/
|