implicits

9열

2답변

스칼라 : 가져 오기가 암시 적 값을 찾는 것을 어떻게 막을 수 있습니까?

나는 암시를 디버깅 제안을 사용할 수 내가 x, 암시 적 사용하려면 : type T trait HasT { implicit def x: T = ... } 을하지만 일부 패키지 foo에서 와일드 카드 가져 오기를해야합니다. (하지 "모호한 implicits 값을") "찾을 수 없습니다"와 모두가 실패 class UseT extends HasT

scala slick implicits shadowing 2016-11-20

---

0열

1답변

클래스 이름으로 암시 적 인스턴스 가져 오기

내가하려는 것은 : 클래스 이름에서 암시 적 인스턴스를 가져옵니다. 런타임에 생성 된 클래스 유형에 대한 암시 적 인스턴스를 얻을 수없는 주요 문제. 내가 무엇을 가지고 : trait Base case class A() extends Base case class B() extends Base trait Worker[T <: Base] { d

scala implicit implicits scala-implicits 2017-09-15

---

0열

1답변

모호한 클래스 수준 및 상속 방법 레벨 ClassTag

내가있는 기능을 필요로하는 특성을 가지고 ClassTag 이제 trait Foo[T] { def bar(a: List[T])(implicit ev: ClassTag[T]): Unit } I가 그 특성을 확장 할 필요가 있지만, 그것은 또한에 대한 ClassTag을위한 용도로 사용하는 클래스 다른 방법, 예. class MyClass[T](im

scala inheritance implicits 2014-11-19

---

2열

2답변

암시 적으로 동등성에 대해 두 개의 scala shapeless HList 유형을 테스트하십시오.

두 개의 HList 이기종 레코드가 "동등"한지 테스트하는 데 관심이 있습니다. 즉, 동일한 키/val 쌍을 갖지만 동일한 순서로 반드시 같을 필요는 없습니다. 아래 코드 부분에서 EquivHLists이 수행하는 사전 정의 된 형식 술어가 있습니까? 나는 이것이 당신이 원하는 일을한다고 생각 // shapeless heterogeneous records w

scala shapeless implicits 2017-11-21

---

0열

1답변

조건부 생성 스칼라에서 implicits 생성

나는 아래의 단순화 된 예제와 비슷한 체인 암시 적 함수 시스템을 작성 중입니다. c1.payload == c2.payload 테스트는 "유형 - 공간"에없는 테스트를 나타냅니다. 나는 witnessEvidence의 정의를 위해 매크로를 사용할 것으로 예상했지만, 스칼라는 암시적인 인수 (WeakTypeTag 값만!)가있는 매크로 정의를 허용하지 않으므로이

scala macros scala-macros implicits 2017-11-21

---

0열

1답변

스칼라 및 암시 적 클래스의 인스턴스

내가 가지고있는 다음과 같은 두 가지 스칼라 파일 : object ImplicitsHome { implicit class StringWrapper(val str: String) extends ImplicitsHome with Serializable } trait ImplicitsHome { def str: String d

scala implicits 2014-11-27

---

3열

1답변

스칼라의 typeclass 패턴에서 암시 적 정의의 런타임 비용

this에서 implicits를 사용하여 스칼라에서 유추를 시뮬레이트하는 방법을 살펴 봅니다. 잘못 입력하지 않은 경우 재귀 인스턴스 선언에 대한 typecass 메서드 (Printer a => Printer (Option a))를 사용할 때마다 런타임에 새 인스턴스가 생성됩니다. 다음은 코드입니다. print을 사용할 때마다 Printer 인스턴스가 런타

scala typeclass implicits 2017-11-26

---

1열

1답변

암시 적으로 변환 할 때 그림자 any2stringadd 심볼

Symbol 클래스에 암시 적으로 두 가지 implicits (here 설명)를 통해 함수를 추가하려고합니다. case class A(s: Symbol) case class B(s: A) { def +[X](s: X)(implicit xtoa: X=>A) = B(xtoa(s)) } implicit def xToB[X](s: X)(implici

scala implicits 2017-05-14

---

4열

2답변

매개 변수화 된 형식의 암시 적 클래스 해결

다음 예제에서는 Scaffile 컴파일러가 Wrapper의 상위 형식 표현을 사용하도록 정의 된 경우에만 암시 적 클래스를 인식하는 것으로 보입니다. 왜 그런가요? scala> case class Nested(n: Int) defined class Nested scala> case class Wrapper[A <: Product](nested: A)

scala higher-kinded-types implicits 2017-02-13

---

1열

1답변

암시 적 매개 변수는 형식 유추를 추측하거나 유추하여 해상도가 충분하지 않습니까?

유형 추론은 암시 적 순서 증거를 추가 할 때까지이 예제에서 잘 작동합니다. 형식 유추 규칙 (매개 변수 목록을 가로 질러 왼쪽에서 오른쪽 &까지)이 만족스러워 보일지 모르지만 암시 적으로 그것을 어기는 것과 관련하여 무언가가 있습니다. case class Insert[I, O : Ordering](arg: I) def execute[I,O](req: I

scala type-inference typeclass implicits 2014-12-14

---