local-lib5/man/man3/MooseX::Types.3pm

   1 .\" Automatically generated by Pod::Man v1.37, Pod::Parser v1.3
   2 .\"
   3 .\" Standard preamble:
   4 .\" ========================================================================
   5 .de Sh \" Subsection heading
   6 .br
   7 .if t .Sp
   8 .ne 5
   9 .PP
  10 \fB\\$1\fR
  11 .PP
  12 ..
  13 .de Sp \" Vertical space (when we can't use .PP)
  14 .if t .sp .5v
  15 .if n .sp
  16 ..
  17 .de Vb \" Begin verbatim text
  18 .ft CW
  19 .nf
  20 .ne \\$1
  21 ..
  22 .de Ve \" End verbatim text
  23 .ft R
  24 .fi
  25 ..
  26 .\" Set up some character translations and predefined strings.  \*(-- will
  27 .\" give an unbreakable dash, \*(PI will give pi, \*(L" will give a left
  28 .\" double quote, and \*(R" will give a right double quote.  | will give a
  29 .\" real vertical bar.  \*(C+ will give a nicer C++.  Capital omega is used to
  30 .\" do unbreakable dashes and therefore won't be available.  \*(C` and \*(C'
  31 .\" expand to `' in nroff, nothing in troff, for use with C<>.
  32 .tr \(*W-|\(bv\*(Tr
  33 .ds C+ C\v'-.1v'\h'-1p'\s-2+\h'-1p'+\s0\v'.1v'\h'-1p'
  34 .ie n \{\
  35 .    ds -- \(*W-
  36 .    ds PI pi
  37 .    if (\n(.H=4u)&(1m=24u) .ds -- \(*W\h'-12u'\(*W\h'-12u'-\" diablo 10 pitch
  38 .    if (\n(.H=4u)&(1m=20u) .ds -- \(*W\h'-12u'\(*W\h'-8u'-\"  diablo 12 pitch
  39 .    ds L" ""
  40 .    ds R" ""
  41 .    ds C` ""
  42 .    ds C' ""
  43 'br\}
  44 .el\{\
  45 .    ds -- \|\(em\|
  46 .    ds PI \(*p
  47 .    ds L" ``
  48 .    ds R" ''
  49 'br\}
  50 .\"
  51 .\" If the F register is turned on, we'll generate index entries on stderr for
  52 .\" titles (.TH), headers (.SH), subsections (.Sh), items (.Ip), and index
  53 .\" entries marked with X<> in POD.  Of course, you'll have to process the
  54 .\" output yourself in some meaningful fashion.
  55 .if \nF \{\
  56 .    de IX
  57 .    tm Index:\\$1\t\\n%\t"\\$2"
  58 ..
  59 .    nr % 0
  60 .    rr F
  61 .\}
  62 .\"
  63 .\" For nroff, turn off justification.  Always turn off hyphenation; it makes
  64 .\" way too many mistakes in technical documents.
  65 .hy 0
  66 .if n .na
  67 .\"
  68 .\" Accent mark definitions (@(#)ms.acc 1.5 88/02/08 SMI; from UCB 4.2).
  69 .\" Fear.  Run.  Save yourself.  No user-serviceable parts.
  70 .    \" fudge factors for nroff and troff
  71 .if n \{\
  72 .    ds #H 0
  73 .    ds #V .8m
  74 .    ds #F .3m
  75 .    ds #[ \f1
  76 .    ds #] \fP
  77 .\}
  78 .if t \{\
  79 .    ds #H ((1u-(\\\\n(.fu%2u))*.13m)
  80 .    ds #V .6m
  81 .    ds #F 0
  82 .    ds #[ \&
  83 .    ds #] \&
  84 .\}
  85 .    \" simple accents for nroff and troff
  86 .if n \{\
  87 .    ds ' \&
  88 .    ds ` \&
  89 .    ds ^ \&
  90 .    ds , \&
  91 .    ds ~ ~
  92 .    ds /
  93 .\}
  94 .if t \{\
  95 .    ds ' \\k:\h'-(\\n(.wu*8/10-\*(#H)'\'\h"|\\n:u"
  96 .    ds ` \\k:\h'-(\\n(.wu*8/10-\*(#H)'\`\h'|\\n:u'
  97 .    ds ^ \\k:\h'-(\\n(.wu*10/11-\*(#H)'^\h'|\\n:u'
  98 .    ds , \\k:\h'-(\\n(.wu*8/10)',\h'|\\n:u'
  99 .    ds ~ \\k:\h'-(\\n(.wu-\*(#H-.1m)'~\h'|\\n:u'
 100 .    ds / \\k:\h'-(\\n(.wu*8/10-\*(#H)'\z\(sl\h'|\\n:u'
 101 .\}
 102 .    \" troff and (daisy-wheel) nroff accents
 103 .ds : \\k:\h'-(\\n(.wu*8/10-\*(#H+.1m+\*(#F)'\v'-\*(#V'\z.\h'.2m+\*(#F'.\h'|\\n:u'\v'\*(#V'
 104 .ds 8 \h'\*(#H'\(*b\h'-\*(#H'
 105 .ds o \\k:\h'-(\\n(.wu+\w'\(de'u-\*(#H)/2u'\v'-.3n'\*(#[\z\(de\v'.3n'\h'|\\n:u'\*(#]
 106 .ds d- \h'\*(#H'\(pd\h'-\w'~'u'\v'-.25m'\f2\(hy\fP\v'.25m'\h'-\*(#H'
 107 .ds D- D\\k:\h'-\w'D'u'\v'-.11m'\z\(hy\v'.11m'\h'|\\n:u'
 108 .ds th \*(#[\v'.3m'\s+1I\s-1\v'-.3m'\h'-(\w'I'u*2/3)'\s-1o\s+1\*(#]
 109 .ds Th \*(#[\s+2I\s-2\h'-\w'I'u*3/5'\v'-.3m'o\v'.3m'\*(#]
 110 .ds ae a\h'-(\w'a'u*4/10)'e
 111 .ds Ae A\h'-(\w'A'u*4/10)'E
 112 .    \" corrections for vroff
 113 .if v .ds ~ \\k:\h'-(\\n(.wu*9/10-\*(#H)'\s-2\u~\d\s+2\h'|\\n:u'
 114 .if v .ds ^ \\k:\h'-(\\n(.wu*10/11-\*(#H)'\v'-.4m'^\v'.4m'\h'|\\n:u'
 115 .    \" for low resolution devices (crt and lpr)
 116 .if \n(.H>23 .if \n(.V>19 \
 117 \{\
 118 .    ds : e
 119 .    ds 8 ss
 120 .    ds o a
 121 .    ds d- d\h'-1'\(ga
 122 .    ds D- D\h'-1'\(hy
 123 .    ds th \o'bp'
 124 .    ds Th \o'LP'
 125 .    ds ae ae
 126 .    ds Ae AE
 127 .\}
 128 .rm #[ #] #H #V #F C
 129 .\" ========================================================================
 130 .\"
 131 .IX Title "MooseX::Types 3"
 132 .TH MooseX::Types 3 "2009-09-11" "perl v5.8.7" "User Contributed Perl Documentation"
 133 .SH "NAME"
 134 MooseX::Types \- Organise your Moose types in libraries
 135 .SH "SYNOPSIS"
 136 .IX Header "SYNOPSIS"
 137 .Sh "Library Definition"
 138 .IX Subsection "Library Definition"
 139 .Vb 1
 140 \&  package MyLibrary;
 141 .Ve
 142 .PP
 143 .Vb 8
 144 \&  # predeclare our own types
 145 \&  use MooseX::Types
 146 \&    \-declare => [qw(
 147 \&        PositiveInt NegativeInt
 148 \&        ArrayRefOfPositiveInt ArrayRefOfAtLeastThreeNegativeInts
 149 \&        LotsOfInnerConstraints StrOrArrayRef
 150 \&        MyDateTime
 151 \&    )];
 152 .Ve
 153 .PP
 154 .Vb 2
 155 \&  # import builtin types
 156 \&  use MooseX::Types::Moose qw/Int HashRef/;
 157 .Ve
 158 .PP
 159 .Vb 5
 160 \&  # type definition.
 161 \&  subtype PositiveInt,
 162 \&      as Int,
 163 \&      where { $_ > 0 },
 164 \&      message { "Int is not larger than 0" };
 165 .Ve
 166 .PP
 167 .Vb 4
 168 \&  subtype NegativeInt,
 169 \&      as Int,
 170 \&      where { $_ < 0 },
 171 \&      message { "Int is not smaller than 0" };
 172 .Ve
 173 .PP
 174 .Vb 4
 175 \&  # type coercion
 176 \&  coerce PositiveInt,
 177 \&      from Int,
 178 \&          via { 1 };
 179 .Ve
 180 .PP
 181 .Vb 1
 182 \&  # with parameterized constraints.
 183 .Ve
 184 .PP
 185 .Vb 2
 186 \&  subtype ArrayRefOfPositiveInt,
 187 \&    as ArrayRef[PositiveInt];
 188 .Ve
 189 .PP
 190 .Vb 3
 191 \&  subtype ArrayRefOfAtLeastThreeNegativeInts,
 192 \&    as ArrayRef[NegativeInt],
 193 \&    where { scalar(@$_) > 2 };
 194 .Ve
 195 .PP
 196 .Vb 2
 197 \&  subtype LotsOfInnerConstraints,
 198 \&    as ArrayRef[ArrayRef[HashRef[Int]]];
 199 .Ve
 200 .PP
 201 .Vb 1
 202 \&  # with TypeConstraint Unions
 203 .Ve
 204 .PP
 205 .Vb 2
 206 \&  subtype StrOrArrayRef,
 207 \&    as Str|ArrayRef;
 208 .Ve
 209 .PP
 210 .Vb 1
 211 \&  # class types
 212 .Ve
 213 .PP
 214 .Vb 1
 215 \&  class_type 'DateTime';
 216 .Ve
 217 .PP
 218 .Vb 1
 219 \&  # or better
 220 .Ve
 221 .PP
 222 .Vb 1
 223 \&  class_type MyDateTime, { class => 'DateTime' };
 224 .Ve
 225 .PP
 226 .Vb 3
 227 \&  coerce MyDateTime,
 228 \&    from HashRef,
 229 \&    via { DateTime\->new(%$_) };
 230 .Ve
 231 .PP
 232 .Vb 1
 233 \&  1;
 234 .Ve
 235 .Sh "Usage"
 236 .IX Subsection "Usage"
 237 .Vb 3
 238 \&  package Foo;
 239 \&  use Moose;
 240 \&  use MyLibrary qw( PositiveInt NegativeInt );
 241 .Ve
 242 .PP
 243 .Vb 7
 244 \&  # use the exported constants as type names
 245 \&  has 'bar',
 246 \&      isa    => PositiveInt,
 247 \&      is     => 'rw';
 248 \&  has 'baz',
 249 \&      isa    => NegativeInt,
 250 \&      is     => 'rw';
 251 .Ve
 252 .PP
 253 .Vb 2
 254 \&  sub quux {
 255 \&      my ($self, $value);
 256 .Ve
 257 .PP
 258 .Vb 3
 259 \&      # test the value
 260 \&      print "positive\en" if is_PositiveInt($value);
 261 \&      print "negative\en" if is_NegativeInt($value);
 262 .Ve
 263 .PP
 264 .Vb 4
 265 \&      # coerce the value, NegativeInt doesn't have a coercion
 266 \&      # helper, since it didn't define any coercions.
 267 \&      $value = to_PositiveInt($value) or die "Cannot coerce";
 268 \&  }
 269 .Ve
 270 .PP
 271 .Vb 1
 272 \&  1;
 273 .Ve
 274 .SH "DESCRIPTION"
 275 .IX Header "DESCRIPTION"
 276 The types provided with Moose are by design global. This package helps
 277 you to organise and selectively import your own and the built-in types in
 278 libraries. As a nice side effect, it catches typos at compile-time too.
 279 .PP
 280 However, the main reason for this module is to provide an easy way to not
 281 have conflicts with your type names, since the internal fully qualified
 282 names of the types will be prefixed with the library's name.
 283 .PP
 284 This module will also provide you with some helper functions to make it
 285 easier to use Moose types in your code.
 286 .PP
 287 String type names will produce a warning, unless it's for a \f(CW\*(C`class_type\*(C'\fR or
 288 \&\f(CW\*(C`role_type\*(C'\fR declared within the library, or a fully qualified name like
 289 \&\f(CW'MyTypeLibrary::Foo'\fR.
 290 .SH "TYPE HANDLER FUNCTIONS"
 291 .IX Header "TYPE HANDLER FUNCTIONS"
 292 .Sh "$type"
 293 .IX Subsection "$type"
 294 A constant with the name of your type. It contains the type's fully
 295 qualified name. Takes no value, as all constants.
 296 .Sh "is_$type"
 297 .IX Subsection "is_$type"
 298 This handler takes a value and tests if it is a valid value for this
 299 \&\f(CW$type\fR. It will return true or false.
 300 .Sh "to_$type"
 301 .IX Subsection "to_$type"
 302 A handler that will take a value and coerce it into the \f(CW$type\fR. It will
 303 return a false value if the type could not be coerced.
 304 .PP
 305 \&\fBImportant Note\fR: This handler will only be exported for types that can
 306 do type coercion. This has the advantage that a coercion to a type that
 307 cannot hasn't defined any coercions will lead to a compile-time error.
 308 .SH "LIBRARY DEFINITION"
 309 .IX Header "LIBRARY DEFINITION"
 310 A MooseX::Types is just a normal Perl module. Unlike Moose
 311 itself, it does not install \f(CW\*(C`use strict\*(C'\fR and \f(CW\*(C`use warnings\*(C'\fR in your
 312 class by default, so this is up to you.
 313 .PP
 314 The only thing a library is required to do is
 315 .PP
 316 .Vb 1
 317 \&  use MooseX::Types \-declare => \e@types;
 318 .Ve
 319 .PP
 320 with \f(CW@types\fR being a list of types you wish to define in this library.
 321 This line will install a proper base class in your package as well as the
 322 full set of handlers for your declared
 323 types. It will then hand control over to Moose::Util::TypeConstraints'
 324 \&\f(CW\*(C`import\*(C'\fR method to export the functions you will need to declare your
 325 types.
 326 .PP
 327 If you want to use Moose' built-in types (e.g. for subtyping) you will
 328 want to
 329 .PP
 330 .Vb 1
 331 \&  use MooseX::Types::Moose @types;
 332 .Ve
 333 .PP
 334 to import the helpers from the shipped MooseX::Types::Moose
 335 library which can export all types that come with Moose.
 336 .PP
 337 You will have to define coercions for your types or your library won't
 338 export a \*(L"to_$type\*(R" coercion helper for it.
 339 .PP
 340 Note that you currently cannot define types containing \f(CW\*(C`::\*(C'\fR, since
 341 exporting would be a problem.
 342 .PP
 343 You also don't need to use \f(CW\*(C`warnings\*(C'\fR and \f(CW\*(C`strict\*(C'\fR, since the
 344 definition of a library automatically exports those.
 345 .SH "LIBRARY USAGE"
 346 .IX Header "LIBRARY USAGE"
 347 You can import the \*(L"type helpers\*(R" of a
 348 library by \f(CW\*(C`use\*(C'\fRing it with a list of types to import as arguments. If
 349 you want all of them, use the \f(CW\*(C`:all\*(C'\fR tag. For example:
 350 .PP
 351 .Vb 2
 352 \&  use MyLibrary      ':all';
 353 \&  use MyOtherLibrary qw( TypeA TypeB );
 354 .Ve
 355 .PP
 356 MooseX::Types comes with a library of Moose' built-in types called
 357 MooseX::Types::Moose.
 358 .PP
 359 The exporting mechanism is, since version 0.5, implemented via a wrapper
 360 around Sub::Exporter. This means you can do something like this:
 361 .PP
 362 .Vb 2
 363 \&  use MyLibrary TypeA => { \-as => 'MyTypeA' },
 364 \&                TypeB => { \-as => 'MyTypeB' };
 365 .Ve
 366 .SH "WRAPPING A LIBRARY"
 367 .IX Header "WRAPPING A LIBRARY"
 368 You can define your own wrapper subclasses to manipulate the behaviour
 369 of a set of library exports. Here is an example:
 370 .PP
 371 .Vb 4
 372 \&  package MyWrapper;
 373 \&  use strict;
 374 \&  use Class::C3;
 375 \&  use base 'MooseX::Types::Wrapper';
 376 .Ve
 377 .PP
 378 .Vb 10
 379 \&  sub coercion_export_generator {
 380 \&      my $class = shift;
 381 \&      my $code = $class\->next::method(@_);
 382 \&      return sub {
 383 \&          my $value = $code\->(@_);
 384 \&          warn "Coercion returned undef!"
 385 \&              unless defined $value;
 386 \&          return $value;
 387 \&      };
 388 \&  }
 389 .Ve
 390 .PP
 391 .Vb 1
 392 \&  1;
 393 .Ve
 394 .PP
 395 This class wraps the coercion generator (e.g., \f(CW\*(C`to_Int()\*(C'\fR) and warns
 396 if a coercion returned an undefined value. You can wrap any library
 397 with this:
 398 .PP
 399 .Vb 4
 400 \&  package Foo;
 401 \&  use strict;
 402 \&  use MyWrapper MyLibrary => [qw( Foo Bar )],
 403 \&                Moose     => [qw( Str Int )];
 404 .Ve
 405 .PP
 406 .Vb 2
 407 \&  ...
 408 \&  1;
 409 .Ve
 410 .PP
 411 The \f(CW\*(C`Moose\*(C'\fR library name is a special shortcut for
 412 MooseX::Types::Moose.
 413 .Sh "Generator methods you can overload"
 414 .IX Subsection "Generator methods you can overload"
 415 .ie n .IP "type_export_generator( $short\fR, \f(CW$full )" 4
 416 .el .IP "type_export_generator( \f(CW$short\fR, \f(CW$full\fR )" 4
 417 .IX Item "type_export_generator( $short, $full )"
 418 Creates a closure returning the type's Moose::Meta::TypeConstraint
 419 object.
 420 .ie n .IP "check_export_generator( $short\fR, \f(CW$full\fR, \f(CW$undef_message )" 4
 421 .el .IP "check_export_generator( \f(CW$short\fR, \f(CW$full\fR, \f(CW$undef_message\fR )" 4
 422 .IX Item "check_export_generator( $short, $full, $undef_message )"
 423 This creates the closure used to test if a value is valid for this type.
 424 .ie n .IP "coercion_export_generator( $short\fR, \f(CW$full\fR, \f(CW$undef_message )" 4
 425 .el .IP "coercion_export_generator( \f(CW$short\fR, \f(CW$full\fR, \f(CW$undef_message\fR )" 4
 426 .IX Item "coercion_export_generator( $short, $full, $undef_message )"
 427 This is the closure that's doing coercions.
 428 .Sh "Provided Parameters"
 429 .IX Subsection "Provided Parameters"
 430 .IP "$short" 4
 431 .IX Item "$short"
 432 The short, exported name of the type.
 433 .IP "$full" 4
 434 .IX Item "$full"
 435 The fully qualified name of this type as Moose knows it.
 436 .IP "$undef_message" 4
 437 .IX Item "$undef_message"
 438 A message that will be thrown when type functionality is used but the
 439 type does not yet exist.
 440 .SH "RECURSIVE SUBTYPES"
 441 .IX Header "RECURSIVE SUBTYPES"
 442 As of version 0.08, Moose::Types has experimental support for Recursive
 443 subtypes.  This will allow:
 444 .PP
 445 .Vb 1
 446 \&    subtype Tree() => as HashRef[Str|Tree];
 447 .Ve
 448 .PP
 449 Which validates things like:
 450 .PP
 451 .Vb 2
 452 \&    {key=>'value'};
 453 \&    {key=>{subkey1=>'value', subkey2=>'value'}}
 454 .Ve
 455 .PP
 456 And so on.  This feature is new and there may be lurking bugs so don't be afraid
 457 to hunt me down with patches and test cases if you have trouble.
 458 .SH "NOTES REGARDING TYPE UNIONS"
 459 .IX Header "NOTES REGARDING TYPE UNIONS"
 460 MooseX::Types uses MooseX::Types::TypeDecorator to do some overloading
 461 which generally allows you to easily create union types:
 462 .PP
 463 .Vb 2
 464 \&  subtype StrOrArrayRef,
 465 \&    as Str|ArrayRef;
 466 .Ve
 467 .PP
 468 As with parameterized constrains, this overloading extends to modules using the
 469 types you define in a type library.
 470 .PP
 471 .Vb 2
 472 \&    use Moose;
 473 \&    use MooseX::Types::Moose qw(HashRef Int);
 474 .Ve
 475 .PP
 476 .Vb 1
 477 \&    has 'attr' => (isa=>HashRef|Int);
 478 .Ve
 479 .PP
 480 And everything should just work as you'd think.
 481 .SH "METHODS"
 482 .IX Header "METHODS"
 483 .Sh "import"
 484 .IX Subsection "import"
 485 Installs the MooseX::Types::Base class into the caller and
 486 exports types according to the specification described in
 487 \&\*(L"\s-1LIBRARY\s0 \s-1DEFINITION\s0\*(R". This will continue to
 488 Moose::Util::TypeConstraints' \f(CW\*(C`import\*(C'\fR method to export helper
 489 functions you will need to declare your types.
 490 .Sh "type_export_generator"
 491 .IX Subsection "type_export_generator"
 492 Generate a type export, e.g. \f(CW\*(C`Int()\*(C'\fR. This will return either a
 493 Moose::Meta::TypeConstraint object, or alternatively a
 494 MooseX::Types::UndefinedType object if the type was not
 495 yet defined.
 496 .ie n .Sh "create_arged_type_constraint ($name, @args)"
 497 .el .Sh "create_arged_type_constraint ($name, \f(CW@args\fP)"
 498 .IX Subsection "create_arged_type_constraint ($name, @args)"
 499 Given a String \f(CW$name\fR with \f(CW@args\fR find the matching typeconstraint and parameterize
 500 it with \f(CW@args\fR.
 501 .Sh "create_base_type_constraint ($name)"
 502 .IX Subsection "create_base_type_constraint ($name)"
 503 Given a String \f(CW$name\fR, find the matching typeconstraint.
 504 .Sh "create_type_decorator ($type_constraint)"
 505 .IX Subsection "create_type_decorator ($type_constraint)"
 506 Given a \f(CW$type_constraint\fR, return a lightweight MooseX::Types::TypeDecorator
 507 instance.
 508 .Sh "coercion_export_generator"
 509 .IX Subsection "coercion_export_generator"
 510 This generates a coercion handler function, e.g. \f(CW\*(C`to_Int($value)\*(C'\fR.
 511 .Sh "check_export_generator"
 512 .IX Subsection "check_export_generator"
 513 Generates a constraint check closure, e.g. \f(CW\*(C`is_Int($value)\*(C'\fR.
 514 .SH "CAVEATS"
 515 .IX Header "CAVEATS"
 516 The following are lists of gotcha's and their workarounds for developers coming
 517 from the standard string based type constraint names
 518 .Sh "Uniqueness"
 519 .IX Subsection "Uniqueness"
 520 A library makes the types quasi-unique by prefixing their names with (by
 521 default) the library package name. If you're only using the type handler
 522 functions provided by MooseX::Types, you shouldn't ever have to use
 523 a type's actual full name.
 524 .Sh "Argument separation ('=>' versus ',')"
 525 .IX Subsection "Argument separation ('=>' versus ',')"
 526 The Perlop manpage has this to say about the '=>' operator: \*(L"The => operator is
 527 a synonym for the comma, but forces any word (consisting entirely of word
 528 characters) to its left to be interpreted as a string (as of 5.001). This
 529 includes words that might otherwise be considered a constant or function call.\*(R"
 530 .PP
 531 Due to this stringification, the following will \s-1NOT\s0 work as you might think:
 532 .PP
 533 .Vb 1
 534 \&  subtype StrOrArrayRef => as Str|ArrayRef;
 535 .Ve
 536 .PP
 537 The 'StrOrArrayRef' will have it's stringification activated this causes the
 538 subtype to not be created.  Since the bareword type constraints are not strings
 539 you really should not try to treat them that way.  You will have to use the ','
 540 operator instead.  The author's of this package realize that all the Moose
 541 documention and examples nearly uniformly use the '=>' version of the comma
 542 operator and this could be an issue if you are converting code.
 543 .PP
 544 Patches welcome for discussion.
 545 .Sh "Compatibility with Sub::Exporter"
 546 .IX Subsection "Compatibility with Sub::Exporter"
 547 If you want to use Sub::Exporter with a Type Library, you need to make sure
 548 you export all the type constraints declared \s-1AS\s0 \s-1WELL\s0 \s-1AS\s0 any additional export
 549 targets. For example if you do:
 550 .PP
 551 .Vb 1
 552 \&    package TypeAndSubExporter; {
 553 .Ve
 554 .PP
 555 .Vb 3
 556 \&        use MooseX::Types::Moose qw(Str);
 557 \&        use MooseX::Types \-declare => [qw(MyStr)];
 558 \&        use Sub::Exporter \-setup => { exports => [ qw(something) ] };
 559 .Ve
 560 .PP
 561 .Vb 2
 562 \&        subtype MyStr,
 563 \&         as Str;
 564 .Ve
 565 .PP
 566 .Vb 3
 567 \&        sub something {
 568 \&            return 1;
 569 \&        }
 570 .Ve
 571 .PP
 572 .Vb 1
 573 \&    } 1;
 574 .Ve
 575 .PP
 576 .Vb 3
 577 \&    package Foo; {
 578 \&        use TypeAndSubExporter qw(MyStr);
 579 \&    } 1;
 580 .Ve
 581 .PP
 582 You'll get a '\*(L"MyStr\*(R" is not exported by the TypeAndSubExporter module' error.
 583 Upi can workaround by:
 584 .PP
 585 .Vb 2
 586 \&        \- use Sub::Exporter \-setup => { exports => [ qw(something) ] };
 587 \&        + use Sub::Exporter \-setup => { exports => [ qw(something MyStr) ] };
 588 .Ve
 589 .PP
 590 This is a workaround and I am exploring how to make these modules work better
 591 together.  I realize this workaround will lead a lot of duplication in your
 592 export declarations and will be onerous for large type libraries.  Patches and
 593 detailed test cases welcome. See the tests directory for a start on this.
 594 .SH "SEE ALSO"
 595 .IX Header "SEE ALSO"
 596 Moose,
 597 Moose::Util::TypeConstraints,
 598 MooseX::Types::Moose,
 599 Sub::Exporter
 600 .SH "ACKNOWLEDGEMENTS"
 601 .IX Header "ACKNOWLEDGEMENTS"
 602 Many thanks to the \f(CW\*(C`#moose\*(C'\fR cabal on \f(CW\*(C`irc.perl.org\*(C'\fR.
 603 .SH "AUTHOR"
 604 .IX Header "AUTHOR"
 605 Robert \*(L"phaylon\*(R" Sedlacek <rs@474.at>
 606 .SH "CONTRIBUTORS"
 607 .IX Header "CONTRIBUTORS"
 608 jnapiorkowski: John Napiorkowski <jjnapiork@cpan.org>
 609 .PP
 610 caelum: Rafael Kitover <rkitover@cpan.org>
 611 .PP
 612 rafl: Florian Ragwitz <rafl@debian.org>
 613 .PP
 614 hdp: Hans Dieter Pearcey <hdp@cpan.org>
 615 .SH "COPYRIGHT & LICENSE"
 616 .IX Header "COPYRIGHT & LICENSE"
 617 Copyright (c) 2007\-2009 Robert Sedlacek <rs@474.at>
 618 .PP
 619 This program is free software; you can redistribute it and/or modify
 620 it under the same terms as perl itself.