Naming conventions for functions that error vs returns an Option

[br4sco]

As we discussed last time we should decide upon a naming convention for functions doing "the same thing" that either gives an error on undefined input or are made total by using Option.

I believe we have two different suggestions so far.

Suggestion 1:

funNameOpt    -- wrapped in Option
funName       -- gives error

Suggestion 2:

funName        -- wrapped in Option
funNameErr     -- gives error

[dlunde]

I believe we had this discussion again recently, and decided upon using

funName        -- wrapped in Option
funNameOrElse  -- executes function given as argument on error (which in turn can throw an error)

Please correct me if I remember this wrong.

[david-broman]

We will follow what Daniel said above. Tasks: (1) go through all code and make sure that this is true, (2) update the wiki.

[larshum]

Our suggestion is to use the err suffix for partial functions that crash, in addition to what Daniel said before.