1234567891011121314151617181920212223242526272829303132 |
- (
- #comment
- (let config (DataSource 'config))
- (let res_sink (DataSink 'result))
- (let t1 (OptionalType (DataType 'Uint32)))
- (let t2 (DataType 'String))
- (let d1 (DictType t1 t2))
- (let d2 (Dict d1
- '((Just (Uint32 '4)) (String 'aaa))
- '((Just (Uint32 '4)) (String 'zzz))
- '((Nothing (OptionalType (DataType 'Uint32))) (String 'bbb)))
- )
- (let world (Write! world res_sink (Key) d2 '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Just (Uint32 '4))) '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Nothing (OptionalType (DataType 'Uint32)))) '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Just (Uint32 '5))) '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Just (Just (Uint32 '5)))) '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Just (Just (Uint32 '4)))) '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Just (Nothing (OptionalType (DataType 'Uint32))))) '()))
- (let world (Write! world res_sink (Key) (Contains d2 (Nothing (OptionalType (OptionalType (DataType 'Uint32))))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Just (Uint32 '4))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Nothing (OptionalType (DataType 'Uint32)))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Just (Uint32 '5))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Just (Just (Uint32 '4)))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Just (Just (Uint32 '5)))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Just (Nothing (OptionalType (DataType 'Uint32))))) '()))
- (let world (Write! world res_sink (Key) (Lookup d2 (Nothing (OptionalType (OptionalType (DataType 'Uint32))))) '()))
- (let world (Commit! world res_sink))
- (return world)
- )
|