Copyright	Copyright (c) 2012-2017 David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	Safe
Language	Haskell98

Simulation.Aivika.Experiment.Base.ExperimentWriter

Description

Tested with: GHC 8.0.1

It defines the Exp monad that allows providing computation with an ability to resolve file paths.

Synopsis

Documentation

data ExperimentWriter a Source #

Defines an IO derived computation whithin which we can resolve the unique file paths.

Instances

Monad ExperimentWriter Source #
Methods (>>=) :: ExperimentWriter a -> (a -> ExperimentWriter b) -> ExperimentWriter b # (>>) :: ExperimentWriter a -> ExperimentWriter b -> ExperimentWriter b # return :: a -> ExperimentWriter a # fail :: String -> ExperimentWriter a #
Functor ExperimentWriter Source #
Methods fmap :: (a -> b) -> ExperimentWriter a -> ExperimentWriter b # (<$) :: a -> ExperimentWriter b -> ExperimentWriter a #
Applicative ExperimentWriter Source #
Methods pure :: a -> ExperimentWriter a # (<>) :: ExperimentWriter (a -> b) -> ExperimentWriter a -> ExperimentWriter b # (>) :: ExperimentWriter a -> ExperimentWriter b -> ExperimentWriter b # (<*) :: ExperimentWriter a -> ExperimentWriter b -> ExperimentWriter a #
MonadException ExperimentWriter Source #
Methods catchComp :: Exception e => ExperimentWriter a -> (e -> ExperimentWriter a) -> ExperimentWriter a # finallyComp :: ExperimentWriter a -> ExperimentWriter b -> ExperimentWriter a # throwComp :: Exception e => e -> ExperimentWriter a #
MonadIO ExperimentWriter Source #
Methods liftIO :: IO a -> ExperimentWriter a #

runExperimentWriter :: ExperimentWriter a -> IO a Source #

Run the ExperimentWriter computation.

data ExperimentFilePath Source #

Specifies the file name, unique or writable, which can be appended with extension if required.

Constructors

WritableFilePath FilePath	The file which is overwritten in case if it existed before.
UniqueFilePath FilePath	The file which is always unique, when an automatically generated suffix is added to the name in case of need.

experimentFilePath :: ExperimentFilePath Source #

The default experiment file path.

resolveFilePath :: FilePath -> ExperimentFilePath -> ExperimentWriter FilePath Source #

Resolve the file path relative to the specified directory passed in the first argument and taking into account a possible requirement to have an unique file name.

expandFilePath :: ExperimentFilePath -> Map String String -> ExperimentFilePath Source #

Expand the file path using the specified table of substitutions.

mapFilePath :: (FilePath -> FilePath) -> ExperimentFilePath -> ExperimentFilePath Source #

Transform the file path using the specified function.