निराकार:

Question

प्रश्न 1 उनके प्रकार द्वारा HList तत्वों को प्रतिबंधित करने की कोशिश कर रहा - मूल LUBConstraints

मेरी पहली मौजूदा LUBConstraints के साथ चारों ओर खेलने की कोशिश सबूत (नीचे दिए गए कोड ब्लॉक देखें) लापता के लिए विफल रहता है। कोई संकेत क्यों? एक खाली सूची लंबी सूची की वैध सूची नहीं है? कोई तत्व बाधा का उल्लंघन नहीं करता है।

import shapeless.ops.coproduct 
import shapeless.{::, :+:, Coproduct, HNil, HList} 

object testLUBConstraints { 
    import shapeless.LUBConstraint._ 

    // !!! see comment on question - this satisfies the implicit below!!! 
    // implicit val hnilLUBForLong = new LUBConstraint[HNil.type, Long] {} 

    def acceptLong[L <: HList : <<:[Long]#λ](l: L) = true 
    val validLong = acceptLong(1l :: HNil) 

    val validEmpty = acceptLong(HNil) 
    // => WHY??? Error: could not find implicit value for evidence parameter of type shapeless.LUBConstraint[shapeless.HNil.type,Long] 
    // MY EXPECTATION WAS: 'implicit def hnilLUB[T] = new LUBConstraint[HNil, T] {}' defined within LUBConstraint companion should provide so 

    // val invalid = acceptLong(1.0d :: HNil) -> fails due to missing evidence (as expected) 
} 

किसी भी मदद की सराहना की।

: पैरामीटर प्रकार से मामले की कक्षाओं को प्रतिबंधित ( Shapeless: restricting case class types एक separat प्रश्न में विभाजित) -

प्रश्न 3: -

प्रश्न 2 खुद की बाधा Coproduct का उपयोग कर (Shapeless: own HList constraint using Coproduct एक अलग सवाल में विभाजित)

Answer 1

मूल्य HNil का अनुमानित प्रकार सिंगलटन प्रकार HNil.type होगा, जो HNil का उचित उप प्रकार है। चूंकि LUBConstraint जैसे वर्गों का प्रकार परिवर्तनीय है, HNil के लिए कोई भी उपलब्ध उदाहरण नहीं मिलेगा यदि आप HNil.type के लिए एक उदाहरण मांग रहे हैं।

some discussionHNil की परिभाषा को बदलने के लिए some discussion रहा है ताकि यह काम करेगा, लेकिन यह मामूली नहीं है, और यह स्पष्ट नहीं है कि परिवर्तन के सभी प्रभाव वांछनीय हैं। इस बीच आप मूल्य को उजागर करने के लिए HNil: HNil लिख सकते हैं।