Referees.Solver.Types.Internal

Types and constructors for use in Referees.Solver.

Documentation

type Capacity = Int

Represents the capacity of some bin.

type Copies = Int

Represents the number of copies to make of some item.

newtype Index a

Note that values of this type, when used to represent indices for a Matrix, may not be directly usable with access functions from Data.Matrix. This is due to the possibility of some conversion between indices for Matrixs and [] having taken place in their construction.

Constructors

Index

Fields

_idx :: Int

Instances

Enum (Index a)

Eq (Index a)

Num (Index a)

Read (Index a)

Show (Index a)

type Row = Index Row'

data Row'

type Col = Index Col'

data Col'

type Profit = Double

type ProfitMatrix = Matrix Profit

type ProfitFunction a b c

Arguments

 = a

Some item

-> b

Some bin

-> Maybe c

An optional quality

-> Profit

data Bounds a

Constructors

Bounds

Fields

_lower :: a

_upper :: a

Instances

Eq a => Eq (Bounds a)

Show a => Show (Bounds a)

mkBounds

Arguments

:: (Num a, Ord a)

=> a

Lower bound

-> a

Upper bound

-> Maybe (Bounds a)

This function creates a (Maybe) Bounds value, holding both lower and upper bounds for an interval, after verifying that they are consistent.