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.
TypeDataForbidsDatatypeContexts :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
TypeDataForbidsDerivingClauses :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
TypeDataForbidsLabelledFields :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
TypeDataForbidsStrictnessAnnotations :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
UnexpectedNestedForall :: IllegalForeignTypeReasonghc GHC.Tc.Errors.Types No documentation available.
checkForeignArgs :: (Type -> Validity' IllegalForeignTypeReason) -> [Scaled Type] -> TcM ()ghc GHC.Tc.Gen.Foreign No documentation available.
checkForeignRes :: Bool -> Bool -> (Type -> Validity' IllegalForeignTypeReason) -> Type -> TcM ()ghc GHC.Tc.Gen.Foreign Check that the type has the form (IO t) or (t) , and that t satisfies the given predicate. When calling this function, any newtype wrappers (should) have been already dealt with by normaliseFfiType. We also check that the Safe Haskell condition of FFI imports having results in the IO monad holds.
isForeignExport :: UnXRec name => LForeignDecl name -> Boolghc GHC.Tc.Gen.Foreign No documentation available.
isForeignImport :: UnXRec name => LForeignDecl name -> Boolghc GHC.Tc.Gen.Foreign No documentation available.
-
ghc GHC.Tc.Gen.Foreign No documentation available.