Skip to content
This repository has been archived by the owner on Jan 17, 2020. It is now read-only.

Have some way to destroy the engine #47

Open
z0w0 opened this issue Dec 14, 2013 · 2 comments
Open

Have some way to destroy the engine #47

z0w0 opened this issue Dec 14, 2013 · 2 comments

Comments

@z0w0
Copy link
Owner

z0w0 commented Dec 14, 2013

Currently Helm works like Elm does - there's no way to kill rendering (AFAIK). There needs to be some sort of state sent back as well as the Element objects used for rendering (as well as something like Sound). This state would allow you to signify that the engine should be destroyed.

@pthariensflame
Copy link

It needs to be type-safe, though. We can't just use a Maybe Element or the equivalent; we have to force the user to never do anything after the engine is killed.

@z0w0 z0w0 changed the title Have some way to destroy the engine Have some way to destroy the engine [$15] Jul 21, 2014
@z0w0 z0w0 added the bounty label Jul 21, 2014
@z0w0 z0w0 added this to the 1.0.0 milestone Aug 13, 2014
@z0w0 z0w0 modified the milestones: 1.1.0, 1.0.0 Oct 3, 2016
@z0w0
Copy link
Owner Author

z0w0 commented Oct 3, 2016

Note that this will be quite easy to implement in Helm 1.0. All that's needed is a new quit function that returns a Cmd that stops the engine at the next tick, which will then safely close up resources & is type safe.

@z0w0 z0w0 removed the bounty label May 27, 2017
@z0w0 z0w0 changed the title Have some way to destroy the engine [$15] Have some way to destroy the engine May 27, 2017
@z0w0 z0w0 changed the title Have some way to destroy the engine Have some way to destroy the engine [$15] Jun 2, 2017
@z0w0 z0w0 added the bounty label Jun 2, 2017
@z0w0 z0w0 removed the bounty label Jun 14, 2017
@z0w0 z0w0 changed the title Have some way to destroy the engine [$15] Have some way to destroy the engine Jun 18, 2017
@z0w0 z0w0 changed the title Have some way to destroy the engine Have some way to destroy the engine [$15] Jun 19, 2017
@z0w0 z0w0 added the bounty label Jun 19, 2017
@z0w0 z0w0 changed the title Have some way to destroy the engine [$15] Have some way to destroy the engine Jun 30, 2017
@z0w0 z0w0 removed the bounty label Jun 30, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

3 participants