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. CUserSort :: (Maybe Int, String) -> CVal

   sbv	Data.SBV.Dynamic

   Value of an uninterpreted/user kind. The Maybe Int shows index position for enumerations

2. KUserSort :: String -> Maybe [String] -> Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

3. isUserSort :: HasKind a => a -> Bool

   sbv	Data.SBV.Dynamic

   No documentation available.

4. CUserSort :: (Maybe Int, String) -> CVal

   sbv	Data.SBV.Internals

   Value of an uninterpreted/user kind. The Maybe Int shows index position for enumerations

5. KUserSort :: String -> Maybe [String] -> Kind

   sbv	Data.SBV.Internals

   No documentation available.

6. isUserSort :: HasKind a => a -> Bool

   sbv	Data.SBV.Internals

   No documentation available.

7. supportsUninterpretedSorts :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports SMT-Lib2 style uninterpreted-sorts

8. supportsUninterpretedSorts :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports SMT-Lib2 style uninterpreted-sorts

9. KUserSort :: String -> Maybe [String] -> Kind

   sbv	Data.SBV.Trans

   No documentation available.

10. isUserSort :: HasKind a => a -> Bool

    sbv	Data.SBV.Trans

    No documentation available.

Page 160 of many | Previous | Next