Documentation

type A1 = Analysis Annotation Source #

type RmEqState = ([[Expression A1]], Int, Report) Source #

refactorEquivalences :: (Filename, ProgramFile A) -> (Report, (Filename, ProgramFile A)) Source #

addCopysPerBlockGroup :: TypeEnv -> [Block A1] -> State RmEqState [Block A1] Source #

addCopysPerBlock :: TypeEnv -> Block A1 -> State RmEqState [Block A1] Source #

equalTypes :: Eq b => Map Name b -> Expression a1 -> Expression a -> Maybe b Source #

mkCopy :: TypeEnv -> Position -> Expression A1 -> Expression A1 -> Block A1 Source #

perBlockRmEquiv :: Block A1 -> State RmEqState (Block A1) Source #

perStatementRmEquiv :: Statement A1 -> State RmEqState (Statement A1) Source #

equivalentsToExpr :: Expression A1 -> State RmEqState [Expression A1] Source #