lib/DX/PropositionSequence.pm

   1 package DX::PropositionSequence;
   2
   3 use Types::Standard qw(ArrayRef);
   4 use DX::Class;
   5
   6 has members => (is => 'ro', isa => ArrayRef[Proposition], required => 1);
   7
   8 sub new_empty {
   9   shift->new(members => []);
  10 }
  11
  12 sub but_append_proposition {
  13   my ($self, $prop) = @_;
  14   $self->but(members => [ @{$self->members}, $prop ]);
  15 }
  16
  17 1;