Language.Paraiso.Optimization

tipycal optimization menu

Documentation

optimize :: Ready v g => Level -> OM v g Annotation -> OM v g Annotation

data Level

Constructors

Unoptimized

O0

O1

O2

O3

Instances

Eq Level

Ord Level

Show Level

class (Vector v, Num g, Ord g, C g, Show g, Typeable g, C (v g), Ord (v g), Show (v g)) => Ready v g

(Ready v g) indicates that the pair (v, g) has all the instances for the full optimizations to be serviced.

Instances

(Vector v, Num g, Ord g, C g, Show g, Typeable * g, C (v g), Ord (v g), Show (v g)) => Ready v g