Safe Haskell | Safe-Infered |
---|
Basic definitions for optimization
- type Optimization = forall v g. Graph v g Annotation -> Graph v g Annotation
- 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
- gmap :: (Graph v g a -> Graph v g a) -> OM v g a -> OM v g a
Documentation
type Optimization = forall v g. Graph v g Annotation -> Graph v g AnnotationSource
the most frequent type of optimization is which
type OptimizationEx = forall v g a. OM v g a -> OM v g aSource
type OptimizationOf v g = Graph v g Annotation -> Graph v g AnnotationSource