Scala - 範囲内の数値の型を定義する

Question

範囲内の数値をラップする型をScalaで定義でき、コンパイル時にその妥当性を主張できるかどうかは疑問です。例：範囲[0,1]のすべての数値。したがって、BetweenZeroAndOne型の関数を定義できます。私は、数を保持する/ラップするケースクラスを定義することができ、実行時にその範囲内にあるかどうかをチェックし、暗黙的な変換も使用できるかどうかをチェックすることができます。しかし、ゼロと1の間の型の型を定義することは可能ですか？

おかげで、

Answer 1

使用refined：ここ

scala> type ZeroToOne = Not[Less[W.`0.0`.T]] And Not[Greater[W.`1.0`.T]] 
defined type alias ZeroToOne 

scala> refineMV[ZeroToOne](1.8) 
<console>:40: error: Right predicate of (!(1.8 < 0.0) && !(1.8 > 1.0)) failed: 
Predicate (1.8 > 1.0) did not fail. 

Answer 2

が可能な解決策では、私が正しくあなたの質問を理解してほしい：

object MyInt extends Enumeration { 
    type MyInt = Value 
    // this is most "fragile" part of this solution 
    val Zero, One, Two, Three = Value 
} 

object MyIntToIntConverter{ 
    import MyInt._ 
    implicit def MyIntToInt(x: MyInt) : Int = x.id 
    implicit def IntToMyInt(x: Int) : MyInt = MyInt.apply(x) 
} 

import MyInt._ 
import MyIntToIntConverter._ 

val x : Int = MyInt.Three 

val t : MyInt = 3