Copyright	(c) Pablo Couto 2014
License	GPL-3
Maintainer	[email protected]
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Referees.Solver.Types

Contents

Description

This module reexports some types and functions from Referees.Solver.Types.Internal.

Synopsis

For use with `Matrix`s

newtype Index a Source

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' Source

type Col = Index Col' Source

For solving the distribution problem

type ProfitFunction a b c Source

Arguments

= a	Some item
-> b	Some bin
-> Maybe c	An optional quality
-> Profit

type ProfitMatrix = Matrix Profit Source

data Bounds a Source

Instances

Eq a => Eq (Bounds a)
Show a => Show (Bounds a)

mkBounds Source

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.

type Capacity = Int Source

Represents the capacity of some bin.

type Copies = Int Source

Represents the number of copies to make of some item.

For use with Matrixs

For solving the distribution problem

For use with `Matrix`s