v/vlib/builtin/option.v

90 lines
1.6 KiB
V
Raw Normal View History

2020-02-03 05:00:36 +01:00
// Copyright (c) 2019-2020 Alexander Medvednikov. All rights reserved.
2019-06-23 04:21:30 +02:00
// Use of this source code is governed by an MIT license
// that can be found in the LICENSE file.
2019-06-22 20:20:28 +02:00
module builtin
2019-12-16 20:22:04 +01:00
/*
struct Option2<T> {
ok bool
is_none bool
2020-05-18 21:38:06 +02:00
error string
ecode int
data T
2019-12-16 20:22:04 +01:00
}
*/
2020-05-31 12:57:26 +02:00
struct OptionBase {
ok bool
is_none bool
error string
ecode int
// Data is trailing after ecode
2020-11-06 15:26:59 +01:00
// and is not included in here but in the
2020-05-31 12:57:26 +02:00
// derived Option_xxx types
}
2019-12-19 21:52:45 +01:00
2020-05-31 12:57:26 +02:00
pub fn (o OptionBase) str() string {
if o.ok && !o.is_none {
return 'Option{ valid }'
}
if o.is_none {
return 'Option{ none }'
}
return 'Option{ error: "${o.error}" }'
}
// `fn foo() ?Foo { return foo }` => `fn foo() ?Foo { return opt_ok(foo); }`
fn opt_ok2(data voidptr, mut option &OptionBase, size int) {
unsafe {
*option = OptionBase {
ok: true
}
// use ecode to get the end of OptionBase and then memcpy into it
C.memcpy(byteptr(&option.ecode) + sizeof(int), data, size)
}
2020-05-31 12:57:26 +02:00
}
// Old option type used for bootstrapping
2019-06-22 20:20:28 +02:00
struct Option {
ok bool
is_none bool
2020-05-18 21:38:06 +02:00
error string
ecode int
2019-06-22 20:20:28 +02:00
}
pub fn (o Option) str() string {
if o.ok && !o.is_none {
2020-11-06 15:26:59 +01:00
return 'Option{ ok }'
}
if o.is_none {
2020-05-13 21:59:05 +02:00
return 'Option{ none }'
}
return 'Option{ error: "${o.error}" }'
}
2019-10-23 16:02:39 +02:00
// used internally when returning `none`
fn opt_none() Option {
2019-12-19 21:52:45 +01:00
return Option{
2020-05-18 21:38:06 +02:00
ok: false
2019-12-19 21:52:45 +01:00
is_none: true
}
}
pub fn error(s string) Option {
2019-12-19 21:52:45 +01:00
return Option{
2020-05-18 21:38:06 +02:00
ok: false
is_none: false
error: s
}
}
pub fn error_with_code(s string, code int) Option {
2019-12-19 21:52:45 +01:00
return Option{
2020-05-18 21:38:06 +02:00
ok: false
is_none: false
error: s
ecode: code
}
2020-05-31 12:57:26 +02:00
}