GhcMod.FileMapping

Synopsis

# Documentation

Arguments

 :: IOish m => FilePath 'from', file that will be mapped -> FilePath 'to', file to take source from -> GhcModT m ()

maps FilePath, given as first argument to take source from FilePath given as second argument. Works exactly the same as first form of --map-file CLI option.

'from' can be either full path, or path relative to project root. 'to' has to be either relative to project root, or full path (preferred)

Arguments

 :: IOish m => FilePath 'from', file that will be mapped -> String 'src', source -> GhcModT m ()

maps FilePath, given as first argument to have source as given by second argument.

'from' may or may not exist, and should be either full path, or relative to project root.

Arguments

 :: IOish m => FilePath 'file', file to unmap -> GhcModT m ()

unloads previously mapped file 'file', so that it's no longer mapped, and removes any temporary files created when file was mapped.

'file' should be either full path, or relative to project root.