Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
isFilledMetaTyVar_maybe :: TcTyVar -> TcM (Maybe Type)ghc GHC.Tc.Utils.TcMType No documentation available.
readExpType_maybe :: MonadIO m => ExpType -> m (Maybe TcType)ghc GHC.Tc.Utils.TcMType Extract a type out of an ExpType, if one exists. But one should always exist. Unless you're quite sure you know what you're doing.
unpackCoercionHole_maybe :: CoercionHole -> TcM (Maybe Coercion)ghc GHC.Tc.Utils.TcMType Retrieve the contents of a coercion hole, if it is filled
anyTy_maybe :: Type -> Maybe Kindghc GHC.Tc.Utils.TcType Check whether the type is of the form Any :: k, returning the kind k.
checkingExpType_maybe :: ExpType -> Maybe TcTypeghc GHC.Tc.Utils.TcType Returns the expected type when in checking mode.
getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)ghc 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
getTyVar_maybe :: Type -> Maybe TyVarghc GHC.Tc.Utils.TcType Attempts to obtain the type variable underlying a Type
isConcreteTyVarTy_maybe :: TcType -> Maybe (TcTyVar, ConcreteTvOrigin)ghc GHC.Tc.Utils.TcType Is this type a concrete type variable? If so, return the associated TcTyVar and ConcreteTvOrigin.
isConcreteTyVar_maybe :: TcTyVar -> Maybe ConcreteTvOriginghc GHC.Tc.Utils.TcType Is this type variable a concrete type variable, i.e. it is a metavariable with ConcreteTv MetaInfo? Returns the ConcreteTvOrigin stored in the type variable if so, or Nothing otherwise.
metaTyVarTcLevel_maybe :: TcTyVar -> Maybe TcLevelghc GHC.Tc.Utils.TcType No documentation available.