type-level-prng: Type level pseudorandom number generators

[ data, library, mit, types ] [ Propose Tags ] [ Report a vulnerability ]

Please see README.md.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0
Change log CHANGELOG.md
Dependencies base (>=4.18 && <5), defun-core (>=0.1 && <0.2) [details]
Tested with ghc ==9.12
License MIT
Author Ben Orchard
Maintainer Ben Orchard <thefirstmuffinman@gmail.com>
Category Types, Data
Home page https://github.com/raehik/type-level-prng#readme
Bug tracker https://github.com/raehik/type-level-prng/issues
Source repo head: git clone https://github.com/raehik/type-level-prng
Uploaded by raehik at 2025-11-24T10:01:12Z
Distributions
Downloads 0 total (0 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for type-level-prng-0.1.0

[back to package description]

type-level-prng

Type level pseudorandom number generators. Ever wanted convenient access to randomness in your type-level Haskell programs? Trick question, I don't care, you can now have it anyway.

Due to the specific limitations of GHC's opaque type-level natural numbers, the PRNGs defined here have wildly different performance. This library provides defunctionalized symbols, so that your type-level programs can be parameterized on their PRNG implementation.

Contributing

I would gladly accept further combinators or other suggestions. Please add an issue or pull request, or contact me via email or whatever (I'm raehik everywhere).

License

Provided under the MIT license. See LICENSE for license text.