1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
/*******************************************************************************
* Copyright 2025 Stefan Majewsky <majewsky@gmx.net>
* SPDX-License-Identifier: Apache-2.0
* Refer to the file "LICENSE" for details.
*******************************************************************************/
package refined
import (
"encoding/json"
//nolint:staticcheck // this dot import is fine (ST1001)
. "github.com/majewsky/gg/option"
)
// NOTE: The zero value is illegal and will panic on use.
type Value[V any, C Condition[V]] struct {
value Option[V]
}
type Condition[V any] interface {
MatchesValue(V) error
}
func NewValue[V any, C Condition[V]](value V) (Value[V, C], error) {
var cond C
err := cond.MatchesValue(value)
if err == nil {
return Value[V, C]{value: Some(value)}, nil
} else {
return Value[V, C]{}, err
}
}
func LiteralValue[V any, C Condition[V]](value V) Value[V, C] {
var cond C
err := cond.MatchesValue(value)
if err == nil {
return Value[V, C]{value: Some(value)}
} else {
panic(err.Error())
}
}
func (v Value[V, C]) Raw() V {
return v.value.UnwrapOrPanic("illegal use of zero-valued instance of refined.Value")
}
func (v *Value[V, C]) UnmarshalJSON(buf []byte) error {
var value V
err := json.Unmarshal(buf, &value)
if err != nil {
return err
}
*v, err = NewValue[V, C](value)
return err
}
func (v Value[V, C]) MarshalJSON() ([]byte, error) {
return json.Marshal(v.Raw())
}
|
