The Elm Architecture in Redux, statically checked using flow

Atempt to be as close as possible to Elm Architecutre in means of composition and static typing, and not lose Redux good parts (devtools) in the process.

Static typing

Following parts are statically type checked with flow:

1. init and update functions input and result

2. view props

3. action creation, both on view events and effects results (tagged action creation is also checked, when composing views and effects). This is achieved with disjoint union

4. action type exhaustiveness checking

Effect handling

Slight variation implemented on top of redux-loop, so it can be statically type-checked.

Devtools

Full hot reload and time travel compatibility. Keeping it that way is of high priority

TODO: Tagged actions pretty print

How to use?

Please check the famous Elm nesting examples