Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

  1. package tuple

    Various functions on tuples Various useful functions on tuples, overloaded on tuple size.

  2. 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.

  3. 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.

  4. package type-level-integers

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

  5. package type-level-kv-list

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

  6. 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.

  7. 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.

  8. package type-map

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

  9. 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.

  10. package type-rig

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

Page 260 of many | Previous | Next