scala-typed-holes

【文件属性】：
文件名称：scala-typed-holes
文件大小：26KB
文件格式：ZIP
更新时间：2021-05-09 03:47:58
Scala Scala型Kong 这是一个Scala编译器插件，用于模拟Haskell，Idris，Agda等的“类型化的Kong”功能。 每当您使用??? 在您的代码中，编译器插件将生成一个编译器警告，其中包含有关该警告的有用信息。 例如，给定Scala代码 package example object Example { def foo ( x : Int , y : String ) : Boolean = { if (y.length == x) { ??? // TODO implement! } else { true } } def bar ( x : Int ) : String = x match { case 0 => " zero " case 1 => " one " case _ => ?

【文件预览】：
scala-typed-holes-master
----project()
--------build.properties(18B)
--------plugins.sbt(111B)
----.github()
--------release-drafter.yml(84B)
--------workflows()
----src()
--------test()
--------main()
----.travis.yml(700B)
----LICENSE(11KB)
----build.sbt(1KB)
----README.md(3KB)
----docs()
--------README.md(3KB)
----push_readme.sh(891B)