NAME
Venus::Assert - Assert Class
ABSTRACT
Assert Class for Perl 5
SYNOPSIS
package main;
use Venus::Assert;
my $assert = Venus::Assert->new('Example');
# $assert->format(float => sub {sprintf('%.2f', $_->value)});
# $assert->accept(float => sub {$_->value > 1});
# $assert->check;
DESCRIPTION
This package provides a mechanism for asserting type constraints and coercions on data.
ATTRIBUTES
This package has the following attributes:
message
message(Str)
This attribute is read-write, accepts (Str)
values, and is optional.
name
name(Str)
This attribute is read-write, accepts (Str)
values, and is optional.
INHERITS
This package inherits behaviors from:
INTEGRATES
This package integrates behaviors from:
METHODS
This package provides the following methods:
accept
accept(Str $name, CodeRef $callback) (Object)
The accept method registers a constraint based on the built-in type or package name provided. Optionally, you can provide a callback to further constrain/validate the provided value, returning truthy or falsy. The built-in types are "array", "boolean", "code", "float", "hash", "number", "object", "regexp", "scalar", "string", or "undef". Any name given that is not a built-in type is assumed to be an "object" of the name provided.
Since 1.40
- accept example 1
-
# given: synopsis package main; $assert = $assert->accept('float'); # bless(..., "Venus::Assert") # ... # $assert->check; # 0 # $assert->check(1.01); # 1
- accept example 2
-
# given: synopsis package main; $assert = $assert->accept('number'); # bless(..., "Venus::Assert") # ... # $assert->check(1.01); # 0 # $assert->check(1_01); # 1
- accept example 3
-
# given: synopsis package Example1; sub new { bless {}; } package Example2; sub new { bless {}; } package main; $assert = $assert->accept('object'); # bless(..., "Venus::Assert") # ... # $assert->check; # 0 # $assert->check(qr//); # 0 # $assert->check(Example1->new); # 1 # $assert->check(Example2->new); # 1
- accept example 4
-
# given: synopsis package Example1; sub new { bless {}; } package Example2; sub new { bless {}; } package main; $assert = $assert->accept('Example1'); # bless(..., "Venus::Assert") # ... # $assert->check; # 0 # $assert->check(qr//); # 0 # $assert->check(Example1->new); # 1 # $assert->check(Example2->new); # 0
any
any() (Assert)
The any method configures the object to accept any value and returns the invocant.
Since 1.40
check
check(Any $data) (Bool)
The check method returns true or false if the data provided passes the registered constraints.
Since 1.23
- check example 1
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $check = $assert->check; # 0
- check example 2
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $check = $assert->check('0.01'); # 0
- check example 3
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $check = $assert->check('1.01'); # 1
- check example 4
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $check = $assert->check(time); # 0
clear
clear() (Assert)
The clear method resets all match conditions for both constraints and coercions and returns the invocant.
Since 1.40
- clear example 1
-
# given: synopsis package main; $assert = $assert->clear; # bless(..., "Venus::Assert")
code
code(CodeRef $check) (Assert)
The code method configures the object to accept code references and returns the invocant.
Since 1.40
- code example 1
-
# given: synopsis package main; $assert = $assert->code; # $assert->check(sub{}); # true
coerce
coerce(Any $data) (Any)
The coerce method returns the coerced data if the data provided matches any of the registered coercions.
Since 1.23
- coerce example 1
-
# given: synopsis package main; $assert->coercion(float => sub { sprintf('%.2f', $_->value) }); my $coerce = $assert->coerce; # undef
- coerce example 2
-
# given: synopsis package main; $assert->coercion(float => sub { sprintf('%.2f', $_->value) }); my $coerce = $assert->coerce('1.01'); # "1.01"
- coerce example 3
-
# given: synopsis package main; $assert->coercion(float => sub { sprintf('%.2f', $_->value) }); my $coerce = $assert->coerce('1.00001'); # "1.00"
- coerce example 4
-
# given: synopsis package main; $assert->coercion(float => sub { sprintf('%.2f', $_->value) }); my $coerce = $assert->coerce('hello world'); # "hello world"
coercion
coercion(Str $type, CodeRef $code) (Object)
The coercion method registers a coercion based on the type provided.
Since 1.23
- coercion example 1
-
# given: synopsis package main; $assert = $assert->coercion(float => sub { sprintf('%.2f', $_->value) }); # bless(..., "Venus::Assert")
coercions
coercions() (Match)
The coercions method returns the registered coercions as a Venus::Match object.
Since 1.23
- coercions example 1
-
# given: synopsis package main; my $coercions = $assert->coercions; # bless(..., "Venus::Match")
conditions
conditions() (Assert)
The conditions method is an object construction hook that allows subclasses to configure the object on construction setting up constraints and coercions and returning the invocant.
Since 1.40
- conditions example 2
-
package Example::Type::PositveNumber; use base 'Venus::Assert'; sub conditions { my ($self) = @_; $self->number(sub { $_->value >= 0 }); return $self; } package main; my $assert = Example::Type::PositveNumber->new; # $assert->check(0); # true # $assert->check(1); # true # $assert->check(-1); # false
constraint
constraint(Str $type, CodeRef $code) (Object)
The constraint method registers a constraint based on the type provided.
Since 1.23
- constraint example 1
-
# given: synopsis package main; $assert = $assert->constraint(float => sub { $_->value > 1 }); # bless(..., "Venus::Assert")
constraints
constraints() (Match)
The constraints method returns the registered constraints as a Venus::Match object.
Since 1.23
- constraints example 1
-
# given: synopsis package main; my $constraints = $assert->constraints; # bless(..., "Venus::Match")
defined
defined(CodeRef $check) (Assert)
The defined method configures the object to accept any value that's not undefined and returns the invocant.
Since 1.40
- defined example 1
-
# given: synopsis package main; $assert = $assert->defined; # $assert->check(0); # true
enum
enum(Any @data) (Assert)
The enum method configures the object to accept any one of the provide options, and returns the invocant.
Since 1.40
- enum example 1
-
# given: synopsis package main; $assert = $assert->enum('s', 'm', 'l', 'xl'); # $assert->check('s'); # true # $assert->check('xs'); # false
float
float(CodeRef $check) (Assert)
The float method configures the object to accept floating-point values and returns the invocant.
Since 1.40
- float example 1
-
# given: synopsis package main; $assert = $assert->float; # $assert->check(1.23); # true
format
format(Str $name, CodeRef $callback) (Object)
The format method registers a coercion based on the built-in type or package name and callback provided. The built-in types are "array", "boolean", "code", "float", "hash", "number", "object", "regexp", "scalar", "string", or "undef". Any name given that is not a built-in type is assumed to be an "object" of the name provided.
Since 1.40
- format example 1
-
# given: synopsis package main; $assert = $assert->format('float', sub{int $_->value}); # bless(..., "Venus::Assert") # ... # $assert->coerce; # undef # $assert->coerce(1.01); # 1
- format example 2
-
# given: synopsis package main; $assert = $assert->format('number', sub{ sprintf('%.2f', $_->value) }); # bless(..., "Venus::Assert") # ... # $assert->coerce(1.01); # 1.01 # $assert->coerce(1_01); # 101.00
- format example 3
-
# given: synopsis package Example1; sub new { bless {}; } package Example2; sub new { bless {}; } package main; $assert = $assert->format('object', sub{ ref $_->value }); # bless(..., "Venus::Assert") # ... # $assert->coerce(qr//); # qr// # $assert->coerce(Example1->new); # "Example1" # $assert->coerce(Example2->new); # "Example2"
- format example 4
-
# given: synopsis package Example1; sub new { bless {}; } package Example2; sub new { bless {}; } package main; $assert = $assert->format('Example1', sub{ ref $_->value }); # bless(..., "Venus::Assert") # ... # $assert->coerce(qr//); # qr// # $assert->coerce(Example1->new); # "Example1" # $assert->coerce(Example2->new); # bless({}, "Example2")
hash
hash(CodeRef $check) (Assert)
The hash method configures the object to accept hash references and returns the invocant.
Since 1.40
- hash example 1
-
# given: synopsis package main; $assert = $assert->hash; # $assert->check({}); # true
identity
identity(Str $name) (Assert)
The identity method configures the object to accept objects of the type specified as the argument, and returns the invocant.
Since 1.40
- identity example 1
-
# given: synopsis package main; $assert = $assert->identity('Venus::Assert'); # $assert->check(Venus::Assert->new); # true
maybe
maybe(Str $type, Any @args) (Assert)
The maybe method configures the object to accept the type provided as an argument, or undef, and returns the invocant.
Since 1.40
- maybe example 1
-
# given: synopsis package main; $assert = $assert->maybe('code'); # $assert->check(sub{}); # true # $assert->check(undef); # true
number
number(CodeRef $check) (Assert)
The number method configures the object to accept numberic values and returns the invocant.
Since 1.40
- number example 1
-
# given: synopsis package main; $assert = $assert->number; # $assert->check(0); # true
object
object(CodeRef $check) (Assert)
The object method configures the object to accept objects and returns the invocant.
Since 1.40
- object example 1
-
# given: synopsis package main; $assert = $assert->object; # $assert->check(bless{}); # true
package
package() (Assert)
The package method configures the object to accept package names (which are loaded) and returns the invocant.
Since 1.40
- package example 1
-
# given: synopsis package main; $assert = $assert->package; # $assert->check(false); # true
reference
reference(CodeRef $check) (Assert)
The reference method configures the object to accept references and returns the invocant.
Since 1.40
- reference example 1
-
# given: synopsis package main; $assert = $assert->reference; # $assert->check(sub{}); # true
regexp
regexp(CodeRef $check) (Assert)
The regexp method configures the object to accept regular expression objects and returns the invocant.
Since 1.40
- regexp example 1
-
# given: synopsis package main; $assert = $assert->regexp; # $assert->check(qr//); # true
routines
routines(Str @names) (Assert)
The routines method configures the object to accept an object having all of the routines provided, and returns the invocant.
Since 1.40
- routines example 1
-
# given: synopsis package main; $assert = $assert->routines('new', 'print', 'say'); # $assert->check(Venus::Assert->new); # true
scalar
scalar(CodeRef $check) (Assert)
The scalar method configures the object to accept scalar references and returns the invocant.
Since 1.40
- scalar example 1
-
# given: synopsis package main; $assert = $assert->scalar; # $assert->check(\1); # true
string
string(CodeRef $check) (Assert)
The string method configures the object to accept string values and returns the invocant.
Since 1.40
- string example 1
-
# given: synopsis package main; $assert = $assert->string; # $assert->check(''); # true
tuple
tuple(Str | ArrayRef[Str] @types) (Assert)
The tuple method configures the object to accept array references which conform to a tuple specification, and returns the invocant.
Since 1.40
- tuple example 1
-
# given: synopsis package main; $assert = $assert->tuple('number', ['maybe', 'array'], 'code'); # $assert->check([200, [], sub{}]); # true
undef
undef(CodeRef $check) (Assert)
The undef method configures the object to accept undefined values and returns the invocant.
Since 1.40
- undef example 1
-
# given: synopsis package main; $assert = $assert->undef; # $assert->check(undef); # true
validate
validate(Any $data) (Any)
The validate method returns the data provided if the data provided passes the registered constraints, or throws an exception.
Since 1.23
- validate example 1
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $result = $assert->validate; # Exception! (isa Venus::Assert::Error)
- validate example 2
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $result = $assert->validate('0.01'); # Exception! (isa Venus::Assert::Error)
- validate example 3
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $result = $assert->validate('1.01'); # "1.01"
- validate example 4
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $result = $assert->validate(time); # Exception! (isa Venus::Assert::Error)
validator
validator() (CodeRef)
The validator method returns a coderef that can be used as a value validator, which returns the data provided if the data provided passes the registered constraints, or throws an exception.
Since 1.40
- validator example 1
-
# given: synopsis package main; $assert->constraint(float => sub { $_->value > 1 }); my $result = $assert->validator; # sub {...}
value
value(CodeRef $check) (Assert)
The value method configures the object to accept defined, non-reference, values, and returns the invocant.
Since 1.40
- value example 1
-
# given: synopsis package main; $assert = $assert->value; # $assert->check(1_000_000); # true
within
within(Str $type) (Assert)
The within method configures the object, registering a constraint action as a sub-match operation, to accept array or hash based values, and returns the invocant.
Since 1.40