Header menu logo bristlecone

Hypotheses Module

Types to represent a hypothesis, given that a hypothesis
 is a model system that contains some alternate formulations of certain
 components.

Types

Type Description

ComponentName

Represents the name of a swappable component in a model
 and the name of its implementation in a specific case.

Hypothesis<'timeIndex>

A hypothesis consists of a model system and the names of the
 swappable components within it, alongside the name of their current implementation.

Functions and values

Function or value Description

Hypotheses.apply comp builders

Full Usage: Hypotheses.apply comp builders

Parameters:
Returns: Writer<'rest, (ComponentName * CodedMap<AnyParameter>)> list
comp : ModelComponent<'a>
builders : Writer<('a -> 'rest), (ComponentName * CodedMap<AnyParameter>)> list
Returns: Writer<'rest, (ComponentName * CodedMap<AnyParameter>)> list

Hypotheses.compile builders

Full Usage: Hypotheses.compile builders

Parameters:
Returns: Hypothesis<'u> list

Compile: run the writer(s), add parameters into the model builder, and wrap in Hypothesis

builders : Writer<ModelBuilder<'u>, (ComponentName * CodedMap<AnyParameter>)> list
Returns: Hypothesis<'u> list

Hypotheses.createFromModel baseModel

Full Usage: Hypotheses.createFromModel baseModel

Parameters:
    baseModel : 'a -> 'rest

Returns: Writer<('a -> 'rest), (ComponentName * CodedMap<AnyParameter>)> list
baseModel : 'a -> 'rest
Returns: Writer<('a -> 'rest), (ComponentName * CodedMap<AnyParameter>)> list

Type something to start searching.