Safe Haskell	None
Language	Haskell98

HsDev.Tools.Ghc.Check

Synopsis

check :: (MonadLog m, GhcMonad m) => Module -> Maybe Text -> m [Note OutputMessage]
data Ghc a
module HsDev.Tools.Types
module HsDev.Symbols.Types
data PackageDb
- = GlobalDb
- | UserDb
- | PackageDb {
  - _packageDb :: Path
  }
newtype PackageDbStack = PackageDbStack {
- _packageDbStack :: [PackageDb]
}
data Project = Project {
- _projectName :: Text
- _projectPath :: Path
- _projectCabal :: Path
- _projectDescription :: Maybe ProjectDescription
- _projectBuildTool :: BuildTool
- _projectPackageDbStack :: Maybe PackageDbStack
}
module Control.Monad.Except

Documentation

check :: (MonadLog m, GhcMonad m) => Module -> Maybe Text -> m [Note OutputMessage] Source #

Check module source

data Ghc a #

A minimal implementation of a GhcMonad. If you need a custom monad, e.g., to maintain additional state consider wrapping this monad or using GhcT.

Instances

Monad Ghc
Instance details Defined in GhcMonad Methods (>>=) :: Ghc a -> (a -> Ghc b) -> Ghc b # (>>) :: Ghc a -> Ghc b -> Ghc b # return :: a -> Ghc a # fail :: String -> Ghc a #
Functor Ghc
Instance details Defined in GhcMonad Methods fmap :: (a -> b) -> Ghc a -> Ghc b # (<$) :: a -> Ghc b -> Ghc a #
MonadFix Ghc
Instance details Defined in GhcMonad Methods mfix :: (a -> Ghc a) -> Ghc a #
Applicative Ghc
Instance details Defined in GhcMonad Methods pure :: a -> Ghc a # (<>) :: Ghc (a -> b) -> Ghc a -> Ghc b # liftA2 :: (a -> b -> c) -> Ghc a -> Ghc b -> Ghc c # (>) :: Ghc a -> Ghc b -> Ghc b # (<*) :: Ghc a -> Ghc b -> Ghc a #
MonadIO Ghc
Instance details Defined in GhcMonad Methods liftIO :: IO a -> Ghc a #
MonadThrow Ghc Source #
Instance details Defined in HsDev.Tools.Ghc.Worker Methods throwM :: Exception e => e -> Ghc a #
GhcMonad Ghc
Instance details Defined in GhcMonad Methods getSession :: Ghc HscEnv # setSession :: HscEnv -> Ghc () #
HasDynFlags Ghc
Instance details Defined in GhcMonad Methods getDynFlags :: Ghc DynFlags #
ExceptionMonad Ghc
Instance details Defined in GhcMonad Methods gcatch :: Exception e => Ghc a -> (e -> Ghc a) -> Ghc a # gmask :: ((Ghc a -> Ghc a) -> Ghc b) -> Ghc b # gbracket :: Ghc a -> (a -> Ghc b) -> (a -> Ghc c) -> Ghc c # gfinally :: Ghc a -> Ghc b -> Ghc a #

module HsDev.Tools.Types

module HsDev.Symbols.Types

data PackageDb Source #

Constructors

GlobalDb
UserDb
PackageDb
Fields _packageDb :: Path

Instances

Eq PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods (==) :: PackageDb -> PackageDb -> Bool # (/=) :: PackageDb -> PackageDb -> Bool #
Ord PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods compare :: PackageDb -> PackageDb -> Ordering # (<) :: PackageDb -> PackageDb -> Bool # (<=) :: PackageDb -> PackageDb -> Bool # (>) :: PackageDb -> PackageDb -> Bool # (>=) :: PackageDb -> PackageDb -> Bool # max :: PackageDb -> PackageDb -> PackageDb # min :: PackageDb -> PackageDb -> PackageDb #
Show PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods showsPrec :: Int -> PackageDb -> ShowS # show :: PackageDb -> String # showList :: [PackageDb] -> ShowS #
NFData PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods rnf :: PackageDb -> () #
ToJSON PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods toJSON :: PackageDb -> Value # toEncoding :: PackageDb -> Encoding # toJSONList :: [PackageDb] -> Value # toEncodingList :: [PackageDb] -> Encoding #
FromJSON PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods parseJSON :: Value -> Parser PackageDb # parseJSONList :: Value -> Parser [PackageDb] #
Formattable PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods formattable :: PackageDb -> FormatFlags -> Formatted #
FromField PackageDb Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods fromField :: FieldParser PackageDb #
ToField PackageDb Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods toField :: PackageDb -> SQLData #
Paths PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods paths :: Traversal' PackageDb FilePath Source #
Display PackageDb Source #
Instance details Defined in HsDev.PackageDb.Types Methods display :: PackageDb -> String Source # displayType :: PackageDb -> String Source #

