Copyright	(c) Dominik Schrempf 2019
License	GPL-3
Maintainer	dominik.schrempf@gmail.com
Stability	unstable
Portability	portable
Safe Haskell	None
Language	Haskell2010

ELynx.Tools.Reproduction

Description

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

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

Synopsis

class Reproducible a where
- inFiles :: a -> [FilePath]
- parser :: a -> Parser a
data Reproduction a = Reproduction {
- progName :: String
- args :: [String]
- filePaths :: [FilePath]
- checkSums :: [String]
- cmd :: a
}
readR :: forall a. (Eq a, Show a, Reproducible a, FromJSON a) => FilePath -> IO (Reproduction a)
writeR :: (Eq a, Show a, Reproducible a, ToJSON a) => FilePath -> a -> IO ()

Documentation

class Reproducible a where Source #

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

Methods

inFiles :: a -> [FilePath] Source #

parser :: a -> Parser a Source #

data Reproduction a Source #

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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in ELynx.Tools.Reproduction Methods parseJSON :: Value -> Parser (Reproduction a) # parseJSONList :: Value -> Parser [Reproduction a] #
type Rep (Reproduction a) Source #
Instance details 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) Source #

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

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

Write an ELynx reproduction file. Check arguments.