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.

  1. package lapack-ffi

    Auto-generated interface to Fortran LAPACK LAPACK is a package for efficient numerically robust linear algebra. The original implementation is written in FORTRAN. This is an automatically generated low-level wrapper. We provide bindings to functions of all variants for Float, Double, Complex Float and Complex Double. We do not use TemplateHaskell nor HSC nor CHS, but instead Haskell 98 code generated by the custom lapack-ffi-tools package.

  2. package leb128-cereal

    LEB128 and SLEB128 encoding This module implements encoding and decoding of Natural and Integer values according to LEB128 and SLEB128. See https://en.wikipedia.org/wiki/LEB128 for a specification. This package uses the cereal package, but also provides direct encoding and decoding to ByteString.

  3. package lens-action

    Monadic Getters and Folds This package contains combinators and types for working with monadic getters and folds as split off from the original lens package.

  4. package lift-type

    Lift a type from a Typeable constraint to a Template Haskell type Lift your types from a Typeable constraint to a Template Haskell type

  5. package linear-base

    Standard library for linear types. Please see README.md.

  6. package linear-generics

    Generic programming library for generalised deriving. This package offers a version of GHC.Generics with two important improvements:

    1. The to, from, to1, and from1 methods have multiplicity-polymorphic types, allowing them to be used with either traditional Haskell code or linearly typed code.
    2. The representations used for Generic1 are modified slightly. As a result, to1 and from1 never need to use fmap. This can greatly improve performance, and it is necessary to support multiplicity polymorphism. A smaller change, approximately as proposed by spl, reduces the number of instances that must be written to actually use Generic1 for deriving instances of other classes.
    For more details, see the Generics.Linear documentation. The implementation is based on the generic-deriving package, first described in the paper
    • A generic deriving mechanism for Haskell. Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. Haskell'10.
    This library is organized as follows:
    • Generics.Linear defines the core functionality for generics, including the multiplicity-polymorphic Generic(1) classes and a replacement for the :.: composition type.
    • Generics.Linear.TH implements Template Haskell functionality for deriving instances of Generic(1).
    • Generics.Linear.Unsafe.ViaGHCGenerics offers DerivingVia targets to derive Generic and Generic1 instances from GHC.Generics.GHC.Generics.Generic. Because these instances necessarily use unsafe coercions, their use will likely inhibit full optimization of code using them.
    Educational code: the educational modules exported by generic-deriving have been copied into the tests/Generic/Deriving directory in this repository, with the very few modifications required to accommodate the differences between the Generic1 representations here and in base. All the same caveats apply as in the originals; see that package's README.

  7. package linear-programming

    Linear Programming basic definitions Basic types and generic functions for use in the packages coinor-clp and comfort-glpk.

  8. package linux-file-extents

    Retrieve file fragmentation information under Linux This package provides a simple wrapper around the Linux FIEMAP ioctl. It can be used to retrieve the list of all the extents of any given file, i.e. the area of the disk where the file is actually stored. This is similar to the filefrag command line tool provided by the e2fsprogs package.

  9. package liquid-fixpoint

    Predicate Abstraction-based Horn-Clause/Implication Constraint Solver This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used for Liquid Types. The package includes:

    1. Types for Expressions, Predicates, Constraints, Solutions
    2. Code for solving constraints
    Requirements In addition to the .cabal dependencies you require

  10. package liquidhaskell-boot

    Liquid Types for Haskell This package provides a plugin to verify Haskell programs. But most likely you should be using the liquidhaskell package instead, which rexports this plugin together with necessary specifications for definitions in the boot libraries.

Page 126 of many | Previous | Next