{-# LANGUAGE CPP #-}
module Mueval.Context (
cleanModules,
defaultModules,
defaultPackages,
qualifiedModules,
) where
cleanModules :: [String] -> Bool
cleanModules :: [String] -> Bool
cleanModules = (String -> Bool) -> [String] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all (String -> [String] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [String]
defaultModules)
defaultModules :: [String]
defaultModules :: [String]
defaultModules = [String
"Prelude",
String
"ShowFun",
String
"Debug.SimpleReflect",
String
"Data.Function",
String
"Control.Applicative",
String
"Control.Arrow",
String
"Control.Monad",
String
"Control.Monad.Cont",
#if __GLASGOW_HASKELL__ >= 710
String
"Control.Monad.Except",
#else
"Control.Monad.Error",
#endif
String
"Control.Monad.Fix",
String
"Control.Monad.Identity",
#if !MIN_VERSION_base(4,7,0)
"Control.Monad.Instances",
#endif
String
"Control.Monad.RWS",
String
"Control.Monad.Reader",
String
"Control.Monad.State",
String
"Control.Monad.State",
String
"Control.Monad.Writer",
String
"Data.Array",
String
"Data.Bits",
String
"Data.Bool",
String
"Data.Char",
String
"Data.Complex",
String
"Data.Dynamic",
String
"Data.Either",
String
"Data.Eq",
String
"Data.Fixed",
String
"Data.Graph",
String
"Data.Int",
String
"Data.Ix",
String
"Data.List",
String
"Data.Maybe",
String
"Data.Monoid",
String
"Data.Ord",
String
"Data.Ratio",
String
"Data.Tree",
String
"Data.Tuple",
String
"Data.Typeable",
String
"Data.Word",
String
"System.Random",
String
"Test.QuickCheck",
String
"Text.PrettyPrint.HughesPJ",
String
"Text.Printf"]
defaultPackages :: [String]
defaultPackages :: [String]
defaultPackages = [ String
"array"
, String
"base"
, String
"bytestring"
, String
"containers"
]
qualifiedModules :: [(String, Maybe String)]
qualifiedModules :: [(String, Maybe String)]
qualifiedModules = [
(String
"Data.ByteString", String -> Maybe String
forall a. a -> Maybe a
Just String
"BS"),
(String
"Data.ByteString.Char8", String -> Maybe String
forall a. a -> Maybe a
Just String
"BSC"),
(String
"Data.ByteString.Lazy", String -> Maybe String
forall a. a -> Maybe a
Just String
"BSL"),
(String
"Data.ByteString.Lazy.Char8", String -> Maybe String
forall a. a -> Maybe a
Just String
"BSLC"),
(String
"Data.Foldable", String -> Maybe String
forall a. a -> Maybe a
Just String
"Data.Foldable"),
(String
"Data.IntMap", String -> Maybe String
forall a. a -> Maybe a
Just String
"IM"),
(String
"Data.IntSet", String -> Maybe String
forall a. a -> Maybe a
Just String
"IS"),
(String
"Data.Map", String -> Maybe String
forall a. a -> Maybe a
Just String
"M"),
(String
"Data.Sequence", String -> Maybe String
forall a. a -> Maybe a
Just String
"Data.Sequence"),
(String
"Data.Set", String -> Maybe String
forall a. a -> Maybe a
Just String
"S"),
(String
"Data.Traversable", String -> Maybe String
forall a. a -> Maybe a
Just String
"Data.Traversable") ]