ELynx.Tools.Reproduction

Creation date: Tue Nov 19 15:07:09 2019.

XXX: This module is actively developed. It is not yet used by slynx nor tlynx.

Documentation

class Reproducible a where

Reproducible commands have a set of input files that have to be checked for consistency.

Methods

inFiles :: a -> [FilePath]

parser :: a -> Parser a

data Reproduction a

Necessary information for a reproducible run. Notably, the input files are checked for consistency!

Constructors

Reproduction

Fields

• progName :: String

  Program name.

• args :: [String]

  Command line arguments without program name.

• filePaths :: [FilePath]

  File paths of in files.

• checkSums :: [String]

  SHA256 sums of in files.

• cmd :: a

  Command argument.

Instances

Generic (Reproduction a)

Defined in ELynx.Tools.Reproduction

Associated Types

type Rep (Reproduction a) :: Type -> Type

Methods

from :: Reproduction a -> Rep (Reproduction a) x

to :: Rep (Reproduction a) x -> Reproduction a

ToJSON a => ToJSON (Reproduction a)

Defined in ELynx.Tools.Reproduction

Methods

toJSON :: Reproduction a -> Value

toEncoding :: Reproduction a -> Encoding

toJSONList :: [Reproduction a] -> Value

toEncodingList :: [Reproduction a] -> Encoding

FromJSON a => FromJSON (Reproduction a)

Defined in ELynx.Tools.Reproduction

Methods

parseJSON :: Value -> Parser (Reproduction a)

parseJSONList :: Value -> Parser [Reproduction a]

type Rep (Reproduction a)

Defined in ELynx.Tools.Reproduction

type Rep (Reproduction a) = D1 (MetaData "Reproduction" "ELynx.Tools.Reproduction" "elynx-tools-0.1.0-F887SOOIKzsC3crUQgO5sp" False) (C1 (MetaCons "Reproduction" PrefixI True) ((S1 (MetaSel (Just "progName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "args") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])) :*: (S1 (MetaSel (Just "filePaths") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [FilePath]) :*: (S1 (MetaSel (Just "checkSums") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String]) :*: S1 (MetaSel (Just "cmd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))))

readR :: forall a. (Eq a, Show a, Reproducible a, FromJSON a) => FilePath -> IO (Reproduction a)

Read an ELynx reproduction file. Check consistency of arguments and input files.

writeR :: (Eq a, Show a, Reproducible a, ToJSON a) => FilePath -> a -> IO ()

Write an ELynx reproduction file. Check arguments.