Hoogle Search
Within LTS Haskell 24.64 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Typeclasses for dealing with various chunked data representations See docs and README at http://www.stackage.org/package/chunked-data
-
Camellia block cipher primitives Camellia block cipher primitives
-
Simple heuristic for packing discs of varying radii in a circle Given a number of circles with their radii, this packags tries to arrange them tightly, without overlap and forming a large circle. Finding the optimal solution is NP hard, so only heuristics are feasible. This particular implementation is neither very good nor very fast, compared to the state of the art in research. Nevertheless it is simple to use and gives visually acceptable results. You can explore the algorithm live at http://darcs.nomeata.de/circle-packing/ghcjs/ghcjs-demo.html. Contributions of better algorithms are welcome.
-
Clash: a functional hardware description language - GHC frontend Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Features of Clash:
- Strongly typed, but with a very high degree of type inference, enabling both safe and fast prototyping using concise descriptions.
- Interactive REPL: load your designs in an interpreter and easily test all your component without needing to setup a test bench.
- Higher-order functions, with type inference, result in designs that are fully parametric by default.
- Synchronous sequential circuit design based on streams of values, called Signals, lead to natural descriptions of feedback loops.
- Support for multiple clock domains, with type safe clock domain crossing.
- Clash Compiler binary using GHC/Haskell as a frontend
-
Clash: a functional hardware description language - As a library Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Features of Clash:
- Strongly typed, but with a very high degree of type inference, enabling both safe and fast prototyping using concise descriptions.
- Interactive REPL: load your designs in an interpreter and easily test all your component without needing to setup a test bench.
- Higher-order functions, with type inference, result in designs that are fully parametric by default.
- Synchronous sequential circuit design based on streams of values, called Signals, lead to natural descriptions of feedback loops.
- Support for multiple clock domains, with type safe clock domain crossing.
- The CoreHW internal language: SystemF + Letrec + Case-decomposition
- The normalisation process that brings CoreHW in a normal form that can be converted to a netlist
- Blackbox/Primitive Handling
-
A library to process command line arguments in some more convenient way. Uses three types of the command line arguments and order of their parsing. All groups usually are not nested one into the others (but using the sequence of parsing functions, you can parse also nested structures as well).
-
Integers bounded by a closed interval Integers bounded by a closed interval checked at compile time
-
Fast, accurate GitHub Flavored Markdown parser and renderer This package provides Haskell bindings for libcmark-gfm, the reference parser for GitHub Flavored Markdown, a fully specified variant of Markdown. It includes sources for libcmark-gfm (0.29.0.gfm.13) and does not require prior installation of the C library.
-
Composable Contravariant Comonadic Logging Library The default implementation of logging based on co-log-core. The ideas behind this package are described in the following blog post:
-
Composable Contravariant Comonadic Logging Library Implementation of the co-log logging based on the polysemy extensible effects library. The ideas behind this package are described in the following blog post:
For the taggless final implementation of the co-log ideas se the following package: