Searched refs:ExitifyM (Results 1 – 1 of 1) sorted by relevance
103 type ExitifyM = State [(JoinId, CoreExpr)] type139 -> ExitifyM CoreExpr197 -> ExitifyM CoreExpr261 mkExitJoinId :: InScopeSet -> Type -> JoinArity -> ExitifyM JoinId271 addExit :: InScopeSet -> JoinArity -> CoreExpr -> ExitifyM JoinId