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
|
name: type-equality
version: 1
stability: provisional
cabal-version: >=1.10
build-type: Simple
author: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>, Martijn van Steenbergen
maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>, Ryan Scott <ryan.gl.scott@gmail.com>, Erik Hesselink <hesselink@gmail.com>
license: BSD3
license-file: LICENSE
homepage: https://github.com/hesselink/type-equality
category: Data, Dependent Types
synopsis: Data.Type.Equality compat package
description:
This library defines a propositional equality data type,
shims @Data.Type.Equality" as well as possible for older GHCs (< 7.8).
.
@
data a :~: b where
\ Refl :: a :~: a
@
.
The module @Data.Type.Equality.Hetero@ shims @:~~:@ equality, for
compilers with @PolyKinds@
extra-source-files: CHANGELOG.md
tested-with:
GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.2.2 || ==7.0.4
source-repository head
type: git
location: git://github.com/hesselink/type-equality
library
default-language: Haskell2010
build-depends: base >=4.3 && <4.15
if !impl(ghc >=7.8)
hs-source-dirs: src-old
exposed-modules: Data.Type.Equality
if impl(ghc >=8.0)
hs-source-dirs: src-hetero
exposed-modules: Data.Type.Equality.Hetero
other-extensions: PolyKinds
|
