issues
search
dmwit
/
universe
Classes for types where we know all the values
BSD 3-Clause "New" or "Revised" License
37
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Drop support for GHs prior 8.6.5
#70
phadej
closed
4 months ago
0
Allow base-4.19
#69
phadej
closed
11 months ago
0
Support OneTuple-0.4
#68
phadej
closed
1 year ago
1
Allow base-4.18
#67
phadej
closed
1 year ago
0
Allow th-abstraction-0.5
#66
phadej
closed
1 year ago
0
Allow base-4.17
#65
phadej
closed
2 years ago
0
Stack overflow when computing `universe` of `Map Word Word`.
#64
jonathanknowles
opened
2 years ago
2
GHC-9.2 (base-4.16), Add Solo instances
#63
phadej
closed
2 years ago
0
`These a b`, `Can a b`, `Wedge a b`, and `Smash a b` Types
#62
subttle
closed
3 years ago
4
Add GHC-9.0 job
#61
phadej
closed
3 years ago
0
Deprecate universe-dependent-sum
#60
phadej
closed
3 years ago
0
Docspec
#59
phadej
closed
3 years ago
0
Explicitly mark modules as Safe or Trustworthy
#58
phadej
closed
3 years ago
0
Use GHA
#57
phadej
closed
3 years ago
0
Finite types can be ordered
#56
treeowl
opened
3 years ago
5
Allow th-abstraction-0.4
#55
phadej
closed
3 years ago
0
Add deriveFiniteSome
#54
phadej
opened
4 years ago
0
deriveUniverseSome: Support type variables in constructor argument types
#53
srid
opened
4 years ago
2
Allow base-4.14, template-haskell-2.16
#52
phadej
closed
4 years ago
0
Add dependent-sum
#51
phadej
closed
5 years ago
0
Allow base-4.13/ghc-8.8
#50
phadej
closed
5 years ago
0
Op and predicate
#49
phadej
closed
5 years ago
0
Three is Ordering
#48
phadej
closed
5 years ago
0
Add more doctests
#47
phadej
closed
5 years ago
0
add instances for Equivalence, Op, and Predicate
#46
subttle
opened
5 years ago
8
Bump version
#45
phadej
closed
5 years ago
1
`Equivalence a` Type
#44
subttle
opened
5 years ago
4
Allow semigroups-0.19
#43
phadej
closed
5 years ago
0
Th abstraction 0.3
#42
phadej
closed
5 years ago
0
Prepare for 1.1
#41
phadej
closed
5 years ago
0
Should we offer a Generic helper?
#40
treeowl
closed
5 years ago
6
Add instances for Natural and Ratio Natural
#39
treeowl
closed
5 years ago
1
Fusion for `+++`
#38
treeowl
opened
5 years ago
0
Update CI
#37
phadej
closed
5 years ago
1
CI is b0rked
#36
treeowl
closed
5 years ago
1
Improve Rational instance
#35
treeowl
closed
5 years ago
11
Add pragma for GHC 8.6
#34
karljs
closed
5 years ago
1
universe-template: fix build for ghc 8.0.2
#33
luigy
closed
5 years ago
0
Add universe-template
#32
ryantrinkle
closed
6 years ago
2
Updates 2018-01-28. Update .travis.yml, relax bounds
#31
phadej
closed
6 years ago
3
[WIP] Use stream fusion approach to make univerrse with prevented sharing
#30
phadej
opened
7 years ago
0
Questions
#29
markandrus
opened
7 years ago
8
Could we have cardinality for universeF ?
#28
jachymb
closed
7 years ago
1
Add instance for (Finite a, Finite b) => Finite (a -> b)
#27
jachymb
closed
8 years ago
1
Add instances for types in base
#26
phadej
closed
5 years ago
1
Move Void instance to `universe-base`
#25
phadej
closed
5 years ago
3
Introduce Univ newtype
#24
phadej
opened
8 years ago
2
Prevent sharing
#23
phadej
opened
8 years ago
10
Containers
#22
phadej
closed
8 years ago
9
Improvements
#21
phadej
closed
8 years ago
1
Next