@hackage / universe-dependent-sum

Universe instances for types from dependent-sum

Version Deprecated package1.3.1

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause

  • Maintained by: me@dmwit.com

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Tested Compilers

  1. 9.10.1
  2. 9.8.4
  3. 9.6.6
  4. 9.4.8
  5. 9.2.8
  6. 9.0.2
  7. 8.10.7
  8. 8.8.4
  9. 8.6.5

Readme

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.