강제 된 Nat를 시행 하시겠습니까?

Question

Nat은 어떻게 적용 할 수 있습니까? <= N?

예 :

def lessThan5(x: NatLT5) = ???

lessThan5(Nat(4)) 컴파일 할

하지만 lessThan5(Nat(6))하지 않을 것입니다.

Answer 1

유형 클래스 LTEq (또는보다 작게는 LT)을 사용할 수 있습니다.

import shapeless.nat._ 
import shapeless.ops.nat._ 

def lessThan5[N <: Nat](n: N)(implicit ev: LTEq[N, _5]) = ??? 

lessThan5(_4) // compiles 
lessThan5(_5) // compiles 
lessThan5(_6) // doesn't compile because LTEq[_6, _5] cannot be found