Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. SomePrimitiveVector :: (Any :: Type) -> SomePrimitiveVector

   recover-rtti	Debug.RecoverRTTI

   No documentation available.

2. newtype SomePrimitiveVectorM

   recover-rtti	Debug.RecoverRTTI

   Mutable primitive vector

3. SomePrimitiveVectorM :: (Any :: Type) -> SomePrimitiveVectorM

   recover-rtti	Debug.RecoverRTTI

   No documentation available.

4. newtype SomeStorableVector

   recover-rtti	Debug.RecoverRTTI

   Storable vector (Data.Vector.Storable) For storable arrays we have no hope of inferring the type of the elements: the elements are not stored as pointers, but rather as " serialized " data through the Storable type class. In order to get at any element, we'd need to have the corresponding Storable instance, but of course we don't have it if we don't have the type.

5. SomeStorableVector :: (Any :: Type) -> SomeStorableVector

   recover-rtti	Debug.RecoverRTTI

   No documentation available.

6. newtype SomeStorableVectorM

   recover-rtti	Debug.RecoverRTTI

   Mutable storage vector (Data.Vector.Storable) See SomeStorableVector for some details on why we don't infer anything here.

7. SomeStorableVectorM :: (Any :: Type) -> SomeStorableVectorM

   recover-rtti	Debug.RecoverRTTI

   No documentation available.

8. supportsBitVectors :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports bit-vectors?

9. supportsBitVectors :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports bit-vectors?

10. data TestVectors

    sbv	Data.SBV.Tools.GenTest

    Type of test vectors (abstract)

Page 95 of many | Previous | Next