| categories: |
Optimization |
| dependencies: |
[Dependency "base" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "currypath" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "directory" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "flatcurry" [[VGte "3.0.0",VLt "5.0.0"]],Dependency "process" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "read-legacy" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "redblacktree" [[VGte "3.0.0",VLt "4.0.0"]]] |
| documentation: |
nonstrictunif-optimize ====================== Linearity optimizer for functional patterns and non-strict unification ---------------------------------------------------------------------- This package contains a tool which replaces occurrences of `(fp =:<= x)` by `(fp =:<<= x)` if the functional pattern `fp` always evaluates to a linear term. |
| exportedmodules: |
NonStrictOpt CurryBrowseAnalysis.Linearity CurryBrowseAnalysis.Dependency |
| modules: |
NonStrictOpt CurryBrowseAnalysis.Linearity CurryBrowseAnalysis.Dependency |
| version: |
3.0.0 |