예제 #1
0
 def kind(self, t):
     if type(t) is Type:
         return t
     ty = lambda t: type(t)
     if type(t) is type:
         ty = lambda t: t
     return reduce(
         lambda L, R: R if (hasattr(R, 't') and ty(t) == R) else L,
         [T for T in _types_gen(self) if T is not Any])
예제 #2
0
 def kind(self, t):
     if type(t) is Type:
         return t
     ty = lambda t: type(t)
     if type(t) is type:
         ty = lambda t: t
     return reduce(
         lambda L, R: R if (hasattr(R, 't') and ty(t) == R) else L,
         [T for T in _types_gen(self) if T is not Any])
예제 #3
0
 def decode(self, n):
     return reduce(
         lambda L, R: R if (text_type(R) == n) else L,
         _types_gen(self))
예제 #4
0
 def decode(self, n):
     return reduce(lambda L, R: R if (text_type(R) == n) else L,
                   _types_gen(self))