Search results for "module:Specio::Constraint::Simple"
Specio::Constraint::Simple - Class for simple (non-parameterized or specialized) types
This class implements simple type constraints, constraints without special properties or parameterization. It does not actually contain any real code of its own. The entire implementation is provided by the Specio::Constraint::Role::Interface role, b...
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio - Type constraints and coercions for Perl
The "Specio" distribution provides classes for representing type constraints and coercion, along with syntax sugar for declaring them. Note that this is not a proper type system for Perl. Nothing in this distribution will magically make the Perl inte...
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Coercion - A class representing a coercion from one type to another
This class represents a coercion from one type to another. Internally, a coercion is a piece of code that takes a value of one type returns a new value of a new type. For example, a coercion from c<Num> to "Int" might round a number to its nearest in...
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Enum - A class for constraints which require a string matching one of a set of values
This is a specialized type constraint class for types which require a string that matches one of a list of values....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Union - A class for union constraints
This is a specialized type constraint class for unions, which will allow a value which matches any one of several distinct types....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::AnyIsa - A class for constraints which require a class name or an object that inherit from a specific class
This is a specialized type constraint class for types which require a class name or an object that inherit from a specific class....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::AnyCan - A class for constraints which require a class name or object with a set of methods
This is a specialized type constraint class for types which require a class name or object with a defined set of methods....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::AnyDoes - A class for constraints which require a class name or an object that does a specific role
This is a specialized type constraint class for types which require a class name or an object that does a specific role....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::ObjectIsa - A class for constraints which require an object that inherits from a specific class
This is a specialized type constraint class for types which require an object that inherits from a specific class....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::ObjectCan - A class for constraints which require an object with a set of methods
This is a specialized type constraint class for types which require an object with a defined set of methods....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::ObjectDoes - A class for constraints which require an object that does a specific role
This is a specialized type constraint class for types which require an object that does a specific role....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Structured - A class which represents structured constraints
This class implements the API for structured types....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Structurable - A class which represents structurable constraints
This class implements the API for structurable types like "Dict", "Map"< and "Tuple"....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Intersection - A class for intersection constraints
This is a specialized type constraint class for intersections, which will allow a value which matches each one of several distinct types....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Parameterized - A class which represents parameterized constraints
This class implements the API for parameterized types....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Parameterizable - A class which represents parameterizable constraints
This class implements the API for parameterizable types like "ArrayRef" and "Maybe"....
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC
Specio::Constraint::Role::Interface - The interface all type constraints should provide
This role defines the interface that all type constraints must provide, and provides most (or all) of the implementation. The Specio::Constraint::Simple class simply consumes this role and provides no additional code. Other constraint classes add fea...
DROLSKY/Specio-0.48 - 11 Jun 2022 16:32:27 UTC