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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
cabal-version: >=1.10
name: semialign
version: 1.3.1
synopsis:
Align and Zip type-classes from the common Semialign ancestor.
homepage: https://github.com/haskellari/these
license: BSD3
license-file: LICENSE
author: C. McCann, Oleg Grenrus
maintainer: Oleg Grenrus <oleg.grenrus@iki.fi>
category: Data, These
build-type: Simple
extra-source-files: CHANGELOG.md
description:
The major use of @These@ of this is provided by the @align@ member of
@Semialign@ class, representing a generalized notion of "zipping with padding"
that combines structures without truncating to the size of the smaller input.
.
It turns out that @zip@ operation fits well the @Semialign@ class,
forming lattice-like structure.
tested-with:
GHC ==8.6.5
|| ==8.8.4
|| ==8.10.7
|| ==9.0.2
|| ==9.2.8
|| ==9.4.8
|| ==9.6.5
|| ==9.8.2
|| ==9.10.1
source-repository head
type: git
location: https://github.com/haskellari/these.git
subdir: semialign
flag semigroupoids
description: Build with semigroupoids dependency
manual: True
default: True
library
default-language: Haskell2010
ghc-options: -Wall -Wno-trustworthy-safe
if impl(ghc >=9.2)
ghc-options: -Wno-noncanonical-monoid-instances
hs-source-dirs: src
exposed-modules:
Data.Align
Data.Crosswalk
Data.Semialign
Data.Semialign.Indexed
Data.Zip
other-modules: Data.Semialign.Internal
-- ghc boot libs
build-depends:
base >=4.12.0.0 && <4.21
, containers >=0.6.0.1 && <0.8
, transformers >=0.5.6.2 && <0.7
-- These
build-depends: these >=1.2.1 && <1.3
-- other dependencies
build-depends:
hashable >=1.4.4.0 && <1.5
, indexed-traversable >=0.1.4 && <0.2
, indexed-traversable-instances >=0.1.2 && <0.2
, tagged >=0.8.8 && <0.9
, unordered-containers >=0.2.8.0 && <0.3
, vector >=0.13.0.0 && <0.14
if flag(semigroupoids)
build-depends: semigroupoids >=6.0.1 && <6.1
|
