Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. lookupRewrite :: Symbol -> LocalRewrites -> Maybe Expr

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

2. lookupBindEnv :: BindId -> BindEnv a -> (Symbol, SortedReft, a)

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

3. lookupSEnv :: Symbol -> SEnv a -> Maybe a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

4. lookupSEnvWithDistance :: Symbol -> SEnv a -> SESearch a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

5. lookupQBind :: Sol a QBind -> KVar -> QBind

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   Read / Write Solution at KVar ---------------------------------------------

6. lookupGhcDataConLHName :: HasCallStack => Env -> Located LHName -> Lookup DataCon

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

   No documentation available.

7. lookupGhcDnTyCon :: Env -> ModName -> DataName -> Lookup (Maybe TyCon)

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

   No documentation available.

8. lookupGhcId :: Env -> Name -> Maybe Id

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

   No documentation available.

9. lookupGhcIdLHName :: HasCallStack => Env -> Located LHName -> Lookup Id

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

   No documentation available.

10. lookupGhcTyConLHName :: HasCallStack => GHCTyLookupEnv -> Located LHName -> Lookup TyCon

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

    No documentation available.

Page 114 of many | Previous | Next