@hackage universe-base1.1.4
A class for finite and recursively enumerable types.
Installation
Tested Compilers
Dependencies (6)
- OneTuple >=0.4.2 && <0.5
- base >=4.12 && <4.23
- containers >=0.6.0.1 && <0.9
- ghc-prim
- tagged >=0.8.8 && <0.9
- transformers >=0.5.6.2 && <0.7 Show all…
Dependents (19)
@hackage/universe-instances-base, @hackage/heyting-algebras, @hackage/sign, @hackage/Fin, @hackage/universe-reverse-instances, @hackage/connections, Show all…
A class for finite and recursively enumerable types and some helper functions for enumerating them.
class Universe a where universe :: [a] class Universe a => Finite a where universeF :: [a]; universeF = universe
This is slim package definiting only the type-classes and instances
for types in GHC boot libraries.
For more instances check universe-instances-* packages.