Hoogle Search

Within LTS Haskell 24.53 (ghc-9.10.3)

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

  1. singletonIndex :: val -> Index key val

    haskey-btree Data.BTree.Primitives.Index

    Create an index with a single value.

  2. singletonStatement :: QuasiQuoter

    hasql-th Hasql.TH

    :: Statement params row
    
    Statement producing exactly one result row. Will cause the running session to fail with the UnexpectedAmountOfRows error if it's any other.

    Examples

    >>> :t [singletonStatement|select 1 :: int2|]
    ... :: Statement () Int16
    
    >>> :{
    :t [singletonStatement|
    insert into "user" (email, name)
    values ($1 :: text, $2 :: text)
    returning id :: int4
    |]
    :}
    ...
    ... :: Statement (Text, Text) Int32
    
    Incorrect SQL:
    >>> :t [singletonStatement|elect 1|]
    ...
    |
    1 | elect 1
    |      ^
    ...
    

  3. singletonZ :: a -> Zipper a

    xmonad-contrib XMonad.Util.Stack

    No documentation available.

  4. module Data.Singletons

    This module exports the basic definitions to use singletons. See also Prelude.Singletons from the singletons-base library, which re-exports this module alongside many singled definitions based on the Prelude. You may also want to read the original papers presenting this library, available at https://richarde.dev/papers/2012/singletons/paper.pdf and https://richarde.dev/papers/2014/promotion/promotion.pdf.

  5. module Control.Applicative.Singletons

    Defines the promoted and singled versions of the Applicative type class.

  6. module Control.Monad.Fail.Singletons

    Defines the promoted and singled versions of the MonadFail type class.

  7. module Control.Monad.Singletons

    Defines the promoted and singled versions of the Monad type class.

  8. module Control.Monad.Zip.Singletons

    Defines the promoted and singled versions of the MonadZip type class.

  9. module Data.Bool.Singletons

    Defines functions and datatypes relating to the singleton for Bool, including singled versions of all the definitions in Data.Bool. Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Bool. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

  10. module Data.Either.Singletons

    Defines functions and datatypes relating to the singleton for Either, including singled versions of all the definitions in Data.Either. Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Either. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Page 50 of many | Previous | Next