The keys the framework writes on every handle itself; actions and item lists
may not use them. data holds what the screen shows and toJSON serialises
the handle as that data; raw holds the server's answers before decoding; pipe makes every handle pipeable, Effect-style
(feed.stream.pipe(Stream.runCollect)); back and checkpoint are the
framework's methods, added to a handle that has a screen below it / is a
screen: a declaration that used the name would silently lose its action on
such a handle and keep it on the launch root. Data keys never collide with
them: the data lives under data, not beside the members.
The keys the framework writes on every handle itself; actions and item lists may not use them.
dataholds what the screen shows andtoJSONserialises the handle as that data;rawholds the server's answers before decoding;pipemakes every handle pipeable, Effect-style (feed.stream.pipe(Stream.runCollect));backandcheckpointare the framework's methods, added to a handle that has a screen below it / is a screen: a declaration that used the name would silently lose its action on such a handle and keep it on the launch root. Data keys never collide with them: the data lives underdata, not beside the members.