Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

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

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

2. isSingletonReft :: Reft -> Maybe Expr

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

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

3. newtype IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

4. IsEmptyOrSingleton :: Bool -> IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. data ADTArbitrarySingleton a

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

   ADTArbitrarySingleton holds the type name and one ConstructorArbitraryPair.

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

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

   No documentation available.

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

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

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

   No documentation available.

10. toADTArbitrarySingleton :: ToADTArbitrary a => Proxy a -> Gen (ADTArbitrarySingleton a)

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

    produce an arbitrary instance of one random constructor

Page 65 of many | Previous | Next