As far as I know, these are referred to as refinement/range/pattern types. There's some official discussion here (nothing in the language yet). There's a library called flux though that implements a form of it
As far as I know, these are referred to as refinement/range/pattern types. There's some official discussion here (nothing in the language yet). There's a library called flux though that implements a form of it