2012-09-17 1 views
2

암시 적 변환도 포함하는 Coq 증명 보조자에서 SearchAbout T 명령을 사용하여 암시 적 변환을 검색 할 수 있습니다. 이는 해당 유형에 T이있는 모든 항목을 반환합니다 T 사이의 전환).스칼라에서 적용 가능한 암시 적 변환 찾기

스칼라 프로그래머를위한 유형으로 또는 유형에서 모든 변환을 찾는 방법이 있습니까? 변환은 소스 또는 대상 유형을 정의하는 프로젝트 외부에서 정의 될 수 있습니다. 전환 2 개의 참조 타입 S와 T 사이의 전류 범위에 있으면

+0

런타임 중에 검색을 수행 하시겠습니까? –

+0

@ om-nom-nom 아니요, 예 : 식. –

답변

1

그냥 단지 신속

((null:S):T) 

를 입력하고 컴파일되는지보기 위해. Eclipse Scala IDE> = 2.1M2를 사용하면 환경 설정에서 암시 적 강조 표시가 활성화 된 경우 호출되는 변환을 볼 수 있습니다.

물론 두 형식을 모두 추측해야합니다 (단, 변환하려는 항목을 이미 알고있을 가능성이 큽니다). 그리고 변환이 이미 범위에 있어야합니다.

+2

당신은 또한': implicits [-v]'로 (예를 들어,'console' 명령을 실행할 때) scala REPL의 범위에있는 모든 implicits를 나열 할 수 있습니다 –