| Safe Haskell | None |
|---|
Language.Haskell.Reflect
- readContextFromSignature :: String -> a
- readKindFromSignature :: String -> a
- checkModuleAvailability :: (Functor m, MonadCatchIO m) => [String] -> m [(String, Bool)]
- reflectModules :: (Functor m, MonadCatchIO m) => [String] -> m (Map String InterpreterError, Map String HModule)
- reflectTypeclasses :: (Functor m, MonadCatchIO m) => [String] -> m [(String, Maybe HTypeclass)]
Documentation
readContextFromSignature :: String -> aSource
readKindFromSignature :: String -> aSource
checkModuleAvailability :: (Functor m, MonadCatchIO m) => [String] -> m [(String, Bool)]Source
Checks whether the given modules are installed in the package database or not.
reflectModules :: (Functor m, MonadCatchIO m) => [String] -> m (Map String InterpreterError, Map String HModule)Source
reflectTypeclasses :: (Functor m, MonadCatchIO m) => [String] -> m [(String, Maybe HTypeclass)]Source