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
|
name: dependent-sum
version: 0.7.2.0
x-revision: 2
stability: provisional
cabal-version: 1.22
build-type: Simple
author: James Cook <mokus@deepbondi.net>
maintainer: Obsidian Systems, LLC <maintainer@obsidian.systems>
license: PublicDomain
homepage: https://github.com/obsidiansystems/dependent-sum
category: Data, Dependent Types
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.
tested-with: GHC == 8.6.5,
GHC == 8.8.4,
GHC == 8.10.7,
GHC == 9.0.1,
GHC == 9.4.3
extra-source-files: ChangeLog.md
, examples/*.hs
source-repository head
type: git
location: https://github.com/obsidiansystems/dependent-sum
Library
default-language: Haskell2010
hs-source-dirs: src
exposed-modules: Data.Dependent.Sum
reexported-modules: Data.GADT.Compare,
Data.GADT.Show,
Data.Some
other-extensions: PatternSynonyms
build-depends: base >= 4.9 && <5
, constraints-extras >= 0.2 && < 0.5
-- tight bounds, so re-exported API is versioned properly.
build-depends: some >= 1.0.4 && < 1.0.7
if impl(ghc >= 7.2)
ghc-options: -trust base
|
