Devel::TypeCheck::Environment - class for managing the type environment in B::TypeCheck
Objects of this type are instantiated with the <new> method.
The data structure is essentially a linked list from Mu at the head of the list to terminal or variable types at the end. Thus, most of the functions defined here support that by relaying the request to the subtype member (the next link in the linked list) instead of actually doing anything themselves.
Create a new type environment.
Create a new type variable in the context of the environment. This is so we can find unbound type variables later.
Return a fully qualified incomplete Kappa instance
Return a fully qualified incomplete Eta instance
Return a fully qualified incomplete Nu instance
Return a fully qualified incomplete Rho instance
Return a fuly qualified incomplete Upsilon instance
Return a fully qualified incomplete Zeta instance
Encapsulate something in a fully qualified reference
Encapsulate something in a fully qualified glob
Generate a fully quialified incomplete Omicron instance.
Generate a fully qualified Omicron instance with the given type as the homogeneous type.
Create a new tuple-type list given a list of types.
Generate a fully qualified incomplete Chi instance
Generate a homogeneous Chi type with the given subtype as the homogeneous type.
Generate a Zeta type with the given params and return value.
Unify the two given types. If unsuccessful, this returns undef.
Find the representative element of the set that <$elt> belongs to.
For fully qualified types that end in a terminal,
this is themselves.
Gary Jackson,
<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.
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.
