refinement-type

13गर्मी

2उत्तर

रिफाइंड और अस्तित्व प्रकार महत्व देता

मान लीजिए मैं कुछ तार और पूर्णांक पहचानकर्ता के बीच मैप करना चाहते हैं, और मैं अपने प्रकार यह असंभव एक क्रम की विफलता प्राप्त करने के लिए है क्योंकि किसी एक आईडी है कि सीमा से बाहर था को देखने के लिए

scala shapeless singleton-type refinement-type refined 2017-03-27

---