cosas v0.10.1

• #125: Reverted explicit Union type member binding in AnyKList.
  This change was introduced in #122 and was supposed not to affect anything.
  It didn't break tests (with the latest Scala versions), but it introduced
  problems in a dependent library. So this release reverts the chanege to
  avoid regression.

cosas v0.10.0

• #122: Set Union type member in AnyKList explicitly (shouldn't change anything on the newest versions of Scala)
• #123: Fixed AnyKList.fromList implementation (it changed the order of elements)
• #124: Added hasKey/hasNoKey type aliases for the record types

cosas v0.9.0

• #114: Added any/all for building predicates on KLists
• #115: AnyDenotation doesn't extend Any anymore
• #116: Fixed non-working TypesBound in the product type
• #120: Updated the project and set default Scala version to 2.12.3 (2.11 is still supported)

cosas v0.8.0

This release introduces breaking changes basically everywhere. The good part: it is the first step towards cosas 1.0, and we don't expect the API to change much. An executive summary:

1. Dependent functions which can be parametric and composed. All operations are implemented as dependent functions. They can wrap std FunctionXs.
2. KLists as heterogeneous lists with a bound on the their types, covariant on both element types and bound. They are now a basic building block of the library. Interoperable with std Lists. Support for basic dependently typed operations on them: foldLeft and foldRight, map, etc. Common functions on KLists implemented in terms of these combinators.
3. Types include now product and function types. Records are wrappers over product types with no duplicate elements. Denotations are covariant on the value. Removed subset types.
4. code reorg there are now separate packages instead of objects
5. test coverage is almost 100% now. Set up codacy and scoverage.
6. drop Scala 2.10 due to the amazing amount of workarounds needed, and 2.12 being already in milestone stage.
7. drop shapeless dependency cosas is now dependency-free.

cosas v0.7.1

This is a bugfix release. It contains a fix for #63: ambiguous implicits when parsing/serializing properties.

cosas v0.7.0

The main changes in this release are

• remove property holders and related abstractions
• better parsing and serialization support for typesets of denotations (including records)
• better support for invariant equality
• reducing dependencies

Highlights are #50, #53, #55, #56, #48.

cosas v0.6.0

This release is a first step towards a more stable API. Additions/improvements:

• type-level functions
• type equality witness style
• simplify properties and records

I promise I will write better release notes in the future :)

type-sets v0.5.0

This is a release for the Dynamograph project. Some of the major changes:

• Moved ops to a separate folder and added new ones:
  • Added Pop which is the same as Lookup, but removes the element from the set
  • Added Choose which chooses (projects) a subset of a given type
  • Added Reorder which is same as Choose, but for equivalent sets
  • Renamed Union and Subtract
  • Union unicode symbol (\cup)
• Added construction for bounding type-set by a type-union (every element is one of ...)
• Migrated records and props from scarph and tabula

type-sets v0.4.0

• Migrated to the stable release of shapless-2.0;
• Cross-compiling and publishing for scala 2.10/2.11;
• Added simple conversion to HList and to the usual List;
• Added set mapper (it requires that the return type is also a type-set);
• Added mappers to HList and to the usual List;
• Added constrant on the Lookup type;
• Breaking change: removed implicit conversion for an one-element set;

type-sets v0.3.2

• Bugfix in the sets "type-equivalence" ~ — it was comparing first argument with itself
• Added annotations.implicitNotFound, where it may be useful — better error messages