Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
-
ghc GHC.Tc.Gen.Foreign No documentation available.
tcForeignImports :: [LForeignDecl GhcRn] -> TcM ([Id], [LForeignDecl GhcTc], Bag GlobalRdrElt)ghc GHC.Tc.Gen.Foreign No documentation available.
tcForeignImports' :: [LForeignDecl GhcRn] -> TcM ([Id], [LForeignDecl GhcTc], Bag GlobalRdrElt)ghc GHC.Tc.Gen.Foreign No documentation available.
checkForDuplicateScopedTyVars :: [(Name, TcTyVar)] -> TcM ()ghc GHC.Tc.Gen.HsType No documentation available.
getTargetPlatform :: TcPluginM Platformghc GHC.Tc.Plugin No documentation available.