universe-base-1.0: A class for finite and recursively enumerable types and some helper functions for enumerating them

Index

+*+Data.Universe.Helpers
+++Data.Universe.Helpers
choicesData.Universe.Helpers
diagonalData.Universe.Helpers
FiniteData.Universe.Class
interleaveData.Universe.Helpers
unfairCartesianProductData.Universe.Helpers
unfairChoicesData.Universe.Helpers
UniverseData.Universe.Class
universeData.Universe.Class
universeDefData.Universe.Helpers
universeFData.Universe.Class