Skip to content

Commit

Permalink
comment
Browse files Browse the repository at this point in the history
davdar committed Jun 18, 2024

Verified

This commit was signed with the committer’s verified signature.
guggero Oliver Gugger
1 parent 92bf2b9 commit cebfe89
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/UVMHS/Core/Data/Option.hs
Original file line number Diff line number Diff line change
@@ -54,6 +54,7 @@ isSome = \case
None False
Some _ True

-- TODO: fix this to be explicitly delayed in first argument
ifNone a 𝑂 a a
ifNone i = \case
None i

0 comments on commit cebfe89

Please sign in to comment.