Safe Haskell | None |
---|---|
Language | GHC2021 |
This stuff here is related to supporting the Safe Haskell extension, primarily about storing under what trust type a module has been compiled.
Synopsis
Documentation
type IsSafeImport = Bool Source #
Is an import a safe import?
data SafeHaskellMode Source #
The various Safe Haskell modes
Sf_None | inferred unsafe |
Sf_Unsafe | declared and checked |
Sf_Trustworthy | declared and checked |
Sf_Safe | declared and checked |
Sf_SafeInferred | inferred as safe |
Sf_Ignore |
|
Instances
Outputable SafeHaskellMode Source # | |
Defined in GHC.Types.SafeHaskell ppr :: SafeHaskellMode -> SDoc Source # | |
Show SafeHaskellMode Source # | |
Defined in GHC.Types.SafeHaskell showsPrec :: Int -> SafeHaskellMode -> ShowS # show :: SafeHaskellMode -> String # showList :: [SafeHaskellMode] -> ShowS # | |
Eq SafeHaskellMode Source # | |
Defined in GHC.Types.SafeHaskell (==) :: SafeHaskellMode -> SafeHaskellMode -> Bool # (/=) :: SafeHaskellMode -> SafeHaskellMode -> Bool # |
data IfaceTrustInfo Source #
Safe Haskell information for ModIface
Simply a wrapper around SafeHaskellMode to separate iface and flags
Instances
Binary IfaceTrustInfo Source # | |
Defined in GHC.Types.SafeHaskell put_ :: WriteBinHandle -> IfaceTrustInfo -> IO () Source # put :: WriteBinHandle -> IfaceTrustInfo -> IO (Bin IfaceTrustInfo) Source # get :: ReadBinHandle -> IO IfaceTrustInfo Source # | |
Outputable IfaceTrustInfo Source # | |
Defined in GHC.Types.SafeHaskell ppr :: IfaceTrustInfo -> SDoc Source # |