Safe Haskell | Safe-Inferred |
---|
- crushEffect :: Ord n => Effect n -> Effect n
Documentation
crushEffect :: Ord n => Effect n -> Effect nSource
Crush compound effect terms into their components.
This is like trimClosure
but for effects instead of closures.
For example, crushing DeepRead (List r1 (Int r2))
yields (Read r1 + Read r2)
.