Gecko [ www.thearyasamaj.org ]

Name	Size	Permission
Role	[ DIR ]	drwxr-xr-x
AnyCan.pm	3.71 KB	-rw-r--r--
AnyDoes.pm	3.02 KB	-rw-r--r--
AnyIsa.pm	3.21 KB	-rw-r--r--
Enum.pm	3.25 KB	-rw-r--r--
Intersection.pm	4.2 KB	-rw-r--r--
ObjectCan.pm	2.94 KB	-rw-r--r--
ObjectDoes.pm	2.61 KB	-rw-r--r--
ObjectIsa.pm	2.62 KB	-rw-r--r--
Parameterizable.pm	5.59 KB	-rw-r--r--
Parameterized.pm	3.24 KB	-rw-r--r--
Simple.pm	10.55 KB	-rw-r--r--
Structurable.pm	7.34 KB	-rw-r--r--
Structured.pm	2.77 KB	-rw-r--r--
Union.pm	4.15 KB	-rw-r--r--

Code Editor : Structured.pm

package Specio::Constraint::Structured;

use strict;
use warnings;

our $VERSION = '0.42';

use List::Util qw( all );
use Role::Tiny::With;
use Specio::OO;
use Specio::TypeChecks qw( does_role );
use Storable qw( dclone );

use Specio::Constraint::Role::Interface;
with 'Specio::Constraint::Role::Interface';

{
    ## no critic (Subroutines::ProtectPrivateSubs)
    my $attrs = dclone( Specio::Constraint::Role::Interface::_attrs() );
    ## use critic

$attrs->{parent}{isa}      = 'Specio::Constraint::Structurable';
    $attrs->{parent}{required} = 1;

$attrs->{parameters} = {
        isa      => 'HashRef',
        required => 1,
    };

## no critic (Subroutines::ProhibitUnusedPrivateSubroutines)
    sub _attrs {
        return $attrs;
    }
}

sub can_be_inlined {
    my $self = shift;
    return $self->_has_inline_generator;
}

__PACKAGE__->_ooify;

# ABSTRACT: A class which represents structured constraints

__END__

=pod

=encoding UTF-8

=head1 NAME

Specio::Constraint::Structured - A class which represents structured constraints

=head1 VERSION

version 0.42

=head1 SYNOPSIS

my $tuple = t('Tuple');

my $tuple_of_str_int = $tuple->parameterize( of => [ t('Str'), t('Int') ] );

my $parent = $tuple_of_str_int->parent; # returns Tuple
    my $parameters = $arrayref_of_int->parameters; # returns { of => [ t('Str'), t('Int') ] }

=head1 DESCRIPTION

This class implements the API for structured types.

=for Pod::Coverage can_be_inlined type_parameter

=head1 API

This class implements the same API as L<Specio::Constraint::Simple>, with a few
additions.

=head2 Specio::Constraint::Structured->new(...)

This class's constructor accepts two additional parameters:

=over 4

=item * parent

This should be the L<Specio::Constraint::Structurable> object from which this
object was created.

This parameter is required.

=item * parameters

This is the hashref of parameters for the structured type. These are the
parameters returned by the C<Structurable> type's
C<parameterization_args_builder>. The exact form of this hashref will vary for
each structured type.

This parameter is required.

=back

=head2 $type->parameters

Returns the hashref that was passed to the constructor.

=head1 SUPPORT

Bugs may be submitted at L<https://github.com/houseabsolute/Specio/issues>.

I am also usually active on IRC as 'autarch' on C<irc://irc.perl.org>.

=head1 SOURCE

The source code repository for Specio can be found at L<https://github.com/houseabsolute/Specio>.

=head1 AUTHOR

Dave Rolsky <autarch@urth.org>

=head1 COPYRIGHT AND LICENSE

This is free software, licensed under:

The Artistic License 2.0 (GPL Compatible)

The full text of the license can be found in the
F<LICENSE> file included with this distribution.

=cut

${this.title}

Code Editor : Structured.pm