Laborantin.Types

Documentation

data ScenarioDescription m

Constructors

SDesc

Fields

sName :: Text

sDesc :: Text

sParams :: ParameterSpace

sHooks :: Map Text (Action m)

sRecoveryAction :: Maybe (ExecutionError -> Action m)

sDeps :: [Dependency m]

sQuery :: TExpr Bool

Instances

Show (ScenarioDescription m)

data ParameterDescription

Constructors

PDesc

Fields

pName :: Text

pDesc :: Text

pValues :: [ParameterValue]

Instances

Eq ParameterDescription

Ord ParameterDescription

Show ParameterDescription

data ParameterValue

Constructors

StringParam Text

NumberParam Rational

Array [ParameterValue]

Range Rational Rational Rational

Instances

Eq ParameterValue

Ord ParameterValue

Show ParameterValue

ToJSON ParameterValue

FromJSON ParameterValue

type ParameterSpace = Map Text ParameterDescription

type ParameterSet = Map Text ParameterValue

emptyScenario :: ScenarioDescription m

emptyParameter :: ParameterDescription

paramSets :: ParameterSpace -> [ParameterSet]

mergeParamSpaces :: ParameterSpace -> ParameterSpace -> ParameterSpace

updateParam :: ParameterSpace -> Text -> [ParameterValue] -> ParameterSpace

expandValue :: ParameterValue -> [ParameterValue]

data Result m

Constructors

Result

Fields

pPath :: FilePath

pRead :: Step m Text

pAppend :: Text -> Step m ()

pWrite :: Text -> Step m ()

data Backend m

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

Constructors

Exec

Fields

eScenario :: ScenarioDescription m

eParamSet :: ParameterSet

ePath :: FilePath

eStatus :: ExecutionStatus

eAncestors :: [Execution m]

eTimeStamps :: (UTCTime, UTCTime)

Instances

Show (Execution m)

ToJSON (Execution a)

data StoredExecution

Constructors

Stored

Fields

seParamSet :: ParameterSet

sePath :: FilePath

seStatus :: ExecutionStatus

seAncestors :: [(FilePath, Text)]

seTimeStamps :: (UTCTime, UTCTime)

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 :: Text -> Step m ()

type Step m a = ErrorT ExecutionError (StateT DynEnv (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 Text Dynamic

emptyEnv :: DynEnv

data TExpr where

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

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

UScTimestamp

UScParam Text

Instances

Show UExpr

data Dependency m

Constructors

Dep

Fields

dName :: Text

dDesc :: Text

dCheck :: Execution m -> m Bool

dSolve :: (Execution m, Backend m) -> m (Execution m)

Instances

Eq (Dependency m)

Show (Dependency m)