Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. pattern Singleton :: forall a (f :: Type -> Type) . a -> OneOrMoreApp ('SetApp f (Singleton a))

    type-set Data.OneOrMoreApp

    No documentation available.

  2. module Math.NumberTheory.Moduli.Singleton

    Singleton data types.

  3. Singleton :: Key

    registry Data.Registry.Internal.Cache

    No documentation available.

  4. module Agda.Utils.Singleton

    Constructing singleton collections.

  5. class Singleton el coll | coll -> el

    Agda Agda.Utils.Singleton

    Overloaded singleton constructor for collections.

  6. singletonM :: a -> ST s (Array a)

    unordered-containers Data.HashMap.Internal.Array

    No documentation available.

  7. singletonCCSLbl :: CostCentre -> G Ident

    ghc GHC.StgToJS.Profiling

    No documentation available.

  8. singletonMap :: IsMap map => ContainerKey map -> MapValue map -> map

    mono-traversable Data.Containers

    Create a map from a single key-value pair.

  9. singletonSet :: IsSet set => Element set -> set

    mono-traversable Data.Containers

    Create a set from a single element.

  10. package singletons

    Basic singleton types and definitions singletons contains the basic types and definitions needed to support dependently typed programming techniques in Haskell. This library was originally presented in Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) singletons is intended to be a small, foundational library on which other projects can build. As such, singletons has a minimal dependency footprint and supports GHCs dating back to GHC 8.0. For more information, consult the singletons README. You may also be interested in the following related libraries:

    • The singletons-th library defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents.
    • The singletons-base library uses singletons-th to define promoted and singled functions from the base library, including the Prelude.

Page 41 of many | Previous | Next