Typeclass for domains that have (some) "final" elements, i.e. elements that cannot be refined further without reaching a contradiction. In other words, typeclass for domains that have elements covered by top.
- Companion:
- object
Type members
Types
For many domains, final elements (i.e. elements covered by top)
can be given a more precise type than D
. For example, final elements
of Promise[A]
correspond to elements of A
; final elements of integer
interval sets correspond to integers; etc. This type member represents
the type of final elements of D
.
For many domains, final elements (i.e. elements covered by top)
can be given a more precise type than D
. For example, final elements
of Promise[A]
correspond to elements of A
; final elements of integer
interval sets correspond to integers; etc. This type member represents
the type of final elements of D
.