Skip to content

Commit

Permalink
format
Browse files Browse the repository at this point in the history
  • Loading branch information
V-FEXrt committed Nov 8, 2023
1 parent fcdb5df commit 0237e34
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions json.wake
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,10 @@ from query export def QueryError makeQueryError

def lookup (selectFn: a => Boolean): (list: List (Pair a b)) => List b =
def select (Pair key value) =
if selectFn key then Some value
else None
if selectFn key then
Some value
else
None

mapPartial select

Expand Down

0 comments on commit 0237e34

Please sign in to comment.