ResolveLatticeCompletion SΒΆ

any.spad line 218 [edit on github]

This package provides coercions for the special types Exit and Void.

coerce: Exit -> S

coerce(e) is never really evaluated. This coercion is used for formal type correctness when a function will not return directly to its caller.

coerce: S -> Void

coerce(s) throws all information about s away. This coercion allows values of any type to appear in contexts where they will not be used. For example, it allows the resolution of different types in the then and else branches when an if is in a context where the resulting value is not used.