- pub (BC x) = BC $ censor (\[BCSdsFetch s]->[BCSdsPublish s])
- (listen x >>= \(_, [BCSdsFetch s])->modify (publish s)) >>| tell mempty
- where
- publish i st = {st & sdss=[if (i == s.sdsi) {s & sdspub=True} s \\s<-st.sdss]}
+
+instance namedsds ByteCode where
+ namedsds f = {main = BC $ freshs
+ >>= \sdsi->pure {BCShare | sdsname="", sdsi=sdsi, sdsval=BCValue 0}
+ >>= \sds ->pure (f $ tell` [BCSdsFetch sds])
+ >>= \(v Named n In bdy)->modify (addSDS sds n v)
+ >>| unBC (unMain bdy)}
+ where
+ addSDS sds n v s = {s & sdss=[{sds & sdsname=n, sdsval=BCValue v}:s.sdss]}
+
+instance sdspub ByteCode where
+ pub (BC x) = BC $ censor (\[BCSdsFetch s]->[BCSdsPublish s]) x