Search results for "dist:Devel-TypeCheck KAPPA"
Devel::TypeCheck::Type::Kappa - Type representing scalar values.
Kappa represents scalar values. The underlying subtype can be a variable, to represent a generic scalar, or an Upsilon or Rho type to represent a "printable" type and a reference, respectively. Inherits from Devel::TypeCheck::Type::TSub and Devel::Ty...
BARGLE/Devel-TypeCheck-1.2.2 - 12 Apr 2006 19:57:22 UTC
Devel::TypeCheck::Type::Mu - Type representing all values.
Mu rpresents all values. The underlying subtype can be a CV or IO terminal type, or an Eta (Glob), Kappa (Scalar), Omicron (Array), or Chi (Hash). No type variables are allowed directly below Mu. Inherits from Devel::TypeCheck::Type::TSub and Devel::...
BARGLE/Devel-TypeCheck-1.2.2 - 12 Apr 2006 19:57:22 UTC
Devel::TypeCheck::Environment - class for managing the type environment in B::TypeCheck
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...
BARGLE/Devel-TypeCheck-1.2.2 - 12 Apr 2006 19:57:22 UTC