Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
A library getting the environment when running on Cloud Foundry This is a port of go-cfenv for Golang. The purpose of this library is to assist you in writing Haskell apps that run on Cloud Foundry. It provides convenience functions and structures that map to Cloud Foundry environment variable primitives.
-
Time to manipulate time A simple type useful for representing timestamps as generated by system events, along with conveniences for converting between time types from common Haskell time libraries. Our original use was wanting to conveniently measure things happening on distributed computer systems. Since machine clock cycles are in units of nanoseconds, this has the nice property that, assuming the system clock is not corrupted, two subsequent events from the same source process are likely to have monotonically increasing timestamps. And even if the system clock has skew, they're still decently likely to be unique per device. These TimeStamps thus make good keys when building Maps. The core type is in Chrono.TimeStamp, see there for full documentation.
-
A high-performance time library Chronos is a performance-oriented time library for Haskell, with a straightforward API. The main differences between this and the time library are: * Chronos uses machine integers where possible. This means that time-related arithmetic should be faster, with the drawback that the types are incapable of representing times that are very far in the future or the past (because Chronos provides nanosecond, rather than picosecond, resolution). For most users, this is not a hindrance. * Chronos provides ToJSON/FromJSON instances for serialisation. * Chronos provides Unbox instances for working with unboxed vectors. * Chronos provides Prim instances for working with byte arrays/primitive arrays. * Chronos uses normal non-overloaded haskell functions for encoding and decoding time. It provides attoparsec parsers for both Text and ByteString. Additionally, Chronos provides functions for encoding time to Text or ByteString. The http://hackage.haskell.org/package/time time> library accomplishes these with the Data.Time.Format module, which uses UNIX-style datetime format strings. The approach taken by Chronos is faster and catches more mistakes at compile time, at the cost of being less expressive.
-
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