Copyright	(c) Fabricio Olivetti de Franca 2020
License	GPL-3
Maintainer	fabricio.olivetti@gmail.com
Stability	experimental
Portability	POSIX
Safe Haskell	None

ITEA.Config

Contents

Datasets configuration

Description

Configuration parsing and report generation.

Synopsis

class Monoid a => Valid a b | a -> b, b -> a where
- validateConfig :: a -> b
data Param a
- = None
- | Has a
fromParam :: Param a -> a
data UncheckedMutationCfg = UMCfg {
- _expLim :: Param (Int, Int)
- _termLim :: Param (Int, Int)
- _nzExp :: Param Int
- _transFun :: Param [Transformation]
- _measures :: Param [String]
}
data MutationCfg = MCfg (Int, Int) (Int, Int) Int [Transformation] [String]
exponents :: Int -> Int -> UncheckedMutationCfg
termLimit :: Int -> Int -> UncheckedMutationCfg
nonzeroExps :: Int -> UncheckedMutationCfg
transFunctions :: [Transformation] -> UncheckedMutationCfg
measures :: [String] -> UncheckedMutationCfg
getMaxTerms :: MutationCfg -> Int
getMeasure :: MutationCfg -> [Measure]
parseFile :: String -> (Matrix Double, Vector)
withMutation :: MutationCfg -> Int -> (Mutation, Rnd Term)
data UncheckedDatasets = UD {
- _trainset :: Param String
- _testset :: Param String
}
data Datasets = D String String
trainingset :: String -> UncheckedDatasets
testset :: String -> UncheckedDatasets

Documentation

class Monoid a => Valid a b | a -> b, b -> a where Source #

Class of types that can be validate

Methods

validateConfig :: a -> b Source #

Instances

Instances details

Valid UncheckedDatasets Datasets Source #
Instance details Defined in ITEA.Config Methods validateConfig :: UncheckedDatasets -> Datasets Source #
Valid UncheckedMutationCfg MutationCfg Source #
Instance details Defined in ITEA.Config Methods validateConfig :: UncheckedMutationCfg -> MutationCfg Source #

data Param a Source #

A parameter is either empty (None) or Has something

Constructors

None
Has a

Instances

Instances details

Show a => Show (Param a) Source #
Instance details Defined in ITEA.Config Methods showsPrec :: Int -> Param a -> ShowS show :: Param a -> String showList :: [Param a] -> ShowS
Semigroup (Param a) Source #
Instance details Defined in ITEA.Config Methods (<>) :: Param a -> Param a -> Param a sconcat :: NonEmpty (Param a) -> Param a stimes :: Integral b => b -> Param a -> Param a
Monoid (Param a) Source #
Instance details Defined in ITEA.Config Methods mempty :: Param a mappend :: Param a -> Param a -> Param a mconcat :: [Param a] -> Param a

fromParam :: Param a -> a Source #

Extract parameter. This is a partial function.

data UncheckedMutationCfg Source #

Unchecked mutation config

Constructors

UMCfg
Fields _expLim :: Param (Int, Int) _termLim :: Param (Int, Int) _nzExp :: Param Int _transFun :: Param [Transformation] _measures :: Param [String]

Instances

Instances details

Semigroup UncheckedMutationCfg Source #
Instance details Defined in ITEA.Config Methods (<>) :: UncheckedMutationCfg -> UncheckedMutationCfg -> UncheckedMutationCfg sconcat :: NonEmpty UncheckedMutationCfg -> UncheckedMutationCfg stimes :: Integral b => b -> UncheckedMutationCfg -> UncheckedMutationCfg
Monoid UncheckedMutationCfg Source #
Instance details Defined in ITEA.Config Methods mempty :: UncheckedMutationCfg mappend :: UncheckedMutationCfg -> UncheckedMutationCfg -> UncheckedMutationCfg mconcat :: [UncheckedMutationCfg] -> UncheckedMutationCfg
Valid UncheckedMutationCfg MutationCfg Source #
Instance details Defined in ITEA.Config Methods validateConfig :: UncheckedMutationCfg -> MutationCfg Source #

data MutationCfg Source #

Validated mutation config

Constructors

MCfg (Int, Int) (Int, Int) Int [Transformation] [String]

Instances

Instances details

Show MutationCfg Source #
Instance details Defined in ITEA.Config Methods showsPrec :: Int -> MutationCfg -> ShowS show :: MutationCfg -> String showList :: [MutationCfg] -> ShowS
Valid UncheckedMutationCfg MutationCfg Source #
Instance details Defined in ITEA.Config Methods validateConfig :: UncheckedMutationCfg -> MutationCfg Source #

exponents :: Int -> Int -> UncheckedMutationCfg Source #

Generates a configuration with only _expLim holding a value.

termLimit :: Int -> Int -> UncheckedMutationCfg Source #

Generates a configuration with only _termLim holding a value.

nonzeroExps :: Int -> UncheckedMutationCfg Source #

Generates a configuration with only _nzExp holding a value.

transFunctions :: [Transformation] -> UncheckedMutationCfg Source #

Generates a configuration with only _transFun holding a value.

measures :: [String] -> UncheckedMutationCfg Source #

Generates a configuration with only _measures holding a value.

getMaxTerms :: MutationCfg -> Int Source #

getMeasure :: MutationCfg -> [Measure] Source #

parseFile :: String -> (Matrix Double, Vector) Source #

Parse a numerical csv file into predictors and target variables

withMutation :: MutationCfg -> Int -> (Mutation, Rnd Term) Source #

Creates the mutation function and also returns the random term generator (for initialization)

Datasets configuration

data UncheckedDatasets Source #

Constructors

UD
Fields _trainset :: Param String _testset :: Param String

Instances

Instances details

Show UncheckedDatasets Source #
Instance details Defined in ITEA.Config Methods showsPrec :: Int -> UncheckedDatasets -> ShowS show :: UncheckedDatasets -> String showList :: [UncheckedDatasets] -> ShowS
Semigroup UncheckedDatasets Source #
Instance details Defined in ITEA.Config Methods (<>) :: UncheckedDatasets -> UncheckedDatasets -> UncheckedDatasets sconcat :: NonEmpty UncheckedDatasets -> UncheckedDatasets stimes :: Integral b => b -> UncheckedDatasets -> UncheckedDatasets
Monoid UncheckedDatasets Source #
Instance details Defined in ITEA.Config Methods mempty :: UncheckedDatasets mappend :: UncheckedDatasets -> UncheckedDatasets -> UncheckedDatasets mconcat :: [UncheckedDatasets] -> UncheckedDatasets
Valid UncheckedDatasets Datasets Source #
Instance details Defined in ITEA.Config Methods validateConfig :: UncheckedDatasets -> Datasets Source #

data Datasets Source #

Constructors

D String String

Instances

Instances details

Show Datasets Source #
Instance details Defined in ITEA.Config Methods showsPrec :: Int -> Datasets -> ShowS show :: Datasets -> String showList :: [Datasets] -> ShowS
Valid UncheckedDatasets Datasets Source #
Instance details Defined in ITEA.Config Methods validateConfig :: UncheckedDatasets -> Datasets Source #

trainingset :: String -> UncheckedDatasets Source #

sets the training and test data set names

testset :: String -> UncheckedDatasets Source #

sets the training and test data set names