Experimenter.Eval.Type

Documentation

data Over a

Over datatype to reduce data vectors.

Constructors

OverPeriods

OverReplications

OverExperimentRepetitions

Instances

Generic (Over a)

Defined in Experimenter.Eval.Type

Associated Types

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

Methods

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

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

Show (Over a)

Defined in Experimenter.Eval.Type

Methods

showsPrec :: Int -> Over a -> ShowS

show :: Over a -> String

showList :: [Over a] -> ShowS

Serialize (Over a)

Defined in Experimenter.Eval.Type

Methods

put :: Putter (Over a)

get :: Get (Over a)

NFData (Over a)

Defined in Experimenter.Eval.Type

Methods

rnf :: Over a -> ()

Eq (Over a)

Defined in Experimenter.Eval.Type

Methods

(==) :: Over a -> Over a -> Bool

(/=) :: Over a -> Over a -> Bool

Ord (Over a)

Defined in Experimenter.Eval.Type

Methods

compare :: Over a -> Over a -> Ordering

(<) :: Over a -> Over a -> Bool

(<=) :: Over a -> Over a -> Bool

(>) :: Over a -> Over a -> Bool

(>=) :: Over a -> Over a -> Bool

max :: Over a -> Over a -> Over a

min :: Over a -> Over a -> Over a

type Rep (Over a)

Defined in Experimenter.Eval.Type

type Rep (Over a) = D1 ('MetaData "Over" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) (C1 ('MetaCons "OverPeriods" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OverReplications" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverExperimentRepetitions" 'PrefixI 'False) (U1 :: Type -> Type)))

data StatsDef a

Definition of statisics. Is used to define the desired output.

Constructors

Mean !(Over a) !(Of a)

StdDev !(Over a) !(Of a)

Sum !(Over a) !(Of a)

Id !(Of a)

Named !(StatsDef a) !ByteString

Name !ByteString !(StatsDef a)

Instances

Generic (StatsDef a)

Defined in Experimenter.Eval.Type

Associated Types

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

Methods

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

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

Show (StatsDef a)

Defined in Experimenter.Eval.Type

Methods

showsPrec :: Int -> StatsDef a -> ShowS

show :: StatsDef a -> String

showList :: [StatsDef a] -> ShowS

Serialize (StatsDef a)

Defined in Experimenter.Eval.Type

Methods

put :: Putter (StatsDef a)

get :: Get (StatsDef a)

NFData (StatsDef a)

Defined in Experimenter.Eval.Type

Methods

rnf :: StatsDef a -> ()

Eq (StatsDef a)

Defined in Experimenter.Eval.Type

Methods

(==) :: StatsDef a -> StatsDef a -> Bool

(/=) :: StatsDef a -> StatsDef a -> Bool

Ord (StatsDef a)

Defined in Experimenter.Eval.Type

Methods

compare :: StatsDef a -> StatsDef a -> Ordering

(<) :: StatsDef a -> StatsDef a -> Bool

(<=) :: StatsDef a -> StatsDef a -> Bool

(>) :: StatsDef a -> StatsDef a -> Bool

(>=) :: StatsDef a -> StatsDef a -> Bool

max :: StatsDef a -> StatsDef a -> StatsDef a

min :: StatsDef a -> StatsDef a -> StatsDef a

type Rep (StatsDef a)

Defined in Experimenter.Eval.Type

