Language.Paraiso.Optimization.Graph

Basic definitions for optimization

Documentation

type Optimization = forall v g. Graph v g Annotation -> Graph v g Annotation

the most frequent type of optimization is which

type OptimizationEx = forall v g a. OM v g a -> OM v g a

type OptimizationOf v g = Graph v g Annotation -> Graph v g Annotation

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

gmap :: (Graph v g a -> Graph v g a) -> OM v g a -> OM v g a

map the graph optimization to each dataflow graph of the kernel