dmwit / universe

Classes for types where we know all the values

dmwit/universe Issues

Stack overflow when computing `universe` of `Map Word Word`.
Updated 2 years ago2
`These a b`, `Can a b`, `Wedge a b`, and `Smash a b` Types
Closed 3 years ago4
Finite types can be ordered
Updated 3 years ago5
deriveUniverseSome: Support type variables in constructor argument types
Updated 4 years ago2
`Equivalence a` Type
Updated 5 years ago4
Should we offer a Generic helper?
Closed 5 years ago6
Fusion for `+++`
Updated 5 years ago
CI is b0rked
Closed 5 years ago1
Questions
Updated 5 years ago8
Could we have cardinality for universeF ?
Closed 7 years ago1
Add instance for (Finite a, Finite b) => Finite (a -> b)
Closed 8 years ago1
Add instances for types in base
Closed 5 years ago1
Move Void instance to `universe-base`
Closed 5 years ago3
Prevent sharing
Updated 5 years ago10
container instances
Closed 8 years ago2
Instance for Bounded Enum
Closed 8 years ago3
Support transformers-0.5.0.0
Closed 8 years ago1
Orphan instances are evil
Closed 9 years ago1
Add packages to stackage
Closed 9 years ago8
Could not deduce (Representable (TracedT s f))
Closed 9 years ago3
representable-functors upper bound needs bump
Closed 11 years ago2
Upper bounds on dependencies are too restrictive
Closed 11 years ago1
there's code duplication
Closed 11 years ago
instance Finite a => Traversable (a ->) ?
Closed 11 years ago
instance Finite a => Universe [a]
Closed 11 years ago
stack overflow (or mega-swapping) when computing universe :: [Int-> Int]
Closed 11 years ago1
Export Data.Universe.Helpers through Data.Universe
Closed 11 years ago2