コード例 #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))