All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
- even more documentation
- WriterHandler now applies in general to every Writer, fixing the previous too restrictive typeparameter matching.
- Extensive Documentation
WriterHandlernow usesneutralas the default accumulator, which is strictly more general than the previousOption()eff_pureforWriteris now defaulting toTypeClasses.pureeff_autohandleris no longer overwritten forWriter, defaulting to the genericWriterwhich is now possible as since TypeClasses 1.1.0,pure(Writer, value)is more generic.- internals:
Eff.valueis renamed toEff.effectfulfor better distinction between effect level and value level.Effis an internal type and was not part of the external API, so this is not breaking.
- the final state of
StateHandleris now handled correctly
- WriterHandler has now a default accumulator,
Option(). - reexporting all DataTypes (from DataTypesBasic.jl and TypeClasses.jl)
- support for
Vectoris now generalized toAbstractVector - added support for
AbstractDictionaryfrom theDictionariespackage
noeffectwhen given anEff, now passes it through unwrapped, just likeeffect.
EffandContinuationare no longer exported, they are now considered internal details.
- CI/CD pipeline
- Minimal Docs using Documenter
- Codecovering
- TagBot & CompatHelper
- License
- parts from the README went to the docs
initial release
- core implementation of extensible effects
- handlers for all DataTypes from DataTypesBasics, including ContextManager
- handlers for Task, Future, Vector, State, Writer