Hoogle Search
Within LTS Haskell 24.12 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookup' :: KeySpec -> KVITable v -> Maybe vkvitable Data.KVITable Like lookup, but assumes a normalized key (all key elements specified, and in the proper order). Faster than lookup, but will return false negatives if not used with a normalized key.
lookupCMap :: (?callStack :: CallStack) => CMap a -> SubcId -> aliquid-fixpoint Language.Fixpoint.Graph.Types CMap API -------------------------------------------------------------
lookupLocalRewrites :: BindId -> LocalRewritesEnv -> Maybe LocalRewritesliquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.
lookupRewrite :: Symbol -> LocalRewrites -> Maybe Exprliquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.
lookupBindEnv :: BindId -> BindEnv a -> (Symbol, SortedReft, a)liquid-fixpoint Language.Fixpoint.Types.Environments No documentation available.
lookupSEnv :: Symbol -> SEnv a -> Maybe aliquid-fixpoint Language.Fixpoint.Types.Environments No documentation available.
lookupSEnvWithDistance :: Symbol -> SEnv a -> SESearch aliquid-fixpoint Language.Fixpoint.Types.Environments No documentation available.
lookupQBind :: Sol a QBind -> KVar -> QBindliquid-fixpoint Language.Fixpoint.Types.Solutions Read / Write Solution at KVar ---------------------------------------------
lookupGhcDataConLHName :: HasCallStack => Env -> Located LHName -> Lookup DataConliquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve No documentation available.
lookupGhcDnTyCon :: Env -> ModName -> DataName -> Lookup (Maybe TyCon)liquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve No documentation available.