0.48 2022-06-11
- Importing types into a class which inherited from another class that had
imported types wouldn't work, leaving the child class with no `t()`
sub. Patch by Kerin Millar.
0.47 2021-01-29
- Change Specio constraint object's stringification overloading to return the
type name rather than the default Perl object stringification, which gives
you something like
"Specio::Constraint::Parameterized=HASH(0x564d258efb48)". Anonymous types
are special cased to return something you can print.
- All types now overload the `eq` comparison operator. Moose expects types to
be comparable in this manner when doing role summation. This fixes a bug
reported by Martin Gruner. GH #18.
0.46 2020-03-14
- No code changes, just fixing a mistake in the POD. Reported by Petr
Pisar. GH #17.
0.45 2019-11-24
- Made XString a prereq if installing with Perl 5.10+.
0.44 2019-08-14
- Replaced the use of B with XString if it is installed. The latter is much
smaller and provides the one subroutine from B we cared about. Based on GH
#15. Implemented by Nicolas R.
0.43 2018-10-26
- Optimized compile-time operations to make Specio itself quicker to
load. Specio's load time is a non-trivial part of the load time of DateTime
(and presumably other things that use it). Based on
https://github.com/houseabsolute/DateTime.pm/issues/85. Reported by
versable.
0.42 2017-11-04
- The Perl library claimed it provided types named LaxVersionStr and
StrictVersionStr but they were really named LaxVersion and
StrictVersion. The names have now been fixed to match the documentation, so
they are LaxVersionStr and StrictVersionStr.
0.41 2017-11-04
- Fixed checks for whether a class is loaded in light of upcoming optimization
in Perl 5.28. Fixed by Sprout (GH #12).
0.40 2017-08-03
- Fixed more bugs with {any,object}_{can,does,isa}_type. When passed a glob
(not a globref) they would die in their type check. On Perl 5.16 or earlier,
passing a number to an any_* type would also die.
- Fixed subification overloading. If Sub::Quote was loaded, this would be
used, but any environment variables needed for the closure would not be
included. This broke enums, among other things.
0.39 2017-08-02
- Many bug fixes and improves to the types created by
{any,object}_{can,does,isa}_type. In some cases, an invalid value could
cause an exception in type check itself. In other cases, a value which
failed a type check would cause an exception when generating a message
describing the failure. These cases have all been fixed.
- The messages describing a failure for all of these types have been improved.
- You can now create anonymous *_does and *_isa types using the exports from
Specio::Declare.
0.38 2017-07-01
- Simplify checks for overloading to not call overload::Overloaded(). Just
checking the return value of overload::Method() is sufficient.
0.37 2017-05-09
- Possible fix for very weird failures seen under threaded Perls with some
modules that use Specio.
0.36 2017-02-19
- Inlined coercions would attempt to coerce for every type which matched the
value given, instead of stopping after the first type. Fixed by Graham Knop
(GH #11).
- Inlined coercions did not include the inline environment variables needed by
the type from which the coercion was being performed. Fixed by Graham Knop
(GH #8).
- When you use the same type repeatedly as coderef (for example, as a
constraint with Moo), it will only generated its subified form once, rather
than regenerating it each time it is de-referenced.
- Added an API to Specio::Subs to allow you to combine type libraries and
helper subs in one package for exporting. See the Specio::Exporter docs for
more details.
0.35 2017-02-12
- Added Specio::Subs, a module which allows you to turn one or more library's
types into subroutines like is_Int() and to_Int().
- Added an inline_coercion method to Specio constraints.
0.34 2017-01-29
- Packages with Specio::Exporter as their parent can now specify additional
arbitrary subs to exporter. See the Specio::Exporter docs for details.
- Importing the same library twice in a given package would throw an
exception. The second attempt to import is now ignored.
- Added an alpha implementation of structured types. See
Specio::Library::Structured for details.
0.33 2017-01-24
- Fixed a mistake in the SYNOPSIS for Specio::Declare. The example for the
*_isa_type helpers was not correct.
- Removed the alpha warning from the docs. This is being used by enough of my
modules on CPAN that I don't plan on doing any big breaking changes without
a deprecation first.
0.32 2017-01-12
- Fixed a bug in the inlining for types create by any_can_type() and
object_can_type(). This inlining mostly worked by accident because of some
List::Util XS magic, but this broke under the debugger. Reported by
Christian Walde (GH #6) and Chan Wilson
(https://github.com/houseabsolute/DateTime.pm/issues/49).
0.31 2016-11-05
- The stack trace contained by Specio::Exception objects no longer includes a
stack frames for the Specio::Exception package.
- Made the inline_environment() and description() methods public on type and
coercion objects.
0.30 2016-10-15
- Fix a bug with the Sub::Quoted sub returned by $type->coercion_sub. If a
type had more than one coercion, the generated sub could end up coercing the
value to undef some of the time. Depending on hash key ordering, this could
end up being a heisenbug that only occured some of the time.
0.29 2016-10-09
- Doc Specio::PartialDump because you may want to use it as part of the
failure message generation code for a type.
0.28 2016-10-02
- Added a Test::Specio module to provide helpers for testing Specio libraries.
- Fixed another bug with a subtype of special types and inlining.
0.27 2016-10-01
- Cloning a type with coercions defined on it would cause an exception.
- Creating a subtype of a special type created by *_isa_type, *_can_type, or
*_does_type, or enum would die when trying to inline the type constraint.
- Removed the never-documented Any type.
- Added documentation for each type in Specio::Library::Builtins.
0.26 2016-09-24
- Require Role::Tiny 1.003003. This should fix the test failures some
CPANTesters reported with this error:
Can't resolve method "???" overloading "&{}" in package
"Specio::Constraint::Simple" at Specio::Constraint::Simple->new line 35.
0.25 2016-09-04
- Calling {any,object}_{isa,does}_type repeatedly in a package with the same
class or role name would die. These subs are now special-cased to simply
return an existing type for the given name when they receive a single
argument (the name of the class or role). This could come up if you had two
attributes both of which required an object of the same type.
0.24 2016-06-20
- Fix a bizarre failure on Perl before 5.14. AFAICT this was a test problem,
not a library problem.
0.23 2016-06-20
- Added intersection types.
0.22 2016-06-18
- Require version.pm 0.83. I know 0.77 doesn't work but I'm not sure exactly
which version fixed the problem, since I cannot install older
versions. Reported by Slaven Rezic. RT #115418.
0.21 2016-06-18
- Don't load Sub::Quote, but use it if it's already loaded. Since Moo uses it,
this should make Specio constraints just work with Moo.
0.20 2016-06-18
- Removed test dependency on namespace::autoclean.
0.19 2016-06-17
- Removed dependency on Devel::PartialDump by making a copy of just the bits
we need. Gross but effective.
0.18 2016-06-15
- Added union types.
- If a subtype's parent could be inlined and the subtype itself did not
specify any additional constraints (inlinable or not), then the subtype was
not being inlined, even though it could be.
- This distro now works with Perl 5.8 (though it was only tested with 5.8.8).
0.17 2016-06-01
- Change "use v5.10" to "use 5.010". The former appears to cause warnings on
older Perls.
0.16 2016-05-30
- Remove use of Class::Load and Module::Runtime.
0.15 2016-05-30
- The Num and Int type now accepts numbers in scientific notation such as 1e10
or -1.2e-5.
- Removed various prereqs that weren't really needed.
- Added three new libraries, Specio::Library::String, ::Numeric, and
::Perl. These provide additional commonly used string and numeric types, as
well as some types related to Perl syntax.
0.14 2016-05-22
- Added an inline_assert method for constraint objects. This makes certain
types of inlining tasks easier.
- Parameterized constraint objects now have a default name based on the parent
type and contained type.
- Rewrote the code used for inlined types so that the generated inline code is
optimized to check the most common cases first.
- Fixed a bug where two enum types could not be inlined together in the same
sub.
0.13 2016-05-15
- Parameterizing a type which generated inline parameterized constraints (like
the ArrayRef and HashRef builtins) now dies if given a parameter which
cannot itself be inlined. Mixing inlinable and non-inlinable constraints
previously caused very confusing errors.
0.12 2015-12-19
- Fixed tests that failed if Moose wasn't installed. Reported by Karen
Etheridge. RT #109247.
0.11 2014-05-27
- Remove a Perl 5.14-ism.
0.10 2014-05-26
- Added Class::Method::Modifiers to prereqs.
- Made Specio classes faster by inlining all accessors and constructors.
- Added support for Moo. Specio constraints now overloading sub-ification so
you can pass them as "isa" values for Moo attributes. Also added a new
$type->coercion_sub() method which returns a sub ref suitable for the
"coerce" value. These all use Sub::Quote so that the returned sub refs can
be inlined.
0.09 2014-05-25
- Reimplemented entirely without Moose. This module now implements its own
half-assed (really, more like eighth-assed) OO system.
* TODO: Integrate cleanly with Moo and Moose.
* TODO: Improve the internal OO system to do some eighth-assed inlining so
creating type objects is faster.
0.08 2013-06-08
- Removed the use of the encoding pragma from the tests. This pragma is
deprecated in 5.18.
0.07 2013-03-03
- Disabled the tests that rely on an as-yet-unreleased Moose. These were
mostly disabled but some cpan testers boxes were set up in a way that made
them run.
0.06 2013-03-02
- Renamed Type to Specio.
0.05 2012-10-14
- This module didn't really need XS. It turns out that 5.10 added
re::is_regexp() so we can use that instead. Thanks to Jesse Luehrs for
pointing this out.
0.04 2012-09-30
- Added any_does_type and object_does_type declaration helpers. These check
whether a class and/or object does a given role. They work with Moose,
Mouse, and Role::Tiny.
- Fixed implementation of any_isa_type and object_isa_type to match docs. If
given more than one argument, the docs said they expected named parameters
but internally the code expected positional parameters.
0.03 2012-09-30
- Various hacks to make Specio::Constraint objects play nice with Moose. Needs
changes to Moose to work properly, however.
- The message generator sub is no longer called as a method. It is called as a
sub so it doesn't receive the type as an argument.
- The inline environment variable names used for each type are now
unique. This means that types will not step on each other if you want to
inline more than one type check in the same scope.
- Non-inlined type coercions were completely broken.
- Added $type->is_same_type_as and $type->is_a_type_of methods.
- The Maybe type was a subtype of Ref in the code, which is wrong. It is now a
subtype of Item.
- This module now explicitly requires Perl 5.10.
0.02 2012-05-14
- Now with lots more documentation, but this is still very alpha. Feedback
from potential users is welcome.
0.01 2012-05-13
- First release upon an unsuspecting world. This is very alpha and subject to
change. I'm mostly releasing it to get some feedback on the design. Do not
use this in your code yet, unless you promise not to complain about the lack
of docs or the fact that the next release breaks your code.