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.
isValidJoinPointType :: JoinArity -> Type -> Boolghc-lib-parser 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]
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc-lib-parser GHC.Core.Type No documentation available.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc-lib-parser GHC.Core.Type No documentation available.
tidyFreeTyCoVarX :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)ghc-lib-parser 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 See Note [Tidying is idempotent]
tidyFreeTyCoVars :: TidyEnv -> [TyCoVar] -> TidyEnvghc-lib-parser GHC.Core.Type Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in Precondition: input free vars are closed over kinds and This function does a scopedSort, so that tidied variables have tidied kinds. See Note [Tidying is idempotent]
tidyFreeTyCoVarsX :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])ghc-lib-parser GHC.Core.Type No documentation available.
tidyOpenType :: TidyEnv -> Type -> Typeghc-lib-parser GHC.Core.Type No documentation available.
tidyOpenTypeX :: TidyEnv -> Type -> (TidyEnv, Type)ghc-lib-parser GHC.Core.Type No documentation available.
tidyOpenTypes :: TidyEnv -> [Type] -> [Type]ghc-lib-parser GHC.Core.Type No documentation available.
tidyOpenTypesX :: TidyEnv -> [Type] -> (TidyEnv, [Type])ghc-lib-parser GHC.Core.Type Grabs the free type variables, tidies them and then uses tidyType to work over the type itself