5.2.0

Dependencies

• use algaeff 2.0.0 (#123) (e1f9f19)

Features

• Scope: add get_visible (#119) (719dac7)

5.1.0

Features

• add {Modifier,Scope}.register_printer for printing unhandled effects (#117) (189f8e3)

5.0.2

This is a minor update that uses the new infix operators introduced in bwd 2.2.0 internally. No APIs were changed.

5.0.1

This version involves breaking changes to the API. Note: please skip the bad version 5.0.0.

Bug Fixes

• Scope: hide the internal Modifier completely (#109) (6e3ca4e)

Features

• Language: add the abbreviation id = seq [] (#106) (12ffa87)
• Scope: added import_singleton (#105) (c12f9c5)
• Scope: many operations now take optional modifiers (#108) (8c1ded9)

BREAKING CHANGES

All breaking changes come with type changes. That is, if OCaml is still happy with your code that worked with 4.0.0, your code will work with 5.0.0.

• Scope.Make is taking only one module with the type parameters, not also a module implementing Modifier.S. That is, you should change the code

  module Modifier = Yuujinchou.Modifier.Make(Param)
  module Scope = Yuujinchou.Scope.Make(Param)(Modifier)

  to just the following line

  module Scope = Yuujinchou.Scope.Make(Param)

• Scope.S.modify is removed; instead, many operations now take optional modifiers (#108) (8c1ded9)

• Language.any is renamed to Language.all (#107) (313f616)

• If you have been passing contexts to operations in Scope.S, the labels for optional context arguments might have been adjusted for uniformity. Previously, some context arguments were named context, but now they are uniformly named as conetext_visible, context_export, or context_modifier depending on their usage.

4.0.0

Features

• register printers for yuujinchou effects (#102) (3b89480)
• Scope: parametrize Scope.Make by a modifier (#98) (4a2f3ef)
• Trie: add Trie.untag (4671c83)
• Trie: add type alias untagged (031ac7a)

BREAKING CHANGES

• break the functor Run into Run and TryWith (#97) (3ac136c)
• use labelled arguments instead of functors (#99) (256b5e7)

3.1.0

BREAKING CHANGES

• Use modules instead of records to pass effect handlers (#94)

3.0.0

BREAKING CHANGES

Complete redesign and rewrite of the library.

2.0.0

Bug Fixes

• action: pass rev_prefix to the final union (#58) (000df38)

Code Refactoring

• trie: drop almost all requirements of physical equality (#54) (262e1be)

Features

• action: monadic union (#57) (6a95ace)
• trie: monadic updates with Stdlib.result (#55) (b2e783b)

BREAKING CHANGES

• action: run and run_with_hooks now take a monadic merger
• trie: drop all *_endo functions and physical equality requirements

1.0.0

Version 1.0.0

0.10.0

This is the last release before the major rewrite. It includes many bugfixes since version 0.9.