Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

  1. mutVarPrimTyCon :: TyCon

    ghc-lib-parser GHC.Builtin.Types.Prim

    No documentation available.

  2. type OutVar = Var

    ghc-lib-parser GHC.Core

    No documentation available.

  3. liftCoSubstVarBndrUsing :: (r -> CoercionN) -> (LiftingContext -> Type -> r) -> LiftingContext -> TyCoVar -> (LiftingContext, TyCoVar, r)

    ghc-lib-parser GHC.Core.Coercion

    No documentation available.

  4. sortQuantVars :: [Var] -> [Var]

    ghc-lib-parser GHC.Core.Make

    Sort the variables, putting type and covars first, in scoped order, and then other Ids It is a deterministic sort, meaning it doesn't look at the values of Uniques. For explanation why it's important See Note [Unique Determinism] in GHC.Types.Unique.

  5. xtVar :: CmEnv -> Var -> XT a -> VarMap a -> VarMap a

    ghc-lib-parser GHC.Core.Map.Type

    No documentation available.

  6. substVarBndr :: HasDebugCallStack => Subst -> TyCoVar -> (Subst, TyCoVar)

    ghc-lib-parser GHC.Core.TyCo.Subst

    No documentation available.

  7. substVarBndrUsing :: (Subst -> Type -> Type) -> Subst -> TyCoVar -> (Subst, TyCoVar)

    ghc-lib-parser GHC.Core.TyCo.Subst

    No documentation available.

  8. substVarBndrs :: HasDebugCallStack => Subst -> [TyCoVar] -> (Subst, [TyCoVar])

    ghc-lib-parser GHC.Core.TyCo.Subst

    No documentation available.

  9. substVarBndr :: HasDebugCallStack => Subst -> TyCoVar -> (Subst, TyCoVar)

    ghc-lib-parser GHC.Core.Type

    No documentation available.

  10. substVarBndrs :: HasDebugCallStack => Subst -> [TyCoVar] -> (Subst, [TyCoVar])

    ghc-lib-parser GHC.Core.Type

    No documentation available.

Page 29 of many | Previous | Next