The latest version of universe-dependent-sum is 1.3.1-0.
universe-dependent-sum
Version 1.1.0.1 revision 0 uploaded by phadej.
Package meta
- Synopsis
- Universe instances for types from dependent-sum
- Description
A class for finite and recursively enumerable types and some helper functions for enumerating them defined in
universe-base
package:class Universe a where universe :: [a] class Universe a => Finite a where universeF :: [a]; universeF = universe
This package adds
class UniverseSome f where universeSome :: [Some f] class UniverseSome f => FiniteSome f where universeFSome :: [Some f]; universeFSome = universe
classes.
- Author
- Daniel Wagner
- Bug reports
- n/a
- Category
- Data
- Copyright
- Daniel Wagner 2014
- Homepage
- https://github.com/dmwit/universe
- Maintainer
- me@dmwit.com
- Package URL
- n/a
- Stability
- n/a