From 0237e343204b13b1ce66789c779f0c2353439708 Mon Sep 17 00:00:00 2001 From: Ashley Coleman Date: Wed, 8 Nov 2023 13:31:13 -0800 Subject: [PATCH] format --- json.wake | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/json.wake b/json.wake index 2572f40..878ebdb 100644 --- a/json.wake +++ b/json.wake @@ -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