암시 적 변환도 포함하는 Coq 증명 보조자에서 SearchAbout T
명령을 사용하여 암시 적 변환을 검색 할 수 있습니다. 이는 해당 유형에 T
이있는 모든 항목을 반환합니다 T
사이의 전환).스칼라에서 적용 가능한 암시 적 변환 찾기
스칼라 프로그래머를위한 유형으로 또는 유형에서 모든 변환을 찾는 방법이 있습니까? 변환은 소스 또는 대상 유형을 정의하는 프로젝트 외부에서 정의 될 수 있습니다. 전환 2 개의 참조 타입 S와 T 사이의 전류 범위에 있으면
런타임 중에 검색을 수행 하시겠습니까? –
@ om-nom-nom 아니요, 예 : 식. –