强制执行有界 Nat? [英] Enforce Bounded Nat?

问题描述

如何强制使用 <= N 的 Nat?

How can I enforce a Nat that's <= N?

示例:

def lessThan5(x: NatLT5) = ???

哪里

lessThan5(Nat(4)) 会编译，但 lessThan5(Nat(6)) 不会.

lessThan5(Nat(4)) would compile, but lessThan5(Nat(6)) would not.

推荐答案

可以使用类型类 LTEq(或 LT 如果你想要严格小于).

You can use the type class LTEq (or LT if you want strictly less than).

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

这篇关于强制执行有界 Nat?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！