Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. iperform :: Monad m => IndexedActing i m (i, a) s a -> s -> m (i, a)

   lens-action	Control.Lens.Action

   Perform an IndexedAction.

   iperform ≡ flip (^@!)
   

2. iperforms :: Monad m => IndexedActing i m e s a -> (i -> a -> e) -> s -> m e

   lens-action	Control.Lens.Action

   Perform an IndexedAction and modify the result.

3. perform :: Monad m => Acting m a s a -> s -> m a

   lens-action	Control.Lens.Action

   Perform an Action.

   perform ≡ flip (^!)
   

4. performs :: (Profunctor p, Monad m) => Over p (Effect m e) s t a b -> p a e -> s -> m e

   lens-action	Control.Lens.Action

   Perform an Action and modify the result.

   performs :: Monad m => Acting m e s a -> (a -> e) -> s -> m e
   

5. module Language.Fixpoint.Horn.Transformations

   No documentation available.

6. convertFormat :: Fixpoint a => FInfo a -> SInfo a

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   Query Conversions: FInfo to SInfo

7. addRewritesForNextBinding :: LocalRewrites -> CG ()

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Env

   Add local rewrites associated to the next binding that will be inserted.

8. excludeAutomaticAssumptionsFor :: Config -> [String]

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   No documentation available.

9. HsForAllTy :: XForAllTy pass -> HsForAllTelescope pass -> LHsType pass -> HsType pass

   liquidhaskell-boot	Liquid.GHC.API

   • AnnKeywordId : AnnForall, AnnDot,AnnDarrow For details on above see Note [exact print annotations] in GHC.Parser.Annotation

10. Opt_ForceRecomp :: GeneralFlag

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 1490 of many | Previous | Next