@etherisc/gif-next 0.0.2-d250c72 → 0.0.2-e5ea33d
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +24 -0
- package/artifacts/contracts/components/Component.sol/Component.dbg.json +1 -1
- package/artifacts/contracts/components/Component.sol/InstanceLinked.dbg.json +1 -1
- package/artifacts/contracts/components/Component.sol/InstanceLinked.json +2 -2
- package/artifacts/contracts/components/IPool.sol/IPoolComponent.dbg.json +1 -1
- package/artifacts/contracts/components/IProduct.sol/IProductComponent.dbg.json +1 -1
- package/artifacts/contracts/components/Pool.sol/Pool.dbg.json +1 -1
- package/artifacts/contracts/components/Pool.sol/Pool.json +2 -2
- package/artifacts/contracts/components/Product.sol/Product.dbg.json +1 -1
- package/artifacts/contracts/components/Product.sol/Product.json +2 -2
- package/artifacts/contracts/experiment/errors/Require.sol/Require.dbg.json +1 -1
- package/artifacts/contracts/experiment/errors/Require.sol/Require.json +2 -2
- package/artifacts/contracts/experiment/errors/Revert.sol/Revert.dbg.json +1 -1
- package/artifacts/contracts/experiment/errors/Revert.sol/Revert.json +2 -2
- package/artifacts/contracts/experiment/inheritance/A.sol/A.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/A.sol/A.json +2 -2
- package/artifacts/contracts/experiment/inheritance/A.sol/AShared.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/A.sol/AShared.json +2 -2
- package/artifacts/contracts/experiment/inheritance/B.sol/B.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/C.sol/C.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IA.sol/IA.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IA.sol/ISharedA.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IB.sol/IB.dbg.json +1 -1
- package/artifacts/contracts/experiment/inheritance/IC.sol/IC.dbg.json +1 -1
- package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.dbg.json +1 -1
- package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.json +2 -2
- package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.dbg.json +1 -1
- package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.json +2 -2
- package/artifacts/contracts/instance/IInstance.sol/IInstance.dbg.json +1 -1
- package/artifacts/contracts/instance/Instance.sol/Instance.dbg.json +1 -1
- package/artifacts/contracts/instance/Instance.sol/Instance.json +2 -2
- package/artifacts/contracts/instance/access/Access.sol/AccessModule.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccess.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccessCheckRole.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccessComponentTypeRoles.dbg.json +1 -1
- package/artifacts/contracts/instance/access/IAccess.sol/IAccessModule.dbg.json +1 -1
- package/artifacts/contracts/instance/component/ComponentModule.sol/ComponentModule.dbg.json +1 -1
- package/artifacts/contracts/instance/component/ComponentModule.sol/ComponentOwnerService.dbg.json +1 -1
- package/artifacts/contracts/instance/component/ComponentModule.sol/ComponentOwnerService.json +2 -2
- package/artifacts/contracts/instance/component/IComponent.sol/IComponent.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IComponentContract.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IComponentModule.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IComponentOwnerService.dbg.json +1 -1
- package/artifacts/contracts/instance/component/IComponent.sol/IInstanceLinked.dbg.json +1 -1
- package/artifacts/contracts/instance/policy/IPolicy.sol/IPolicy.dbg.json +1 -1
- package/artifacts/contracts/instance/policy/IPolicy.sol/IPolicyModule.dbg.json +1 -1
- package/artifacts/contracts/instance/policy/PolicyModule.sol/PolicyModule.dbg.json +1 -1
- package/artifacts/contracts/instance/pool/IPoolModule.sol/IPool.dbg.json +1 -1
- package/artifacts/contracts/instance/pool/IPoolModule.sol/IPoolModule.dbg.json +1 -1
- package/artifacts/contracts/instance/pool/PoolModule.sol/PoolModule.dbg.json +1 -1
- package/artifacts/contracts/instance/product/IProductService.sol/IProductModule.dbg.json +1 -1
- package/artifacts/contracts/instance/product/IProductService.sol/IProductService.dbg.json +1 -1
- package/artifacts/contracts/instance/product/ProductService.sol/ProductModule.dbg.json +1 -1
- package/artifacts/contracts/instance/product/ProductService.sol/ProductService.dbg.json +1 -1
- package/artifacts/contracts/instance/product/ProductService.sol/ProductService.json +2 -2
- package/artifacts/contracts/registry/ChainNft.sol/ChainNft.dbg.json +1 -1
- package/artifacts/contracts/registry/ChainNft.sol/ChainNft.json +2 -2
- package/artifacts/contracts/registry/IChainNft.sol/IChainNft.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IOwnable.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IRegisterable.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IRegistry.dbg.json +1 -1
- package/artifacts/contracts/registry/IRegistry.sol/IRegistryLinked.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/Registerable.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/Registry.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/Registry.json +2 -2
- package/artifacts/contracts/registry/Registry.sol/RegistryLinked.dbg.json +1 -1
- package/artifacts/contracts/registry/Registry.sol/RegistryLinked.json +2 -2
- package/artifacts/contracts/types/Blocknumber.sol/BlocknumberLib.dbg.json +4 -0
- package/artifacts/contracts/types/Blocknumber.sol/BlocknumberLib.json +174 -0
- package/artifacts/contracts/types/ChainId.sol/ChainIdLib.dbg.json +1 -1
- package/artifacts/contracts/types/ChainId.sol/ChainIdLib.json +2 -2
- package/artifacts/contracts/types/NftId.sol/NftIdLib.dbg.json +1 -1
- package/artifacts/contracts/types/NftId.sol/NftIdLib.json +2 -2
- package/artifacts/contracts/types/Timestamp.sol/TimestampLib.dbg.json +4 -0
- package/artifacts/contracts/types/Timestamp.sol/TimestampLib.json +174 -0
- package/artifacts/contracts/types/UFixed.sol/UFixedMathLib.dbg.json +4 -0
- package/artifacts/contracts/types/UFixed.sol/UFixedMathLib.json +453 -0
- package/contracts/components/Component.sol +16 -18
- package/contracts/components/IPool.sol +3 -3
- package/contracts/components/IProduct.sol +3 -6
- package/contracts/components/Pool.sol +6 -13
- package/contracts/components/Product.sol +10 -21
- package/contracts/experiment/errors/Require.sol +10 -5
- package/contracts/experiment/errors/Revert.sol +13 -8
- package/contracts/experiment/inheritance/A.sol +8 -11
- package/contracts/experiment/inheritance/B.sol +10 -5
- package/contracts/experiment/inheritance/C.sol +11 -5
- package/contracts/experiment/inheritance/IA.sol +2 -7
- package/contracts/experiment/inheritance/IB.sol +3 -2
- package/contracts/experiment/inheritance/IC.sol +4 -3
- package/contracts/experiment/types/TypeA.sol +14 -9
- package/contracts/experiment/types/TypeB.sol +14 -9
- package/contracts/instance/IInstance.sol +1 -3
- package/contracts/instance/Instance.sol +13 -13
- package/contracts/instance/access/Access.sol +63 -116
- package/contracts/instance/access/IAccess.sol +28 -48
- package/contracts/instance/component/ComponentModule.sol +63 -98
- package/contracts/instance/component/IComponent.sol +30 -52
- package/contracts/instance/policy/IPolicy.sol +9 -24
- package/contracts/instance/policy/PolicyModule.sol +19 -35
- package/contracts/instance/pool/IPoolModule.sol +7 -19
- package/contracts/instance/pool/PoolModule.sol +22 -35
- package/contracts/instance/product/IProductService.sol +5 -15
- package/contracts/instance/product/ProductService.sol +43 -39
- package/contracts/registry/ChainNft.sol +23 -61
- package/contracts/registry/IChainNft.sol +10 -7
- package/contracts/registry/IRegistry.sol +46 -36
- package/contracts/registry/Registry.sol +80 -53
- package/contracts/types/Blocknumber.sol +118 -0
- package/contracts/types/ChainId.sol +24 -10
- package/contracts/types/NftId.sol +29 -13
- package/contracts/types/Timestamp.sol +102 -0
- package/contracts/types/UFixed.sol +205 -0
- package/package.json +9 -4
@@ -7,59 +7,50 @@ import {NftId, toNftId} from "../types/NftId.sol";
|
|
7
7
|
import {NftIdLib} from "../types/NftId.sol";
|
8
8
|
|
9
9
|
contract RegistryLinked is IRegistryLinked {
|
10
|
-
|
11
10
|
IRegistry internal _registry;
|
12
|
-
|
11
|
+
|
13
12
|
constructor(address registry) {
|
14
13
|
_registry = IRegistry(registry);
|
15
14
|
}
|
16
15
|
|
17
|
-
function getRegistry() external view override returns(IRegistry registry) {
|
16
|
+
function getRegistry() external view override returns (IRegistry registry) {
|
18
17
|
return _registry;
|
19
18
|
}
|
20
|
-
|
21
19
|
}
|
22
20
|
|
23
|
-
|
24
|
-
abstract contract Registerable is
|
25
|
-
RegistryLinked,
|
26
|
-
IRegisterable
|
27
|
-
{
|
21
|
+
abstract contract Registerable is RegistryLinked, IRegisterable {
|
28
22
|
using NftIdLib for NftId;
|
29
23
|
|
30
24
|
address private _initialOwner;
|
31
|
-
|
32
|
-
constructor(address registry)
|
33
|
-
RegistryLinked(registry)
|
34
|
-
{
|
25
|
+
|
26
|
+
constructor(address registry) RegistryLinked(registry) {
|
35
27
|
_initialOwner = msg.sender;
|
36
28
|
}
|
37
29
|
|
38
30
|
// getType, getData and register need to be implemented by concrete contract
|
39
31
|
|
40
|
-
function isRegisterable() external pure override returns(bool) {
|
32
|
+
function isRegisterable() external pure override returns (bool) {
|
41
33
|
return true;
|
42
34
|
}
|
43
35
|
|
44
|
-
function getInitialOwner() public view override returns(address deployer) {
|
36
|
+
function getInitialOwner() public view override returns (address deployer) {
|
45
37
|
return _initialOwner;
|
46
38
|
}
|
47
39
|
|
48
|
-
function isRegistered() public view override returns(bool) {
|
40
|
+
function isRegistered() public view override returns (bool) {
|
49
41
|
NftId nftId = _registry.getNftId(address(this));
|
50
42
|
return nftId.gtz();
|
51
43
|
}
|
52
44
|
|
53
|
-
function getNftId() public view override returns(NftId nftId) {
|
45
|
+
function getNftId() public view override returns (NftId nftId) {
|
54
46
|
return _registry.getNftId(address(this));
|
55
47
|
}
|
56
48
|
|
57
|
-
function getOwner() public view override returns(address owner) {
|
49
|
+
function getOwner() public view override returns (address owner) {
|
58
50
|
NftId id = _registry.getNftId(address(this));
|
59
51
|
owner = _registry.getOwner(id);
|
60
52
|
return owner != address(0) ? owner : _initialOwner;
|
61
53
|
}
|
62
|
-
|
63
54
|
}
|
64
55
|
|
65
56
|
contract Registry is IRegistry {
|
@@ -73,37 +64,71 @@ contract Registry is IRegistry {
|
|
73
64
|
IChainNft private _chainNft;
|
74
65
|
|
75
66
|
function initialize(address chainNft) external {
|
76
|
-
require(
|
67
|
+
require(
|
68
|
+
address(_chainNft) == address(0),
|
69
|
+
"ERROR:REG-001:ALREADY_INITIALIZED"
|
70
|
+
);
|
77
71
|
_chainNft = IChainNft(chainNft);
|
78
72
|
}
|
79
73
|
|
80
|
-
function TOKEN() public pure override returns(uint256) {
|
81
|
-
|
82
|
-
|
83
|
-
function ORACLE() public pure override returns(uint256) { return 60; }
|
84
|
-
function POOL() public pure override returns(uint256) { return 70; }
|
85
|
-
function POLICY() public pure override returns(uint256) { return 80; }
|
86
|
-
function BUNDLE() public pure override returns(uint256) { return 90; }
|
74
|
+
function TOKEN() public pure override returns (uint256) {
|
75
|
+
return 30;
|
76
|
+
}
|
87
77
|
|
88
|
-
function
|
89
|
-
|
78
|
+
function INSTANCE() public pure override returns (uint256) {
|
79
|
+
return 40;
|
80
|
+
}
|
81
|
+
|
82
|
+
function PRODUCT() public pure override returns (uint256) {
|
83
|
+
return 50;
|
84
|
+
}
|
85
|
+
|
86
|
+
function ORACLE() public pure override returns (uint256) {
|
87
|
+
return 60;
|
88
|
+
}
|
89
|
+
|
90
|
+
function POOL() public pure override returns (uint256) {
|
91
|
+
return 70;
|
92
|
+
}
|
93
|
+
|
94
|
+
function POLICY() public pure override returns (uint256) {
|
95
|
+
return 80;
|
96
|
+
}
|
97
|
+
|
98
|
+
function BUNDLE() public pure override returns (uint256) {
|
99
|
+
return 90;
|
100
|
+
}
|
101
|
+
|
102
|
+
function register(
|
103
|
+
address objectAddress
|
104
|
+
) external override returns (NftId nftId) {
|
105
|
+
require(
|
106
|
+
_nftIdByAddress[objectAddress].eqz(),
|
107
|
+
"ERROR:REG-002:ALREADY_REGISTERED"
|
108
|
+
);
|
90
109
|
|
91
110
|
IRegisterable registerable = IRegisterable(objectAddress);
|
92
|
-
require(
|
111
|
+
require(
|
112
|
+
registerable.isRegisterable(),
|
113
|
+
"ERROR:REG-003:NOT_REGISTERABLE"
|
114
|
+
);
|
93
115
|
|
94
116
|
// check parent exists (for objects not instances)
|
95
|
-
if(registerable.getType() != INSTANCE()) {
|
96
|
-
RegistryInfo memory parentInfo = _info[
|
117
|
+
if (registerable.getType() != INSTANCE()) {
|
118
|
+
RegistryInfo memory parentInfo = _info[
|
119
|
+
registerable.getParentNftId()
|
120
|
+
];
|
97
121
|
require(parentInfo.nftId.gtz(), "ERROR:REG-004:PARENT_NOT_FOUND");
|
98
122
|
// check validity of parent relation, valid relations are
|
99
123
|
// policy -> product, bundle -> pool, product -> instance, pool -> instance
|
100
124
|
}
|
101
125
|
|
102
126
|
uint256 mintedTokenId = _chainNft.mint(
|
103
|
-
registerable.getInitialOwner(),
|
104
|
-
EMPTY_URI
|
127
|
+
registerable.getInitialOwner(),
|
128
|
+
EMPTY_URI
|
129
|
+
);
|
105
130
|
nftId = toNftId(mintedTokenId);
|
106
|
-
|
131
|
+
|
107
132
|
RegistryInfo memory info = RegistryInfo(
|
108
133
|
nftId,
|
109
134
|
registerable.getParentNftId(),
|
@@ -118,25 +143,25 @@ contract Registry is IRegistry {
|
|
118
143
|
// add logging
|
119
144
|
}
|
120
145
|
|
121
|
-
|
122
146
|
function registerObjectForInstance(
|
123
147
|
NftId parentNftId,
|
124
148
|
uint256 objectType,
|
125
149
|
address initialOwner
|
126
150
|
)
|
127
|
-
external
|
151
|
+
external
|
128
152
|
override
|
129
|
-
|
130
|
-
|
153
|
+
returns (
|
154
|
+
// TODO add onlyRegisteredInstance
|
155
|
+
NftId nftId
|
156
|
+
)
|
131
157
|
{
|
132
158
|
// TODO add more validation
|
133
159
|
require(
|
134
160
|
objectType == POLICY() || objectType == BUNDLE(),
|
135
|
-
"ERROR:REG-005:TYPE_INVALID"
|
161
|
+
"ERROR:REG-005:TYPE_INVALID"
|
162
|
+
);
|
136
163
|
|
137
|
-
uint256 mintedTokenId = _chainNft.mint(
|
138
|
-
initialOwner,
|
139
|
-
EMPTY_URI);
|
164
|
+
uint256 mintedTokenId = _chainNft.mint(initialOwner, EMPTY_URI);
|
140
165
|
nftId = toNftId(mintedTokenId);
|
141
166
|
|
142
167
|
RegistryInfo memory info = RegistryInfo(
|
@@ -152,31 +177,33 @@ contract Registry is IRegistry {
|
|
152
177
|
// add logging
|
153
178
|
}
|
154
179
|
|
155
|
-
|
156
|
-
function getObjectCount() external view override returns(uint256) {
|
180
|
+
function getObjectCount() external view override returns (uint256) {
|
157
181
|
return _chainNft.totalSupply();
|
158
182
|
}
|
159
183
|
|
160
|
-
|
161
|
-
|
184
|
+
function getNftId(
|
185
|
+
address object
|
186
|
+
) external view override returns (NftId id) {
|
162
187
|
return _nftIdByAddress[object];
|
163
188
|
}
|
164
189
|
|
165
|
-
|
166
|
-
|
190
|
+
function isRegistered(
|
191
|
+
address object
|
192
|
+
) external view override returns (bool) {
|
167
193
|
return _nftIdByAddress[object].gtz();
|
168
194
|
}
|
169
195
|
|
170
|
-
|
171
|
-
|
196
|
+
function getInfo(
|
197
|
+
NftId nftId
|
198
|
+
) external view override returns (RegistryInfo memory info) {
|
172
199
|
return _info[nftId];
|
173
200
|
}
|
174
201
|
|
175
|
-
function getOwner(NftId nftId) external view override returns(address) {
|
202
|
+
function getOwner(NftId nftId) external view override returns (address) {
|
176
203
|
return _chainNft.ownerOf(nftId.toInt());
|
177
204
|
}
|
178
205
|
|
179
|
-
function getNftAddress() external view override returns(address nft) {
|
206
|
+
function getNftAddress() external view override returns (address nft) {
|
180
207
|
return address(_chainNft);
|
181
208
|
}
|
182
209
|
}
|
@@ -0,0 +1,118 @@
|
|
1
|
+
// SPDX-License-Identifier: Apache-2.0
|
2
|
+
pragma solidity ^0.8.19;
|
3
|
+
|
4
|
+
type Blocknumber is uint32;
|
5
|
+
|
6
|
+
using {
|
7
|
+
gtBlocknumber as >,
|
8
|
+
gteBlocknumber as >=,
|
9
|
+
ltBlocknumber as <,
|
10
|
+
lteBlocknumber as <=,
|
11
|
+
eqBlocknumber as ==,
|
12
|
+
neBlocknumber as !=,
|
13
|
+
BlocknumberLib.toInt
|
14
|
+
} for Blocknumber global;
|
15
|
+
|
16
|
+
/// @dev return true if Blocknumber a is greater than Blocknumber b
|
17
|
+
function gtBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
18
|
+
return Blocknumber.unwrap(a) > Blocknumber.unwrap(b);
|
19
|
+
}
|
20
|
+
|
21
|
+
/// @dev return true if Blocknumber a is greater than or equal to Blocknumber b
|
22
|
+
function gteBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
23
|
+
return Blocknumber.unwrap(a) >= Blocknumber.unwrap(b);
|
24
|
+
}
|
25
|
+
|
26
|
+
/// @dev return true if Blocknumber a is less than Blocknumber b
|
27
|
+
function ltBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
28
|
+
return Blocknumber.unwrap(a) < Blocknumber.unwrap(b);
|
29
|
+
}
|
30
|
+
|
31
|
+
/// @dev return true if Blocknumber a is less than or equal to Blocknumber b
|
32
|
+
function lteBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
33
|
+
return Blocknumber.unwrap(a) <= Blocknumber.unwrap(b);
|
34
|
+
}
|
35
|
+
|
36
|
+
/// @dev return true if Blocknumber a is equal to Blocknumber b
|
37
|
+
function eqBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
38
|
+
return Blocknumber.unwrap(a) == Blocknumber.unwrap(b);
|
39
|
+
}
|
40
|
+
|
41
|
+
/// @dev return true if Blocknumber a is not equal to Blocknumber b
|
42
|
+
function neBlocknumber(Blocknumber a, Blocknumber b) pure returns (bool) {
|
43
|
+
return Blocknumber.unwrap(a) != Blocknumber.unwrap(b);
|
44
|
+
}
|
45
|
+
|
46
|
+
/// @dev Converts the uint256 to a Blocknumber.
|
47
|
+
function toBlocknumber(uint256 blocknum) pure returns (Blocknumber) {
|
48
|
+
return Blocknumber.wrap(uint32(blocknum));
|
49
|
+
}
|
50
|
+
|
51
|
+
function blockBlocknumber() view returns (Blocknumber) {
|
52
|
+
return toBlocknumber(block.number);
|
53
|
+
}
|
54
|
+
|
55
|
+
/// @dev Return the Blocknumber zero (0)
|
56
|
+
function zeroBlocknumber() pure returns (Blocknumber) {
|
57
|
+
return toBlocknumber(0);
|
58
|
+
}
|
59
|
+
|
60
|
+
/// @dev Return the current block number
|
61
|
+
function blockNumber() view returns (Blocknumber) {
|
62
|
+
return toBlocknumber(block.number);
|
63
|
+
}
|
64
|
+
|
65
|
+
library BlocknumberLib {
|
66
|
+
/// @dev return true if Blocknumber a is greater than Blocknumber b
|
67
|
+
function gt(
|
68
|
+
Blocknumber a,
|
69
|
+
Blocknumber b
|
70
|
+
) public pure returns (bool isAfter) {
|
71
|
+
return gtBlocknumber(a, b);
|
72
|
+
}
|
73
|
+
|
74
|
+
/// @dev return true if Blocknumber a is greater than or equal to Blocknumber b
|
75
|
+
function gte(
|
76
|
+
Blocknumber a,
|
77
|
+
Blocknumber b
|
78
|
+
) public pure returns (bool isAfterOrSame) {
|
79
|
+
return gteBlocknumber(a, b);
|
80
|
+
}
|
81
|
+
|
82
|
+
/// @dev return true if Blocknumber a is less than Blocknumber b
|
83
|
+
function lt(
|
84
|
+
Blocknumber a,
|
85
|
+
Blocknumber b
|
86
|
+
) public pure returns (bool isBefore) {
|
87
|
+
return ltBlocknumber(a, b);
|
88
|
+
}
|
89
|
+
|
90
|
+
/// @dev return true if Blocknumber a is less than or equal to Blocknumber b
|
91
|
+
function lte(
|
92
|
+
Blocknumber a,
|
93
|
+
Blocknumber b
|
94
|
+
) public pure returns (bool isBeforeOrSame) {
|
95
|
+
return lteBlocknumber(a, b);
|
96
|
+
}
|
97
|
+
|
98
|
+
/// @dev return true if Blocknumber a is equal to Blocknumber b
|
99
|
+
function eq(
|
100
|
+
Blocknumber a,
|
101
|
+
Blocknumber b
|
102
|
+
) public pure returns (bool isSame) {
|
103
|
+
return eqBlocknumber(a, b);
|
104
|
+
}
|
105
|
+
|
106
|
+
/// @dev return true if Blocknumber a is not equal to Blocknumber b
|
107
|
+
function ne(
|
108
|
+
Blocknumber a,
|
109
|
+
Blocknumber b
|
110
|
+
) public pure returns (bool isDifferent) {
|
111
|
+
return neBlocknumber(a, b);
|
112
|
+
}
|
113
|
+
|
114
|
+
/// @dev converts the Blocknumber to a uint256
|
115
|
+
function toInt(Blocknumber blocknumber) public pure returns (uint256) {
|
116
|
+
return uint256(uint32(Blocknumber.unwrap(blocknumber)));
|
117
|
+
}
|
118
|
+
}
|
@@ -1,24 +1,38 @@
|
|
1
1
|
// SPDX-License-Identifier: Apache-2.0
|
2
2
|
pragma solidity ^0.8.19;
|
3
3
|
|
4
|
-
|
4
|
+
/// @dev bytes5 (uint40) allows for chain ids up to 13 digits
|
5
5
|
type ChainId is bytes5;
|
6
6
|
|
7
7
|
// type bindings
|
8
|
-
using {
|
9
|
-
eqChainId as ==,
|
10
|
-
neChainId as !=,
|
11
|
-
ChainIdLib.toInt
|
12
|
-
} for ChainId global;
|
8
|
+
using {eqChainId as ==, neChainId as !=, ChainIdLib.toInt} for ChainId global;
|
13
9
|
|
14
10
|
// general pure free functions
|
15
|
-
|
11
|
+
/// @dev Converts the uint256 to a ChainId.
|
12
|
+
function toChainId(uint256 chainId) pure returns (ChainId) {
|
13
|
+
return ChainId.wrap(bytes5(uint40(chainId)));
|
14
|
+
}
|
15
|
+
|
16
|
+
/// @dev Return the ChainId for the chain the contract is deployed to
|
17
|
+
function thisChainId() view returns (ChainId) {
|
18
|
+
return toChainId(block.chainid);
|
19
|
+
}
|
16
20
|
|
17
21
|
// pure free functions for operators
|
18
|
-
|
19
|
-
function
|
22
|
+
/// @dev Returns true if the values are equal (==).
|
23
|
+
function eqChainId(ChainId a, ChainId b) pure returns (bool isSame) {
|
24
|
+
return ChainId.unwrap(a) == ChainId.unwrap(b);
|
25
|
+
}
|
26
|
+
|
27
|
+
/// @dev Returns true if the values are not equal (!=).
|
28
|
+
function neChainId(ChainId a, ChainId b) pure returns (bool isDifferent) {
|
29
|
+
return ChainId.unwrap(a) != ChainId.unwrap(b);
|
30
|
+
}
|
20
31
|
|
21
32
|
// library functions that operate on user defined type
|
22
33
|
library ChainIdLib {
|
23
|
-
|
34
|
+
/// @dev Converts the ChainId to a uint256.
|
35
|
+
function toInt(ChainId chainId) internal pure returns (uint256) {
|
36
|
+
return uint256(uint40(ChainId.unwrap(chainId)));
|
37
|
+
}
|
24
38
|
}
|
@@ -5,31 +5,47 @@ pragma solidity ^0.8.19;
|
|
5
5
|
type NftId is uint96;
|
6
6
|
|
7
7
|
// type bindings
|
8
|
-
using {
|
9
|
-
eqNftId as ==,
|
10
|
-
neNftId as !=,
|
11
|
-
NftIdLib.toInt
|
12
|
-
} for NftId global;
|
8
|
+
using {eqNftId as ==, neNftId as !=, NftIdLib.toInt} for NftId global;
|
13
9
|
|
14
10
|
// general pure free functions
|
15
11
|
/// @dev Converts the uint256 to a NftId.
|
16
|
-
function toNftId(uint256 id) pure returns(NftId) {
|
12
|
+
function toNftId(uint256 id) pure returns (NftId) {
|
13
|
+
return NftId.wrap(uint96(id));
|
14
|
+
}
|
17
15
|
|
18
16
|
/// @dev Return the NftId zero (0)
|
19
|
-
function zeroNftId() pure returns(NftId) {
|
17
|
+
function zeroNftId() pure returns (NftId) {
|
18
|
+
return NftId.wrap(0);
|
19
|
+
}
|
20
20
|
|
21
21
|
// pure free functions for operators
|
22
|
-
function eqNftId(NftId a, NftId b) pure returns(bool isSame) {
|
23
|
-
|
22
|
+
function eqNftId(NftId a, NftId b) pure returns (bool isSame) {
|
23
|
+
return NftId.unwrap(a) == NftId.unwrap(b);
|
24
|
+
}
|
25
|
+
|
26
|
+
function neNftId(NftId a, NftId b) pure returns (bool isDifferent) {
|
27
|
+
return NftId.unwrap(a) != NftId.unwrap(b);
|
28
|
+
}
|
24
29
|
|
25
30
|
// library functions that operate on user defined type
|
26
31
|
library NftIdLib {
|
27
32
|
/// @dev Converts the NftId to a uint256.
|
28
|
-
function toInt(NftId nftId) public pure returns(uint96) {
|
33
|
+
function toInt(NftId nftId) public pure returns (uint96) {
|
34
|
+
return uint96(NftId.unwrap(nftId));
|
35
|
+
}
|
36
|
+
|
29
37
|
/// @dev Returns true if the value is non-zero (> 0).
|
30
|
-
function gtz(NftId a) public pure returns(bool) {
|
38
|
+
function gtz(NftId a) public pure returns (bool) {
|
39
|
+
return NftId.unwrap(a) > 0;
|
40
|
+
}
|
41
|
+
|
31
42
|
/// @dev Returns true if the value is zero (== 0).
|
32
|
-
function eqz(NftId a) public pure returns(bool) {
|
43
|
+
function eqz(NftId a) public pure returns (bool) {
|
44
|
+
return NftId.unwrap(a) == 0;
|
45
|
+
}
|
46
|
+
|
33
47
|
/// @dev Returns true if the values are equal (==).
|
34
|
-
function eq(NftId a, NftId b) public pure returns(bool isSame) {
|
48
|
+
function eq(NftId a, NftId b) public pure returns (bool isSame) {
|
49
|
+
return eqNftId(a, b);
|
50
|
+
}
|
35
51
|
}
|
@@ -0,0 +1,102 @@
|
|
1
|
+
// SPDX-License-Identifier: Apache-2.0
|
2
|
+
pragma solidity ^0.8.19;
|
3
|
+
|
4
|
+
type Timestamp is uint40;
|
5
|
+
|
6
|
+
using {
|
7
|
+
gtTimestamp as >,
|
8
|
+
gteTimestamp as >=,
|
9
|
+
ltTimestamp as <,
|
10
|
+
lteTimestamp as <=,
|
11
|
+
eqTimestamp as ==,
|
12
|
+
neTimestamp as !=
|
13
|
+
} for Timestamp global;
|
14
|
+
|
15
|
+
/// @dev return true if Timestamp a is after Timestamp b
|
16
|
+
function gtTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
17
|
+
return Timestamp.unwrap(a) > Timestamp.unwrap(b);
|
18
|
+
}
|
19
|
+
|
20
|
+
/// @dev return true if Timestamp a is after or equal to Timestamp b
|
21
|
+
function gteTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
22
|
+
return Timestamp.unwrap(a) >= Timestamp.unwrap(b);
|
23
|
+
}
|
24
|
+
|
25
|
+
/// @dev return true if Timestamp a is before Timestamp b
|
26
|
+
function ltTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
27
|
+
return Timestamp.unwrap(a) < Timestamp.unwrap(b);
|
28
|
+
}
|
29
|
+
|
30
|
+
/// @dev return true if Timestamp a is before or equal to Timestamp b
|
31
|
+
function lteTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
32
|
+
return Timestamp.unwrap(a) <= Timestamp.unwrap(b);
|
33
|
+
}
|
34
|
+
|
35
|
+
/// @dev return true if Timestamp a is equal to Timestamp b
|
36
|
+
function eqTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
37
|
+
return Timestamp.unwrap(a) == Timestamp.unwrap(b);
|
38
|
+
}
|
39
|
+
|
40
|
+
/// @dev return true if Timestamp a is not equal to Timestamp b
|
41
|
+
function neTimestamp(Timestamp a, Timestamp b) pure returns (bool) {
|
42
|
+
return Timestamp.unwrap(a) != Timestamp.unwrap(b);
|
43
|
+
}
|
44
|
+
|
45
|
+
/// @dev Converts the uint256 to a Timestamp.
|
46
|
+
function toTimestamp(uint256 timestamp) pure returns (Timestamp) {
|
47
|
+
return Timestamp.wrap(uint40(timestamp));
|
48
|
+
}
|
49
|
+
|
50
|
+
function blockTimestamp() view returns (Timestamp) {
|
51
|
+
return toTimestamp(block.timestamp);
|
52
|
+
}
|
53
|
+
|
54
|
+
/// @dev Return the Timestamp zero (0)
|
55
|
+
function zeroTimestamp() pure returns (Timestamp) {
|
56
|
+
return toTimestamp(0);
|
57
|
+
}
|
58
|
+
|
59
|
+
library TimestampLib {
|
60
|
+
/// @dev return true if Timestamp a is after Timestamp b
|
61
|
+
function gt(Timestamp a, Timestamp b) public pure returns (bool isAfter) {
|
62
|
+
return gtTimestamp(a, b);
|
63
|
+
}
|
64
|
+
|
65
|
+
/// @dev return true if Timestamp a is after or the same than Timestamp b
|
66
|
+
function gte(
|
67
|
+
Timestamp a,
|
68
|
+
Timestamp b
|
69
|
+
) public pure returns (bool isAfterOrSame) {
|
70
|
+
return gteTimestamp(a, b);
|
71
|
+
}
|
72
|
+
|
73
|
+
/// @dev return true if Timestamp a is before Timestamp b
|
74
|
+
function lt(Timestamp a, Timestamp b) public pure returns (bool isBefore) {
|
75
|
+
return ltTimestamp(a, b);
|
76
|
+
}
|
77
|
+
|
78
|
+
/// @dev return true if Timestamp a is before or the same than Timestamp b
|
79
|
+
function lte(
|
80
|
+
Timestamp a,
|
81
|
+
Timestamp b
|
82
|
+
) public pure returns (bool isBeforeOrSame) {
|
83
|
+
return lteTimestamp(a, b);
|
84
|
+
}
|
85
|
+
|
86
|
+
/// @dev return true if Timestamp a is equal to Timestamp b
|
87
|
+
function eq(Timestamp a, Timestamp b) public pure returns (bool isSame) {
|
88
|
+
return eqTimestamp(a, b);
|
89
|
+
}
|
90
|
+
|
91
|
+
/// @dev return true if Timestamp a is not equal to Timestamp b
|
92
|
+
function ne(
|
93
|
+
Timestamp a,
|
94
|
+
Timestamp b
|
95
|
+
) public pure returns (bool isDifferent) {
|
96
|
+
return neTimestamp(a, b);
|
97
|
+
}
|
98
|
+
|
99
|
+
function toInt(Timestamp timestamp) public pure returns (uint256) {
|
100
|
+
return uint256(uint40(Timestamp.unwrap(timestamp)));
|
101
|
+
}
|
102
|
+
}
|