Type-Tiny

Changes for version 0.000_10 - 2013-04-09

(Addition) Bundle benchmarking scripts.
(Documentation) Fill in the Usage with Moose section of the fine manual.
(Packaging) Tidy up the 'examples' directory.
(Packaging) When generating Moose/Mouse constraints from Type::Tiny objects, prefer to generate anonymous ones.

(Addition) Types::TypeTiny::to_TypeTiny can be used to coerce a Moose type constraint object to Type::Tiny.
Most parts of the API that accept Type::Tiny objects (e.g. Type::Utils::from()) now also accept Moose::Meta::TypeConstraint objects.
Rewrite most of the functions exported by Type::Library-based type libraries to cope better with being used mid-list.

(Addition) Type::Coercion::Union - automatically handles coercion to union types.
(Bugfix) Fix inlining for Type::Tiny::Intersection.
(Bugfix) Fix inlining of certain conditionals into coercion code.
(Bugfix) Types within libraries, if accessed directly rather than exported, did not accept parameters.
(Documentation) Document constructor for Type::Tiny::Class.
(Packaging) More test cases.

(Addition) In Moo, type assertions and coercions are now inlined.
(Addition) Monkey patch Moose::Meta::TypeConstraint to be able to retrieve Type::Tiny constraints from inflated Moose constraints.
(Addition) Type::Tiny now has an 'inline_assert' function.
(Documentation) Improved documentation of parameterization attributes.
(Documentation) Section in manual comparing Type::Tiny with various other type library frameworks.
(Documentation) Using Type::Tiny with Moo added to manual.
(Packaging) More test cases.
Footprint reduction: Type::Tiny and Type::Coercion no longer use if.pm.
Footprint reduction: Type::Tiny no longer triggers Perl to load its Unicode tables (unless you create a type constraint with a non-ASCII type name).
Footprint reduction: Type::Tiny, Type::Library and Type::Coerce no longer automatically load Types::Standard and Type::Utils.

(Addition) Factor out some functions from test suite into a new module: Test::TypeTiny.
(Bugfix) Fix is_parameterized.
(Bugfix) Get Mouse coercions working.
(Packaging) Rearrange test suite slightly.
Allow null type constraints with no parent type (e.g. 'Any' in Types::Standard) to be inlined.
Don't die with full stack trace.
Rename Type::Standard module to Types::Standard.
Sanity checks for type constraint names.
Types::TypeTiny bootstrapping library now takes care of vaious internal type checking requirements.

(Addition) Finally implement Type::Coercion's has_coercion_for_type method.
(Addition) Type::Tiny equals/is_subtype_of/is_supertype_of/is_a_type_of methods for type constraint comparisons.
(Addition) Type::Tiny plus_coercions/minus_coercions/no_coercions methods for creating subtypes with different sets of coercions.
Allow coercion code to be expressed as a string; quite a bit faster.
Create and use compiled coercions; somewhat faster.

(Addition) Inlined type constraints for all of Type::Standard.
(Addition) Test cases for ScalarRef[`a].
(Bugfix) Fix the crashing t/moo-inflation.t test case.
(Documentation) Document Type::Coercion's overloading.
Create and use compiled type constraint checks; much faster!
Make sure Type::Standard's Moose-like built-ins get inflated to real Moose built-in types.
Use more unique stringification for %Moo::HandleMoose::TYPE_MAP keys.