type Rep (StatsDef a) = D1 ('MetaData "StatsDef" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) ((C1 ('MetaCons "Mean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Over a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: (C1 ('MetaCons "StdDev" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Over a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: C1 ('MetaCons "Sum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Over a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))))) :+: (C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: (C1 ('MetaCons "Named" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StatsDef a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Name" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StatsDef a))))))

getOver :: StatsDef a -> Maybe (Over a)

data Of a

Constructors

Of !ByteString

Stats !(StatsDef a)

Div !(Of a) !(Of a)

Add !(Of a) !(Of a)

Sub !(Of a) !(Of a)

Mult !(Of a) !(Of a)

Last !(Of a)

First !(Of a)

EveryXthElem !Int !(Of a)

Length !(Of a)

Instances

Generic (Of a)

Defined in Experimenter.Eval.Type

Associated Types

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

Methods

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

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

Show (Of a)

Defined in Experimenter.Eval.Type

Methods

showsPrec :: Int -> Of a -> ShowS

show :: Of a -> String

showList :: [Of a] -> ShowS

Serialize (Of a)

Defined in Experimenter.Eval.Type

Methods

put :: Putter (Of a)

get :: Get (Of a)

NFData (Of a)

Defined in Experimenter.Eval.Type

Methods

rnf :: Of a -> ()

Eq (Of a)

Defined in Experimenter.Eval.Type

Methods

(==) :: Of a -> Of a -> Bool

(/=) :: Of a -> Of a -> Bool

Ord (Of a)

Defined in Experimenter.Eval.Type

Methods

compare :: Of a -> Of a -> Ordering

(<) :: Of a -> Of a -> Bool

(<=) :: Of a -> Of a -> Bool

(>) :: Of a -> Of a -> Bool

(>=) :: Of a -> Of a -> Bool

max :: Of a -> Of a -> Of a

min :: Of a -> Of a -> Of a

type Rep (Of a)

Defined in Experimenter.Eval.Type

type Rep (Of a) = D1 ('MetaData "Of" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) (((C1 ('MetaCons "Of" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "Stats" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StatsDef a)))) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: (C1 ('MetaCons "Add" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: C1 ('MetaCons "Sub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)))))) :+: ((C1 ('MetaCons "Mult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: C1 ('MetaCons "Last" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)))) :+: (C1 ('MetaCons "First" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: (C1 ('MetaCons "EveryXthElem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a))) :+: C1 ('MetaCons "Length" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Of a)))))))

prettyStatsDef :: StatsDef a -> Text

prettyOf :: Of a -> Text

prettyOver :: Over a -> Text

sum :: Over a -> Of a -> Of a

stdDev :: Over a -> Of a -> Of a

mean :: Over a -> Of a -> Of a

example :: StatsDef a

Simple examples on how to use the types

example2 :: StatsDef a

example3 :: StatsDef a

data Unit

Datatypes for the evaluation result.

Constructors

UnitPeriods

UnitReplications

UnitExperimentRepetition

UnitScalar

Instances

Generic Unit

Defined in Experimenter.Eval.Type

Associated Types

type Rep Unit :: Type -> Type

Methods

from :: Unit -> Rep Unit x

to :: Rep Unit x -> Unit

Read Unit

Defined in Experimenter.Eval.Type

Methods

readsPrec :: Int -> ReadS Unit

readList :: ReadS [Unit]

readPrec :: ReadPrec Unit

readListPrec :: ReadPrec [Unit]

Show Unit

Defined in Experimenter.Eval.Type

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

Serialize Unit

Defined in Experimenter.Eval.Type

Methods

put :: Putter Unit

get :: Get Unit

NFData Unit

Defined in Experimenter.Eval.Type

Methods

rnf :: Unit -> ()

Eq Unit

Defined in Experimenter.Eval.Type

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

Ord Unit

Defined in Experimenter.Eval.Type

Methods

compare :: Unit -> Unit -> Ordering

(<) :: Unit -> Unit -> Bool

(<=) :: Unit -> Unit -> Bool

(>) :: Unit -> Unit -> Bool

(>=) :: Unit -> Unit -> Bool

max :: Unit -> Unit -> Unit

min :: Unit -> Unit -> Unit

type Rep Unit

Defined in Experimenter.Eval.Type

