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
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
Binary IfaceTrustInfo # | |
Defined in GHC.Types.SafeHaskell Methods put_ :: BinHandle -> IfaceTrustInfo -> IO () # put :: BinHandle -> IfaceTrustInfo -> IO (Bin IfaceTrustInfo) # get :: BinHandle -> IO IfaceTrustInfo # | |
Outputable IfaceTrustInfo # | |
Defined in GHC.Types.SafeHaskell Methods ppr :: IfaceTrustInfo -> SDoc # |