Author image Gary Jackson

Modules

Identify type-unsafe usage in Perl programs
class for managing the type environment in B::TypeCheck
abstract parent to symbol table types.
Symbol table for pads.
abstract parent to symbol table types.
base type for the type language representation of Devel::TypeCheck
Represents hashes.
Terminal type representing double float numerical values.
Glob type representation
Terminal type representing an IO handle.
Terminal type representing integers.
Type representing scalar values.
Type representing all values.
Type representing Number values.
Type representing arrays.
Terminal type representing strings.
Type representing references.
generic reference type
Interface for types with subtypes.
Generic terminal types.
Methods to inherit for types that allow type variables as subtypes.
Type representing printable values.
Code values (CVs)
Exports utility functions to other TypeCheck modules.

Provides

in lib/B/TypeCheck.pm