GitLab

Moved everything from iTasks.API.Core.* except for some leftover types and derives in iTasks.API.Core.Types that should be distributed over other modules once everything has been moved.

upgraded to leaflet 1.1.0

Closes #136

See merge request !54

Leaflet map: added strictness annotations to 'forall' function, to solve recursi…

Closes #135

See merge request !53

Leaflet map: added strictness annotations to 'forall' function, to solve recursion limit problems on client

change Tm helper functions to match new format in platform from MR …

Closes #110

See merge request !52

change Tm helper functions to match new format in platform from MR clean-and-itasks/clean-platform#!47

Resolve "extend leaflet maps with popups"

Closes #133

See merge request !50

Resolve "store task reducts using copy_to/from_string instead of JSON"

Closes #130

See merge request !48

set `gEq{|(->)|}` to False since they should never be equal

See merge request !51

added missing itasks.Data.beforeRemove

Closes #131

See merge request !47

copy_to_string comparison is unneeded and just takes time

Renamed package name iTasks.TOP to iTasks.WF to emphasize workflow specification is only part of TOP

added generic cached store function to avoid code duplication between cachedJSONFileStore & cachedDynamicStringFileStorage

added cached store using dynamic string encoding & store information about running task instances (reduct, ...) using such stores

This improves separation of concerns and makes the library easier to navigate.

Added checking the compilation of the example applications to the testbench to easier check the code while reorganising the modules.

Resolve "Specialized JSON encoder/decoder for Editlets"

Closes #126

See merge request !46

Completed the specialized encoding of values from server-> client in editlets. Using the generic functions for decoding json objects on the client is no longer necessary.

Dynamic store that writes the store as a dynamic

See merge request !45