Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
isUnsatisfiableCt_maybe :: Type -> Maybe ErrorMsgTypeghc-lib-parser GHC.Tc.Types.Constraint Is this type an unsatisfiable constraint? If so, return the error message.
pendingScDict_maybe :: Ct -> Maybe Ctghc-lib-parser GHC.Tc.Types.Constraint No documentation available.
pendingScInst_maybe :: QCInst -> Maybe QCInstghc-lib-parser GHC.Tc.Types.Constraint No documentation available.
wantedEvId_maybe :: Ct -> Maybe EvVarghc-lib-parser GHC.Tc.Types.Constraint Returns the evidence Id for the argument Ct when this Ct is a Wanted. Returns Nothing otherwise.
ctLocTypeOrKind_maybe :: CtLoc -> Maybe TypeOrKindghc-lib-parser GHC.Tc.Types.CtLoc No documentation available.
evTermCoercion_maybe :: EvTerm -> Maybe TcCoercionghc-lib-parser GHC.Tc.Types.Evidence No documentation available.
isSigMaybe :: UserTypeCtxt -> Maybe Nameghc-lib-parser GHC.Tc.Types.Origin No documentation available.
anyTy_maybe :: Type -> Maybe Kindghc-lib-parser GHC.Tc.Utils.TcType Check whether the type is of the form Any :: k, returning the kind k.
checkingExpType_maybe :: ExpType -> Maybe TcTypeghc-lib-parser GHC.Tc.Utils.TcType Returns the expected type when in checking mode.
getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)ghc-lib-parser GHC.Tc.Utils.TcType If the type is a tyvar, possibly under a cast, returns it, along with the coercion. Thus, the co is :: kind tv ~N kind ty