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. emptyGMap :: GSolution -> GSolution

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   No documentation available.

2. updateGMap :: Sol b a -> HashMap KVar b -> Sol b a

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   No documentation available.

3. updateGMapWithKey :: [(KVar, QBind)] -> GSolution -> GSolution

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   No documentation available.

4. coerceMapToArray :: Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   Sort coercion for SMT theory encoding

5. isMap :: Sort -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. tceMap :: (Eq b, Hashable b) => (a -> b) -> TCEmb a -> TCEmb b

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. dataConMap :: [DataDecl] -> DataConMap

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.DataType

   DataConMap stores the names of those ctor-fields that have been declared as SMT ADTs so we don't make up new names for them.

8. runMapTyVars :: Bool -> Type -> SpecType -> (Doc -> Doc -> Error) -> Either Error MapTyVarST

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Misc

   No documentation available.

9. vmap :: MapTyVarST -> [(Var, RTyVar)]

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Misc

   No documentation available.

10. type DataConMap = HashMap (Symbol, Int) Symbol

    liquidhaskell-boot	Language.Haskell.Liquid.Bare.Types

    No documentation available.

Page 1067 of many | Previous | Next