Safe Haskell

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf Haskell language extension
gptkbp:documentation https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/safe_haskell.html
gptkbp:enforcedBy module trustworthiness
safe language subset
https://www.w3.org/2000/01/rdf-schema#label Safe Haskell
gptkbp:implementedIn gptkb:GHC
gptkbp:introducedIn gptkb:GHC_7.2.1
gptkbp:mode Safe
Trustworthy
Unsafe
gptkbp:prohibits gptkb:foreign_function_interface_(FFI)
arbitrary IO
unsafe language features
unsafePerformIO
gptkbp:purpose enforce safety properties in Haskell code
gptkbp:usedBy Haskell developers
gptkbp:bfsParent gptkb:GHC
gptkbp:bfsLayer 5