Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. isValidJoinPointType :: JoinArity -> Type -> Bool

   ghc	GHC.Core.Type

   Determine whether a type could be the type of a join point of given total arity, according to the polymorphism rule. A join point cannot be polymorphic in its return type, since given join j a b x y z = e1 in e2, the types of e1 and e2 must be the same, and a and b are not in scope for e2. (See Note [The polymorphism rule of join points] in GHC.Core.) Returns False also if the type simply doesn't have enough arguments. Note that we need to know how many arguments (type *and* value) the putative join point takes; for instance, if j :: forall a. a -> Int then j could be a binary join point returning an Int, but it could *not* be a unary join point returning a -> Int. TODO: See Note [Excess polymorphism and join points]

2. tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)

   ghc	GHC.Core.Type

   No documentation available.

3. tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])

   ghc	GHC.Core.Type

   No documentation available.

4. tidyFreeTyCoVars :: TidyEnv -> [TyCoVar] -> TidyEnv

   ghc	GHC.Core.Type

   Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in

5. tidyOpenTyCoVar :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)

   ghc	GHC.Core.Type

   Treat a new TyCoVar as a binder, and give it a fresh tidy name using the environment if one has not already been allocated. See also tidyVarBndr

6. tidyOpenTyCoVars :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])

   ghc	GHC.Core.Type

   No documentation available.

7. tidyOpenType :: TidyEnv -> Type -> (TidyEnv, Type)

   ghc	GHC.Core.Type

   No documentation available.

8. tidyOpenTypes :: TidyEnv -> [Type] -> (TidyEnv, [Type])

   ghc	GHC.Core.Type

   Grabs the free type variables, tidies them and then uses tidyType to work over the type itself

9. tidyTopType :: Type -> Type

   ghc	GHC.Core.Type

   Calls tidyType on a top-level type (i.e. with an empty tidying environment)

10. tidyTyCoVarOcc :: TidyEnv -> TyCoVar -> TyCoVar

    ghc	GHC.Core.Type

    No documentation available.

Page 499 of many | Previous | Next