Devel::TypeCheck::Type::Var - Type variable.
use Devel::TypeCheck::Type::Var;
Var represents type variables. When instantiated, a Var is unbound in the type environment. After unification, a Var might be bound to a complete and fully qualified type, or to another type variable.
Inherits from Devel::TypeCheck::Type::Type.
Return the immediate parent of this type in the union-find data structure.
Set the parent for this instance in the union-find data structure.
Gary Jackson, <bargle at umiacs.umd.edu>
<bargle at umiacs.umd.edu>
This version is specific to Perl 5.8.1. It may work with other versions that have the same opcode list and structure, but this is entirely untested. It definitely will not work if those parameters change.
Please report any bugs or feature requests to bug-devel-typecheck at rt.cpan.org, or through the web interface at http://rt.cpan.org/NoAuth/ReportBug.html?Queue=Devel-TypeCheck. I will be notified, and then you'll automatically be notified of progress on your bug as I make changes.
bug-devel-typecheck at rt.cpan.org
Copyright 2005 Gary Jackson, all rights reserved.
This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
To install Devel::TypeCheck, copy and paste the appropriate command in to your terminal.
cpanm
cpanm Devel::TypeCheck
CPAN shell
perl -MCPAN -e shell install Devel::TypeCheck
For more information on module installation, please visit the detailed CPAN module installation guide.