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. mapConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

2. mapToIntName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

3. mappendSym :: Symbol -> Symbol -> Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

4. mapPredReft :: (Expr -> Expr) -> Reft -> Reft

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

5. mapFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. mapFVar :: (Int -> Int) -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. mapSort :: Sort -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

8. mappendFTC :: FTycon -> FTycon -> FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

9. mapExpr :: Visitable t => (Expr -> Expr) -> t -> t

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

10. mapExprOnExpr :: (Expr -> Expr) -> Expr -> Expr

    liquid-fixpoint	Language.Fixpoint.Types.Visitor

    Specialized and faster version of mapExpr for expressions

Page 248 of many | Previous | Next