| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
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 Source #
Is an import a safe import?
data SafeHaskellMode Source #
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 Source # | |
Defined in GHC.Types.SafeHaskell Methods showsPrec :: Int -> SafeHaskellMode -> ShowS # show :: SafeHaskellMode -> String # showList :: [SafeHaskellMode] -> ShowS # | |
| Outputable SafeHaskellMode Source # | |
Defined in GHC.Types.SafeHaskell Methods ppr :: SafeHaskellMode -> SDoc Source # | |
| Eq SafeHaskellMode Source # | |
Defined in GHC.Types.SafeHaskell Methods (==) :: 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 Methods put_ :: BinHandle -> IfaceTrustInfo -> IO () Source # put :: BinHandle -> IfaceTrustInfo -> IO (Bin IfaceTrustInfo) Source # | |
| Outputable IfaceTrustInfo Source # | |
Defined in GHC.Types.SafeHaskell Methods ppr :: IfaceTrustInfo -> SDoc Source # | |