예제 #1
0
파일: bedrock.py 프로젝트: pshc/archipelago 
def fromJust(val):
    return match(val, ('Just(j)', lambda j: j))
예제 #2
0
파일: bedrock.py 프로젝트: pshc/archipelago 
def maybe_(no, val):
    return match(val, ('Just(j)', lambda j: j), ('Nothing()', lambda: no))
예제 #3
0
파일: bedrock.py 프로젝트: pshc/archipelago 
def isNothing(m):
    return match(m, ('Nothing()', lambda: True), ('_', lambda: False))
예제 #4
0
파일: bedrock.py 프로젝트: pshc/archipelago 
def isJust(m):
    return match(m, ('Just(_)', lambda: True), ('_', lambda: False))
예제 #5
0
파일: bedrock.py 프로젝트: pshc/archipelago 
def snd(t):
    return match(t, ('(_, s)', identity))
예제 #6
0
파일: bedrock.py 프로젝트: pshc/archipelago 
def fst(t):
    return match(t, ('(f, _)', identity))