QIO.Vec

This module defines a Vector as a list of pairs. In the context of QIO, a Vector is the type used to represent a probability distribution.

Documentation

newtype Vec x a

A Vector over types x and a is a wrapper around list of pairs of a and x.

Constructors

Vec

Fields

unVec :: [(a, x)]

Instances

Num n => Monad (Vec n)

Vectors, over Numeric types, can be defined as a Monad.

(Show x, Show a) => Show (Vec x a)

empty :: Vec x a

An empty Vector is defined as the empty list

(<@@>) :: (Num x, Eq a) => Vec x a -> a -> x

The "probability" of an object in a Vector, is the sum of all the probabilities associated with that object.

(<**>) :: Num x => x -> Vec x a -> Vec x a

A Vector can be multiplied by a scalar, by mapping the multiplcation over each probability in the vector.

(<++>) :: Vec x a -> Vec x a -> Vec x a

Two Vectors can be added, using list concatenation.