Hoogle Search
Within LTS Haskell 24.28 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Creation of type-safe, RESTful web applications. API docs and the README are available at http://www.stackage.org/package/yesod
-
Form handling support for Yesod Web Framework API docs and the README are available at http://www.stackage.org/package/yesod-form. Third-party packages which you can find useful: yesod-form-richtext - richtext form fields (currently it provides only Summernote support).
-
Yi editor core library Yi editor core library
-
Collection of language-related Yi libraries. Collection of language-related Yi libraries.
-
Library for creating and modifying zip archives. The zip-archive library provides functions for creating, modifying, and extracting files from zip archives. The zip archive format is documented in http://www.pkware.com/documents/casestudies/APPNOTE.TXT. Certain simplifying assumptions are made about the zip archives: in particular, there is no support for strong encryption, zip files that span multiple disks, ZIP64, OS-specific file attributes, or compression methods other than Deflate. However, the library should be able to read the most common zip archives, and the archives it produces should be readable by all standard unzip programs. Archives are built and extracted in memory, so manipulating large zip files will consume a lot of memory. If you work with large zip files or need features not supported by this library, a better choice may be zip, which uses a memory-efficient streaming approach. However, zip can only read and write archives inside instances of MonadIO, so zip-archive is a better choice if you want to manipulate zip archives in "pure" contexts. As an example of the use of the library, a standalone zip archiver and extracter is provided in the source distribution.
-
Automatic Differentiation Forward-, reverse- and mixed- mode automatic differentiation combinators with a common API. Type-level "branding" is used to both prevent the end user from confusing infinitesimals and to limit unsafe access to the implementation details of each Mode. Each mode has a separate module full of combinators.
- Numeric.AD.Mode.Forward provides basic forward-mode AD. It is good for computing simple derivatives.
- Numeric.AD.Mode.Reverse uses benign side-effects to compute reverse-mode AD. It is good for computing gradients in one pass. It generates a Wengert list (linear tape) using Data.Reflection.
- Numeric.AD.Mode.Kahn uses benign side-effects to compute reverse-mode AD. It is good for computing gradients in one pass. It generates a tree-like tape that needs to be topologically sorted in the end.
- Numeric.AD.Mode.Sparse computes a sparse forward-mode AD tower. It is good for higher derivatives or large numbers of outputs.
- Numeric.AD.Mode.Tower computes a dense forward-mode AD tower useful for higher derivatives of single input functions.
- Numeric.AD computes using whichever mode or combination thereof is suitable to each individual combinator.
- grad computes the gradient (partial derivatives) of a function at a point.
- jacobian computes the Jacobian matrix of a function at a point.
- diff computes the derivative of a function at a point.
- du computes a directional derivative of a function at a point.
- hessian computes the Hessian matrix (matrix of second partial derivatives) of a function at a point.
- ' -- also return the answer
- With lets the user supply a function to blend the input with the output
- F is a version of the base function lifted to return a Traversable (or Functor) result
- s means the function returns all higher derivatives in a list or f-branching Stream
- T means the result is transposed with respect to the traditional formulation.
- 0 means that the resulting derivative list is padded with 0s at the end.
- NoEq means that an infinite list of converging values is returned rather than truncating the list when they become constant
-
JSON quasiquoter for Haskell aeson-qq provides a JSON quasiquoter for Haskell. This package exposes the function aesonQQ that compile-time converts a string representation of a JSON value into a Data.Aeson.Value. aesonQQ has the signature
aesonQQ :: QuasiQuoter
Consult the README for documentation: https://github.com/sol/aeson-qq#readme -
ASN1 data reader and writer in RAW, BER and DER forms ASN1 data reader and writer in raw form with supports for high level forms of ASN1 (BER, and DER).
-
base-compat with extra batteries Provides functions available in later versions of base to a wider range of compilers, without requiring you to use CPP pragmas in your code. This package provides the same API as the base-compat library, but depends on compatibility packages (such as semigroups) to offer a wider support window than base-compat, which has no dependencies. Most of the modules in this library have the same names as in base-compat to make it easier to switch between the two. There also exist versions of each module with the suffix .Repl.Batteries, which are distinct from anything in base-compat, to allow for easier use in GHCi. See here for a more comprehensive list of differences between base-compat and base-compat-batteries.
-
Boring and Absurd types
- Boring types are isomorphic to ().
- Absurd types are isomorphic to Void.