Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. package tuple-sop

    functions on n-ary tuples using generics-sop Exports various functions on n-ary tuples. This library uses generics-sop to create a generic representation of n-ary product types. To regain type inference, the exported functions work only on tuples with at most 10 components.

  2. package tuples-homogenous-h98

    Wrappers for n-ary tuples with Traversable and Applicative/Monad instances. Provides newtype wrappers for n-ary homogenous tuples of types (a,...,a) and instances for Functor, Applicative (zipping), Monad, Foldable and Traversable. The package aims to be Haskell98 compliant.

  3. package type-level-integers

    Provides integers lifted to the type level This packages provides type level integers together with type families for basic arithmetic.

  4. package type-level-kv-list

    Type level Key-Value list. This library provides a brief implementation for extensible records.

  5. package type-level-natural-number

    Simple type level natural numbers This is a simple implementation of type-level natural numbers that only requires DeriveDataTypeable. Operations requiring more language extensions have been split into a separate package. The difference between this package and the many others on Hackage implementing type-level naturals is its emphasis on simplicity. It only supports non-negative natural numbers, and only the successor and predicessor operations. It represents natural numbers using a type-level linked list, so it is not intended to be used for representing large numbers. Pre-defined aliases for natural numbers up to 15 are provided. The code for this package was largely taken from the excellent Vec package; I created this package with the intent of making this functionality more widely available. Difference from 1.0: Added instances for Typeable, and word synonyms for N0...N15. Difference from 1.1: Performance enhancements for naturalNumberAsInt. Simplified Show implementation. Difference from 1.1.1: Gave up on Haskell 2010 compatibility since as of GHC 7.8 manually deriving from Typeable is no longer allowed; now I use DeriveDataTypeable to construct the instances.

  6. package type-level-numbers

    Type level numbers implemented using type families. This is type level numbers implemented using type families. Natural numbers use binary encoding. With default context stack numbers up to 2^18-1 could be represented. Signed integer numbers use balanced ternary encoding. Package is structured as folows:

    • [TypeLevel.Number.Classes] contain generic type families such as Add
    • [TypeLevel.Number.Nat] natural numbers implemented using binary encoding
    • [TypeLevel.Number.Int] signed integers implemented using balanced ternary encoding
    • [TypeLevel.Boolean] type level booleans
    So far comparison of numbers, subtraction and multiplication of numbers are supported.

  7. package type-map

    Type-indexed maps Maps where keys are types and values can have types depending on their keys.

  8. package type-of-html-static

    Optimize static parts of type-of-html. This library provides the TH-function static to annote which parts of your page are static to dramatically increase performance. It converts and escapes it's argument at compiletime and lifts it to a Proxy Symbol to avoid even appending of Builder.

  9. package type-rig

    Classes for the rig (sums and products) of types Classes for the rig (sums and products) of types

  10. package typed-uuid

    Phantom-Typed version of UUID Please see the README on Github at https://github.com/NorfairKing/typed-uuid#readme

Page 260 of many | Previous | Next