[Monads] Change Valued to PossiblyValued

[viboes]

value doesn't express correctly the fact that the value is optional. optional_value?

[viboes]

Optional proposal talks about a NullableProxy. I don't like the name as the single required operations are check if there is a value and dereference the value. There is no reset operation.

I think that the name must contain Value and the fact that the value can be there or not, Maybe/Optional/Possibly.

I suggest to define a concept PossiblyValued and rename the traits to possibly_valued_traits.

[ptal]

Agreed. Did you consider MaybeValued or MaybeUnexpected? As Maybe is the usual name we give to this monad.

[viboes]

I started with OptionallyValued, and considered MaybeValued. I avoided Maybe and Optional as we have classes that have the same name. I just looked for a synonym.

[viboes]

I suggest to change the title of this issue to Change Valued to PossiblyValued and make it an enhancement.