laborantin-hs-0.1.2.0: an experiment management framework

Safe HaskellNone

Laborantin.Types

Documentation

data ScenarioDescription m Source

Constructors

SDesc 

Fields

sName :: Text
 
sDesc :: Text
 
sParams :: ParameterSpace
 
sHooks :: Map Text (Action m)
 
sRecoveryAction :: Maybe (ExecutionError -> Action m)
 
sDeps :: [Dependency m]
 

Instances

data ParameterDescription Source

Constructors

PDesc 

Fields

pName :: Text
 
pDesc :: Text
 
pValues :: [ParameterValue]
 

Instances

data ParameterValue Source

Constructors

StringParam Text 
NumberParam Rational 
Array [ParameterValue] 
Range Rational Rational Rational 

Instances

type ParameterSpace = Map Text ParameterDescriptionSource

type ParameterSet = Map Text ParameterValueSource

paramSets :: ParameterSpace -> [ParameterSet]Source

expandValue :: ParameterValue -> [ParameterValue]Source

data Result m Source

Constructors

Result 

Fields

pPath :: FilePath
 
pRead :: Step m Text
 
pAppend :: Text -> Step m ()
 
pWrite :: Text -> Step m ()
 

data Backend m Source

Constructors

Backend 

Fields

bName :: Text
 
bPrepareExecution :: ScenarioDescription m -> ParameterSet -> m (Execution m, Finalizer m)
 
bFinalizeExecution :: Execution m -> Finalizer m -> m ()
 
bSetup :: Execution m -> Step m ()
 
bRun :: Execution m -> Step m ()
 
bTeardown :: Execution m -> Step m ()
 
bAnalyze :: Execution m -> Step m ()
 
bRecover :: ExecutionError -> Execution m -> Step m ()
 
bResult :: Execution m -> FilePath -> Step m (Result m)
 
bLoad :: [ScenarioDescription m] -> TExpr Bool -> m [Execution m]
 
bLogger :: Execution m -> Step m (LogHandler m)
 
bRemove :: Execution m -> m ()
 

data Execution m Source

Constructors

Exec 

Fields

eScenario :: ScenarioDescription m
 
eParamSet :: ParameterSet
 
ePath :: FilePath
 
eStatus :: ExecutionStatus
 
eAncestors :: [Execution m]
 
eTimeStamps :: (UTCTime, UTCTime)
 

Instances

data StoredExecution Source

Constructors

Stored 

Fields

seParamSet :: ParameterSet
 
sePath :: FilePath
 
seStatus :: ExecutionStatus
 
seAncestors :: [(FilePath, Text)]
 
seTimeStamps :: (UTCTime, UTCTime)
 

Instances

data ExecutionError Source

Constructors

ExecutionError String 

Instances

data AnalysisError Source

Constructors

AnalysisError String 

Instances

data ExecutionStatus Source

Constructors

Running 
Success 
Failure 

Instances

type Finalizer m = Execution m -> m ()Source

newtype LogHandler m Source

Constructors

LogHandler 

Fields

lLog :: Text -> Step m ()
 

type Step m a = ErrorT ExecutionError (ReaderT (Backend m, Execution m) m) aSource

newtype Action m Source

Constructors

Action 

Fields

unAction :: Step m ()
 

Instances

type DynEnv = Map Text DynamicSource

data TExpr whereSource

Constructors

N :: Rational -> TExpr Rational 
B :: Bool -> TExpr Bool 
S :: Text -> TExpr Text 
L :: [TExpr a] -> TExpr [a] 
T :: UTCTime -> TExpr UTCTime 
Plus :: TExpr Rational -> TExpr Rational -> TExpr Rational 
Times :: TExpr Rational -> TExpr Rational -> TExpr Rational 
And :: TExpr Bool -> TExpr Bool -> TExpr Bool 
Or :: TExpr Bool -> TExpr Bool -> TExpr Bool 
Not :: TExpr Bool -> TExpr Bool 
Contains :: (Show a, Eq a) => TExpr a -> TExpr [a] -> TExpr Bool 
Eq :: (Show a, Eq a) => TExpr a -> TExpr a -> TExpr Bool 
Gt :: (Show a, Ord a) => TExpr a -> TExpr a -> TExpr Bool 
ScName :: TExpr Text 
ScStatus :: TExpr Text 
ScParam :: Text -> TExpr (Text, Maybe ParameterValue) 
ScTimestamp :: TExpr UTCTime 
SCoerce :: TExpr (Text, Maybe ParameterValue) -> TExpr Text 
NCoerce :: TExpr (Text, Maybe ParameterValue) -> TExpr Rational 
SilentSCoerce :: TExpr (Text, Maybe ParameterValue) -> TExpr Text 
SilentNCoerce :: TExpr (Text, Maybe ParameterValue) -> TExpr Rational 
TBind :: String -> (a -> TExpr b) -> TExpr a -> TExpr b 

Instances

Show (TExpr a) 

data UExpr Source

Constructors

UN Rational 
UB Bool 
US Text 
UL [UExpr] 
UT UTCTime 
UPlus UExpr UExpr 
UMinus UExpr UExpr 
UTimes UExpr UExpr 
UDiv UExpr UExpr 
UAnd UExpr UExpr 
UOr UExpr UExpr 
UContains UExpr UExpr 
UEq UExpr UExpr 
UGt UExpr UExpr 
UGte UExpr UExpr 
ULte UExpr UExpr 
ULt UExpr UExpr 
UNot UExpr 
UScName 
UScStatus 
UScParam Text 

Instances

data Dependency m Source

Constructors

Dep 

Fields

dName :: Text
 
dDesc :: Text
 
dCheck :: Execution m -> m Bool
 
dSolve :: Execution m -> m ()
 

Instances