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. package extractable-singleton

    A functor, where the "stored" value is isomorphic to Identity A functor, where the "stored" value is isomorphic to Identity

  2. runSingleton :: Extractable f => f a -> a

    extractable-singleton Data.Singleton.Class

    No documentation available.

  3. tsingleton :: (a -> m b) -> FTCQueue m a b

    heftia Data.FTCQueue

    Build a leaf from a single operation. [O(1)]

  4. isSingletonExpr :: Symbol -> Expr -> Maybe Expr

    liquid-fixpoint Language.Fixpoint.Types.Refinements

    No documentation available.

  5. isSingletonReft :: Reft -> Maybe Expr

    liquid-fixpoint Language.Fixpoint.Types.Refinements

    Predicates ----------------------------------------------------------------

  6. newtype IsEmptyOrSingleton

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  7. IsEmptyOrSingleton :: Bool -> IsEmptyOrSingleton

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  8. isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  9. data ADTArbitrarySingleton a

    quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT

    ADTArbitrarySingleton holds the type name and one ConstructorArbitraryPair.

  10. ADTArbitrarySingleton :: String -> String -> ConstructorArbitraryPair a -> ADTArbitrarySingleton a

    quickcheck-arbitrary-adt Test.QuickCheck.Arbitrary.ADT

    No documentation available.

Page 65 of many | Previous | Next