GHC.Types.SafeHaskell

This stuff here is related to supporting the Safe Haskell extension, primarily about storing under what trust type a module has been compiled.

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

-fno-safe-haskell state

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

getSafeMode :: IfaceTrustInfo -> SafeHaskellMode

setSafeMode :: SafeHaskellMode -> IfaceTrustInfo

noIfaceTrustInfo :: IfaceTrustInfo