Stream: Beginner Questions

Topic: ✔ option predicate


view this post on Zulip Robert Soeldner (Nov 16 2021 at 18:02):

Is there no predicate, to check if 'a option is some Some e ?
I was looking via find_consts "'a option ⇒ bool"

view this post on Zulip Mathias Fleury (Nov 16 2021 at 18:05):

Why not use equality?

view this post on Zulip Mathias Fleury (Nov 16 2021 at 18:06):

like:
a ≠ None

view this post on Zulip Mathias Fleury (Nov 16 2021 at 18:06):

(for code there is Option.is_none)

view this post on Zulip Notification Bot (Nov 16 2021 at 18:07):

Robert Soeldner has marked this topic as resolved.


Last updated: Nov 11 2024 at 01:24 UTC