| Safe Haskell | Ignore |
|---|---|
| Language | GHC2021 |
GHC.Types.SafeHaskell
Description
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 #
Is an import a safe import?
data SafeHaskellMode #
The various Safe Haskell modes
Constructors
| 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
| NFData SafeHaskellMode # | |
Defined in GHC.Types.SafeHaskell Methods rnf :: SafeHaskellMode -> () # | |
| Show SafeHaskellMode # | |
Defined in GHC.Types.SafeHaskell Methods showsPrec :: Int -> SafeHaskellMode -> ShowS # show :: SafeHaskellMode -> String # showList :: [SafeHaskellMode] -> ShowS # | |
| Outputable SafeHaskellMode # | |
Defined in GHC.Types.SafeHaskell Methods ppr :: SafeHaskellMode -> SDoc # | |
| Eq SafeHaskellMode # | |
Defined in GHC.Types.SafeHaskell Methods (==) :: SafeHaskellMode -> SafeHaskellMode -> Bool # (/=) :: SafeHaskellMode -> SafeHaskellMode -> Bool # | |
data IfaceTrustInfo #
Safe Haskell information for ModIface
Simply a wrapper around SafeHaskellMode to separate iface and flags
Instances
| NFData IfaceTrustInfo # | |
Defined in GHC.Types.SafeHaskell Methods rnf :: IfaceTrustInfo -> () # | |
| Binary IfaceTrustInfo # | |
Defined in GHC.Types.SafeHaskell Methods put_ :: WriteBinHandle -> IfaceTrustInfo -> IO () # put :: WriteBinHandle -> IfaceTrustInfo -> IO (Bin IfaceTrustInfo) # get :: ReadBinHandle -> IO IfaceTrustInfo # | |
| Outputable IfaceTrustInfo # | |
Defined in GHC.Types.SafeHaskell Methods ppr :: IfaceTrustInfo -> SDoc # | |