implement nullableToMaybe

This commit is contained in:
Emile Clark-Boman 2025-12-14 18:55:36 +10:00
parent bc5fc341d5
commit 88effe5af0

View file

@ -97,4 +97,9 @@ in rec {
else f T;
firstSome = findFirst isSome None;
nullableToMaybe = x:
if x == null
then None
else Some x;
}