Python match Examples

Example #1

File: bedrock.py Project: pshc/archipelago

def fromJust(val):
    return match(val, ('Just(j)', lambda j: j))

Example #2

File: bedrock.py Project: pshc/archipelago

def maybe_(no, val):
    return match(val, ('Just(j)', lambda j: j), ('Nothing()', lambda: no))

Example #3

File: bedrock.py Project: pshc/archipelago

def isNothing(m):
    return match(m, ('Nothing()', lambda: True), ('_', lambda: False))

Example #4

File: bedrock.py Project: pshc/archipelago

def isJust(m):
    return match(m, ('Just(_)', lambda: True), ('_', lambda: False))

Example #5

File: bedrock.py Project: pshc/archipelago

def snd(t):
    return match(t, ('(_, s)', identity))

Example #6

File: bedrock.py Project: pshc/archipelago

def fst(t):
    return match(t, ('(f, _)', identity))