Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

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

   extractable-singleton	Data.Singleton.Class

   No documentation available.

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

   heftia	Data.FTCQueue

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

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

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

4. isSingletonReft :: Reft -> Maybe Expr

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

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

5. newtype IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. IsEmptyOrSingleton :: Bool -> IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. data ADTArbitrarySingleton a

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

   ADTArbitrarySingleton holds the type name and one ConstructorArbitraryPair.

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

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

   No documentation available.

10. class GToADTArbitrarySingleton (rep :: Type -> Type)

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

    GToADTArbitrarySingleton creates an arbitrary value and returns the name of the constructor that was used to create it and the type name.

Page 65 of many | Previous | Next