Copyright | 2021 Dominik Schrempf |
---|---|
License | GPL-3.0-or-later |
Maintainer | dominik.schrempf@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Creation date: Thu Sep 2 22:46:02 2021.
Synopsis
- data Environment a = Environment {
- globalArguments :: GlobalArguments
- localArguments :: a
- logHandles :: [Handle]
- outLock :: MVar ()
- startingTime :: UTCTime
- initializeEnvironment :: GlobalArguments -> a -> IO (Environment a)
- closeEnvironment :: Environment s -> IO ()
Documentation
data Environment a Source #
The environment of an ELynx run.
Environment | |
|
Instances
HasLock (Environment a) Source # | |
Defined in ELynx.Tools.Environment getLock :: Environment a -> MVar () Source # | |
HasLogHandles (Environment a) Source # | |
Defined in ELynx.Tools.Environment getLogHandles :: Environment a -> [Handle] Source # | |
HasStartingTime (Environment a) Source # | |
Defined in ELynx.Tools.Environment getStartingTime :: Environment a -> UTCTime Source # | |
HasVerbosity (Environment a) Source # | |
Defined in ELynx.Tools.Environment getVerbosity :: Environment a -> Verbosity Source # | |
Eq a => Eq (Environment a) Source # | |
Defined in ELynx.Tools.Environment (==) :: Environment a -> Environment a -> Bool # (/=) :: Environment a -> Environment a -> Bool # |
initializeEnvironment :: GlobalArguments -> a -> IO (Environment a) Source #
Initialize the environment.
Open log file, get current time.
closeEnvironment :: Environment s -> IO () Source #
Close file handles.