-
Notifications
You must be signed in to change notification settings - Fork 402
Make Time
public
#2497
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make Time
public
#2497
Conversation
Hmm, I'm certainly not against exposing the time trait to let folks implement it themselves, but this by itself won't let someone compile for wasm as-is - there's plenty of other places in the library where |
Yeah it won't help everywhere but at least in some places it can be used, for example the scorer |
Concept ACK |
At least for the scorer, there's also an alternative way to go - give it timer ticks like we do |
If we make `Time` public, this allows for other libraries to implement the handling of time themselves. This could be nice for things like wasm where we can't use the standard library to get the time, but we sitll have access to the time through other libraries.
Yeah I still think where ever this is used, it makes sense to give no-std users the option of having time. |
In general, yea, so let's see,
and I think that's it? So we should consider how to provide |
Yeah that sounds better, if you guys can get that done before next release that'd be great, otherwise I'd be in favor of merging this in the meantime. |
If we make
Time
public, this allows for other libraries to implement the handling of time themselves. This could be nice for things like wasm where we can't use the standard library to get the time, but we sitll have access to the time through other libraries.