type Rep Unit = D1 ('MetaData "Unit" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) ((C1 ('MetaCons "UnitPeriods" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnitReplications" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnitExperimentRepetition" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnitScalar" 'PrefixI 'False) (U1 :: Type -> Type)))

data EvalResults a

Constructors

EvalVector

Fields

• _evalType :: !(StatsDef a)
• _evalUnit :: !Unit

  Over which the vector runs.

• _evalValues :: ![EvalResults a]

EvalValue

Fields

• _evalType :: !(StatsDef a)
• _evalUnit :: !Unit

  Over which the vector runs.

• _evalVariableName :: !ByteString
• _evalX :: !(Either Int Double)

  Either period or xValue.

• _evalY :: !Double

EvalReducedValue

Fields

• _evalType :: !(StatsDef a)
• _evalUnit :: !Unit

  Over which the vector runs.

• _evalValue :: !Double

Instances

Generic (EvalResults a)

Defined in Experimenter.Eval.Type

Associated Types

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

Methods

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

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

Show (EvalResults a)

Defined in Experimenter.Eval.Type

Methods

showsPrec :: Int -> EvalResults a -> ShowS

show :: EvalResults a -> String

showList :: [EvalResults a] -> ShowS

Serialize (EvalResults a)

Defined in Experimenter.Eval.Type

Methods

put :: Putter (EvalResults a)

get :: Get (EvalResults a)

NFData (EvalResults a)

Defined in Experimenter.Eval.Type

Methods

rnf :: EvalResults a -> ()

type Rep (EvalResults a)

Defined in Experimenter.Eval.Type

type Rep (EvalResults a) = D1 ('MetaData "EvalResults" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) (C1 ('MetaCons "EvalVector" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StatsDef a)) :*: (S1 ('MetaSel ('Just "_evalUnit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unit) :*: S1 ('MetaSel ('Just "_evalValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [EvalResults a]))) :+: (C1 ('MetaCons "EvalValue" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_evalType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StatsDef a)) :*: S1 ('MetaSel ('Just "_evalUnit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unit)) :*: (S1 ('MetaSel ('Just "_evalVariableName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "_evalX") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Either Int Double)) :*: S1 ('MetaSel ('Just "_evalY") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))) :+: C1 ('MetaCons "EvalReducedValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StatsDef a)) :*: (S1 ('MetaSel ('Just "_evalUnit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unit) :*: S1 ('MetaSel ('Just "_evalValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))))

evalY :: forall a. Traversal' (EvalResults a) Double

evalX :: forall a. Traversal' (EvalResults a) (Either Int Double)

evalVariableName :: forall a. Traversal' (EvalResults a) ByteString

evalValues :: forall a. Traversal' (EvalResults a) [EvalResults a]

evalValue :: forall a. Traversal' (EvalResults a) Double

evalUnit :: forall a. Lens' (EvalResults a) Unit

evalType :: forall a. Lens' (EvalResults a) (StatsDef a)

data ExperimentEval a

Constructors

ExperimentEval

Fields

• _evalExperimentNumber :: !Int
• _evalExperimentResults :: ![Availability IO (EvalResults a)]
• _evalExperiment :: !(Experiment a)

Instances

Generic (ExperimentEval a)

Defined in Experimenter.Eval.Type

Associated Types

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

Methods

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

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

Show (ExperimentEval a)

Defined in Experimenter.Eval.Type

Methods

showsPrec :: Int -> ExperimentEval a -> ShowS

show :: ExperimentEval a -> String

showList :: [ExperimentEval a] -> ShowS

ExperimentDef a => NFData (ExperimentEval a)

Defined in Experimenter.Eval.Type

Methods

rnf :: ExperimentEval a -> ()

type Rep (ExperimentEval a)

Defined in Experimenter.Eval.Type

type Rep (ExperimentEval a) = D1 ('MetaData "ExperimentEval" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) (C1 ('MetaCons "ExperimentEval" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalExperimentNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "_evalExperimentResults") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Availability IO (EvalResults a)]) :*: S1 ('MetaSel ('Just "_evalExperiment") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Experiment a)))))

evalExperimentResults :: forall a. Lens' (ExperimentEval a) [Availability IO (EvalResults a)]

evalExperimentNumber :: forall a. Lens' (ExperimentEval a) Int

evalExperiment :: forall a. Lens' (ExperimentEval a) (Experiment a)

data Evals a

Constructors

Evals

Fields

• _evalsExperiments :: !(Experiments a)
• _evalsResults :: ![ExperimentEval a]

Instances

Generic (Evals a)

Defined in Experimenter.Eval.Type

Associated Types

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

Methods

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

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

ExperimentDef a => NFData (Evals a)

Defined in Experimenter.Eval.Type

Methods

rnf :: Evals a -> ()

type Rep (Evals a)

Defined in Experimenter.Eval.Type

type Rep (Evals a) = D1 ('MetaData "Evals" "Experimenter.Eval.Type" "experimenter-0.1.0.14-wBGTjoIS9QAeelx1tdTri" 'False) (C1 ('MetaCons "Evals" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalsExperiments") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Experiments a)) :*: S1 ('MetaSel ('Just "_evalsResults") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ExperimentEval a])))

evalsResults :: forall a. Lens' (Evals a) [ExperimentEval a]

evalsExperiments :: forall a. Lens' (Evals a) (Experiments a)

getEvalValue :: EvalResults a -> [Double]

getEvalType :: (Over a -> Of a -> StatsDef a) -> EvalResults a -> StatsDef a

fromOver :: Over a -> Unit

demoteUnit :: Unit -> Maybe Unit

Demotes the unit by 1 degree. Thus this calculates the unit of a vector over which it was reduced.