| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Dickinson.File
Synopsis
- evalIO :: AllM x -> IO (Either (DickinsonError AlexPosn) x)
- evalFile :: [FilePath] -> FilePath -> IO Text
- checkFile :: [FilePath] -> FilePath -> IO ()
- validateFile :: [FilePath] -> FilePath -> IO ()
- validateBSL :: [FilePath] -> FilePath -> ByteString -> IO ()
- validateAmalgamate :: [FilePath] -> FilePath -> IO [Declaration AlexPosn]
- warnFile :: FilePath -> IO ()
- warnBSL :: ByteString -> IO ()
- patternExhaustivenessFile :: [FilePath] -> FilePath -> IO ()
- patternExhaustivenessBSL :: [FilePath] -> FilePath -> ByteString -> IO ()
- tcFile :: [FilePath] -> FilePath -> IO ()
- amalgamateRename :: [FilePath] -> FilePath -> IO [Declaration AlexPosn]
- amalgamateRenameM :: (HasRenames s, HasLexerState s, MonadIO m, MonadError (DickinsonError AlexPosn) m, MonadState s m) => [FilePath] -> FilePath -> m [Declaration AlexPosn]
- pipeline :: [FilePath] -> FilePath -> IO Text
- pipelineBSL :: [FilePath] -> FilePath -> ByteString -> IO Text
- pipelineBSLErr :: [FilePath] -> FilePath -> ByteString -> IO (Either Text Text)
- resolveFile :: [FilePath] -> FilePath -> IO [Declaration AlexPosn]
Documentation
validateBSL :: [FilePath] -> FilePath -> ByteString -> IO () Source #
Check scoping and types
Since: 1.4.1.0
validateAmalgamate :: [FilePath] -> FilePath -> IO [Declaration AlexPosn] Source #
warnBSL :: ByteString -> IO () Source #
Run some lints
Since: 1.4.2.0
patternExhaustivenessBSL Source #
Arguments
| :: [FilePath] | Includes |
| -> FilePath | Source file (for error reporting) |
| -> ByteString | |
| -> IO () |
Since: 1.4.1.0
amalgamateRename :: [FilePath] -> FilePath -> IO [Declaration AlexPosn] Source #
amalgamateRenameM :: (HasRenames s, HasLexerState s, MonadIO m, MonadError (DickinsonError AlexPosn) m, MonadState s m) => [FilePath] -> FilePath -> m [Declaration AlexPosn] Source #
Arguments
| :: [FilePath] | |
| -> FilePath | For error reporting |
| -> ByteString | |
| -> IO Text |
Since: 1.4.1.0
Since: 1.4.2.0
resolveFile :: [FilePath] -> FilePath -> IO [Declaration AlexPosn] Source #