mueval-0.3.1: Safely evaluate Haskell expressions Source code Contents Index

Mueval.Context

Synopsis

cleanModules :: [String] -> Bool defaultModules :: [String] unsafed :: String -> Bool

Documentation

cleanModules :: [String] -> Bool Source

Return false if any of the listed modules cannot be found in the whitelist.

defaultModules :: [String] Source

Modules which we should load by default. These are of course whitelisted. Specifically, we want the Prelude because otherwise things are horribly crippled; we want SimpleReflect so we can do neat things (for said neat things, see http://twan.home.fmf.nl/blog/haskell/simple-reflection-of-expressions.details); and we want ShowQ and ShowFun to neuter IO stuff even more.

unsafed :: String -> Bool Source

Return true if the String contains anywhere in it any keywords associated with dangerous functions. Unfortunately, this blacklist leaks like a sieve and will return many false positives (eg. unsafed id "unsafed" -> True). But it will at least catch naive and simplistic invocations of unsafePerformIO, inlinePerformIO, and unsafeCoerce.

Produced by Haddock version 2.3.0