Laborantin.Types

Documentation

data ScenarioDescription m

Constructors

SDesc

Fields

sName :: String

sDesc :: String

sParams :: ParameterSpace

sHooks :: Map String (Action m)

sRecoveryAction :: Maybe (ExecutionError -> Action m)

Instances

Show (ScenarioDescription m)

data ParameterDescription

Constructors

PDesc

Fields

pName :: String

pDesc :: String

pValues :: [ParameterValue]

Instances

Eq ParameterDescription

Ord ParameterDescription

Show ParameterDescription

data ParameterValue

Constructors

StringParam String

NumberParam Rational

Array [ParameterValue]

Range Rational Rational Rational

Instances

Eq ParameterValue

Ord ParameterValue

Show ParameterValue

ToJSON ParameterValue

FromJSON ParameterValue

type ParameterSpace = Map String ParameterDescription

type ParameterSet = Map String ParameterValue

paramSets :: ParameterSpace -> [ParameterSet]

expandValue :: ParameterValue -> [ParameterValue]

data Result m

Constructors

Result

Fields

pPath :: String

pRead :: Step m String

pAppend :: String -> Step m ()

pWrite :: String -> Step m ()

data Backend m

Constructors

Backend

Fields

bName :: String

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 -> String -> Step m (Result m)

bLoad :: ScenarioDescription m -> m [Execution m]

bLogger :: Execution m -> Step m (LogHandler m)

bRemove :: Execution m -> m ()

data Execution m

Constructors

Exec

Fields

eScenario :: ScenarioDescription m

eParamSet :: ParameterSet

ePath :: String

eStatus :: ExecutionStatus

Instances

Show (Execution m)

ToJSON (Execution a)

data StoredExecution

Constructors

Stored

Fields

seParamSet :: ParameterSet

sePath :: String

seStatus :: ExecutionStatus

Instances

Show StoredExecution

FromJSON StoredExecution

data ExecutionError

Constructors

ExecutionError String

Instances

Show ExecutionError

Error ExecutionError

Show (ExecutionError -> Action m)

data AnalysisError

Constructors

AnalysisError String

Instances

Show AnalysisError

Error AnalysisError

data ExecutionStatus

Constructors

Running

Success

Failure

Instances

Eq ExecutionStatus

Read ExecutionStatus

Show ExecutionStatus

ToJSON ExecutionStatus

FromJSON ExecutionStatus

type Finalizer m = Execution m -> m ()

newtype LogHandler m

Constructors

LogHandler

Fields

lLog :: String -> Step m ()

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

newtype Action m

Constructors

Action

Fields

unAction :: Step m ()

Instances

Show (Action m)

Show (ExecutionError -> Action m)

type DynEnv = Map String Dynamic