時間のないシングレスシングルトンタイプを指定する方法

Question

LimitedString[Limit]のようなタイプを作成したいと思います。ここで、Limitは文字列の最大長の型表現です。

それは私が把握することはできませんが、実際にLimitのために（キーボードのように）（コンパイルのように）タイプを入力する方法である

class LimitedString[Limit] [private](val s: String) 
object LimitedString { 
    private def getLimit[Limit]: Int = ??? // turn `Limit` type into a value 
    def truncate[Limit](s: String) = new LimitedString[Limit](s take getLimit) 
    def get[Limit](s: String) = 
    if(s.length < getLimit) Some(new LimitedString[Limit](s)) 
    else None 
} 

type Str100 = LimitedString[100] // obviously this won't work 
def someLibraryMethod(s: Str100) = { ... } 

の線に沿って動作します。

私は型崩れのシングルトンタイプに探し始め、あなたが

100.narrow 
// res1: Int(100) = 100 

を言うことができることがわかった。しかし、私はタイプとしてInt(100)を使用しようとすると、私はエラーを取得します。

val x: Int(100) = 100 
// error: ';' expected but '(' found. 

また、def getLimit[Limit]: Intのようなものを実装するにはどうすればよいですか？

Answer 1

私はShaplessのWitnessに見てTravisBrownの提案@取り、この思い付いた：それを動作させる主要なもの

import shapeless._ 

object MyLibraryThing { 
    type Name = LimitedString[Witness.`50`.T] 
    object Name extends LimitedStringCompanion[Witness.`50`.T] 

    def rename(id: Int, name: Name) = { ... } 
} 

：

を

class LimitedString[Limit <: Int] private[util](val s: String) extends AnyVal { 
    override def toString = s 
} 
class LimitedStringCompanion[Limit <: Int : Witness.Aux]{ 
    def limit: Int = implicitly[Witness.Aux[Limit]].value 

    def unapply(s: String): Option[LimitedString[Limit]] = { 
     if(s.length > limit) None else Some(new LimitedString(s)) 
    } 

    def truncate(s: String): LimitedString[Limit] = new LimitedString(s take limit) 
} 

使い方

• Witness.Auxは、シングルトンを取得するために使用できるtypeclassですvalueバックタイプ
• のうち、シングルトンタイプWitness.`50`.Tは実際にInt
• タイプエイリアスのサブタイプである不定形 `Nat`を通じて、教会のエンコーディングを使用しないのはなぜ