typerep.check

来自「JAVA 语言的函数式编程扩展」· CHECK 代码 · 共 48 行

Boolean
Boolean
true
Byte
Char
Int
Long
Float
Double
String
Unit

Some[Int]
Some[Int]
Some[Some[Int]]
None
None

List[Int]
List[Int]
List[List[Int]]
Nil
List[Any]

Array[Int]
Array[Array[Int]]
Array[Int]
Array[Int]
Array[Int]
Array[Int]

Tuple2[Int, String]
Tuple3[Char, Char, String]
Tuple2[Tuple2[Int, String], Tuple2[Int, String]]
Tuple2[Tuple2[Some[Char], Int], Tuple2[Some[Char], Int]]

Function1[Int, Int]
Int
Function1[Int, Int]
Int
Function1[Int, Function1[Int, Int]]
Function1[Int, Int]
Int
Function3[Boolean, List[Char], Int, Int]
Function2[Function1[Int, Int], Int, Int]
Int