Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

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

   heftia	Data.FTCQueue

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

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

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

3. isSingletonReft :: Reft -> Maybe Expr

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

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

4. newtype IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. IsEmptyOrSingleton :: Bool -> IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. data ADTArbitrarySingleton a

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

   ADTArbitrarySingleton holds the type name and one ConstructorArbitraryPair.

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

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

   No documentation available.

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

10. gToADTArbitrarySingleton :: GToADTArbitrarySingleton rep => Proxy rep -> Gen (ADTArbitrarySingleton (rep a))

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

    No documentation available.

Page 65 of many | Previous | Next