Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/scala/17.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Scala 强制有界Nat？_Scala_Shapeless - Fatal编程技术网
Fatal编程技术网
  • scala/
  • Scala 强制有界Nat？

Scala 强制有界Nat？

scala

Scala 强制有界Nat？,scala,shapeless,Scala,Shapeless,如何强制执行Nat，即，您可以使用type类（或者如果您希望严格小于） 导入shapeless.nat_ 导入shapeless.ops.nat_ def lessThan5[N您可以使用type类（或者如果您希望严格小于） 导入shapeless.nat_ 导入shapeless.ops.nat_ def lessthan 5[N import shapeless.nat._ import shapeless.ops.nat._ def lessThan5[N <: Nat](n: N

如何强制执行
Nat
，即
，您可以使用type类（或者如果您希望严格小于）


导入shapeless.nat_
导入shapeless.ops.nat_

def lessThan5[N您可以使用type类（或者如果您希望严格小于）


导入shapeless.nat_
导入shapeless.ops.nat_
def lessthan 5[N

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