Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. mappendFTC :: FTycon -> FTycon -> FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   Specialized and faster version of mapExpr for expressions

4. mapGVars' :: Visitable t => ((KVar, Subst) -> Maybe Expr) -> t -> t

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

5. mapKVarSubsts :: Visitable t => (KVar -> Subst -> Subst) -> t -> t

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

6. mapKVars :: Visitable t => (KVar -> Maybe Expr) -> t -> t

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

7. mapKVars' :: Visitable t => ((KVar, Subst) -> Maybe Expr) -> t -> t

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

8. mapMExpr :: Monad m => (Expr -> m Expr) -> Expr -> m Expr

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

9. mapSort :: (Sort -> Sort) -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

10. mapType :: (Type -> Type) -> Type -> Type

    liquidhaskell-boot	Language.Haskell.Liquid.GHC.Play

    No documentation available.

Page 245 of many | Previous | Next