newtype PackageDbStack Source #

Stack of PackageDb in reverse order

Constructors

PackageDbStack
Fields _packageDbStack :: [PackageDb]

Instances

Eq PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods (==) :: PackageDbStack -> PackageDbStack -> Bool # (/=) :: PackageDbStack -> PackageDbStack -> Bool #
Ord PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods compare :: PackageDbStack -> PackageDbStack -> Ordering # (<) :: PackageDbStack -> PackageDbStack -> Bool # (<=) :: PackageDbStack -> PackageDbStack -> Bool # (>) :: PackageDbStack -> PackageDbStack -> Bool # (>=) :: PackageDbStack -> PackageDbStack -> Bool # max :: PackageDbStack -> PackageDbStack -> PackageDbStack # min :: PackageDbStack -> PackageDbStack -> PackageDbStack #
Show PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods showsPrec :: Int -> PackageDbStack -> ShowS # show :: PackageDbStack -> String # showList :: [PackageDbStack] -> ShowS #
NFData PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods rnf :: PackageDbStack -> () #
ToJSON PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods toJSON :: PackageDbStack -> Value # toEncoding :: PackageDbStack -> Encoding # toJSONList :: [PackageDbStack] -> Value # toEncodingList :: [PackageDbStack] -> Encoding #
FromJSON PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods parseJSON :: Value -> Parser PackageDbStack # parseJSONList :: Value -> Parser [PackageDbStack] #
Formattable PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods formattable :: PackageDbStack -> FormatFlags -> Formatted #
FromField PackageDbStack Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods fromField :: FieldParser PackageDbStack #
ToField PackageDbStack Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods toField :: PackageDbStack -> SQLData #
Paths PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods paths :: Traversal' PackageDbStack FilePath Source #
Display PackageDbStack Source #
Instance details Defined in HsDev.PackageDb.Types Methods display :: PackageDbStack -> String Source # displayType :: PackageDbStack -> String Source #
EnumContents PackageDbStack Source #
Instance details Defined in HsDev.Scan Methods enumContents :: CommandMonad m => PackageDbStack -> m ScanContents Source #

data Project Source #

Cabal project

Constructors

Project
Fields _projectName :: Text _projectPath :: Path _projectCabal :: Path _projectDescription :: Maybe ProjectDescription _projectBuildTool :: BuildTool _projectPackageDbStack :: Maybe PackageDbStack

Instances

Eq Project Source #
Instance details Defined in HsDev.Project.Types Methods (==) :: Project -> Project -> Bool # (/=) :: Project -> Project -> Bool #
Ord Project Source #
Instance details Defined in HsDev.Project.Types Methods compare :: Project -> Project -> Ordering # (<) :: Project -> Project -> Bool # (<=) :: Project -> Project -> Bool # (>) :: Project -> Project -> Bool # (>=) :: Project -> Project -> Bool # max :: Project -> Project -> Project # min :: Project -> Project -> Project #
Show Project Source #
Instance details Defined in HsDev.Project.Types Methods showsPrec :: Int -> Project -> ShowS # show :: Project -> String # showList :: [Project] -> ShowS #
NFData Project Source #
Instance details Defined in HsDev.Project.Types Methods rnf :: Project -> () #
ToJSON Project Source #
Instance details Defined in HsDev.Project.Types Methods toJSON :: Project -> Value # toEncoding :: Project -> Encoding # toJSONList :: [Project] -> Value # toEncodingList :: [Project] -> Encoding #
FromJSON Project Source #
Instance details Defined in HsDev.Project.Types Methods parseJSON :: Value -> Parser Project # parseJSONList :: Value -> Parser [Project] #
Formattable Project Source #
Instance details Defined in HsDev.Project.Types Methods formattable :: Project -> FormatFlags -> Formatted #
FromRow Project Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods fromRow :: RowParser Project #
ToRow Project Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods toRow :: Project -> [SQLData] #
Paths Project Source #
Instance details Defined in HsDev.Project.Types Methods paths :: Traversal' Project FilePath Source #
Display Project Source #
Instance details Defined in HsDev.Project.Types Methods display :: Project -> String Source # displayType :: Project -> String Source #
Documented Project Source #
Instance details Defined in HsDev.Symbols.Documented Methods brief :: Project -> Text Source # detailed :: Project -> Text Source #
EnumContents Project Source #
Instance details Defined in HsDev.Scan Methods enumContents :: CommandMonad m => Project -> m ScanContents Source #

module Control.Monad.Except