Safe Haskell | None |
---|
Documentation
decomposeLet :: E -> ([Either (TVr, E) [(TVr, E)]], E)Source
pull apart an ELet and separate out recursive strongly connected components from an ELet.
decomposeDs :: [(TVr, E)] -> [Either (TVr, E) [(TVr, E)]]Source
separate out recursive strongly connected components from a declaration list
caseUpdate :: E -> ESource