Type::T...llTypes(3)

📦
version 2.010001 · 14 versions
, in fedora 44

💖 Type::Tiny::Manual::AllTypes 💖

okay bestie, so this page lives in the User Contributed Perl Documentation part of your perl manual, and it's the alphabetical list of all type constraints bundled with Type::Tiny. It's basically the full roster, in order, with the tiniest little blurbs. Not me being obsessed with a list of types but here we are 💅

✨ NAME ✨

Type::Tiny::Manual::AllTypes — alphabetical list of all type constraints bundled with Type::Tiny. Periodt.

📚 MANUAL 📚

So here's the whole lineup of type constraints that ship with Type::Tiny, each with a very brief description. Want the deep lore? Go read the type library's own documentation, and check out the test cases living in t/21-types/. 🧚

The GitHub link for all that: https://github.com/tobyink/p5-type-tiny/tree/master/t/21-types.

Now, the icons themselves 👑:

  • Any — in Types::Standard. Anything. Literally anything. Absolutely anything. 💀
  • ArrayLike [parameterizable] — in Types::TypeTiny. Arrayrefs, plus objects that overload arrayfication.
  • ArrayRef [parameterizable] — in Types::Standard. Arrayrefs.
  • Bool [has coercion] — in Types::Standard. Booleans: the numbers or strings "0" and "1", the empty string, or undef.
  • BoolLike — in Types::TypeTiny. Basically Bool's chill cousin — no coercions, and it accepts objects overloading bool.
  • ClassName — in Types::Standard. Any loaded package name.
  • CodeLike — in Types::TypeTiny. Coderefs and objects overloading coderefification.
  • CodeRef — in Types::Standard. Coderefs.
  • ConsumerOf [parameterizable] — in Types::Standard. An object that DOES a particular role.
  • CycleTuple [parameterizable] — in Types::Standard. An arrayref whose values follow a repeating pattern of constraints.
  • Defined — in Types::Standard. Any value that is not undef.
  • DelimitedStr [parameterizable] — in Types::Common::String. A comma-delimited string, or delimited by something else.
  • Dict [parameterizable] — in Types::Standard. A hashref with a constraint on each of its values.
  • Enum [parameterizable] — in Types::Standard. A string drawn from an allowed set of strings.
  • _ForeignTypeConstraint — in Types::TypeTiny. A coderef or an object that Type::Tiny knows how to convert into a Type::Tiny instance. (And yes bestie, the name of this type genuinely starts with an underscore. 🫠)
  • FileHandle — in Types::Standard. A reference where Scalar::Util::openhandle returns true, or a blessed object in the IO::Handle class.
  • GlobRef — in Types::Standard. Globrefs.
  • HashLike [parameterizable] — in Types::TypeTiny. Hashrefs and objects overloading hashrefification.
  • HashRef [parameterizable] — in Types::Standard. Hashrefs.
  • HasMethods [parameterizable] — in Types::Standard. An object that can do particular methods.
  • InstanceOf [parameterizable] — in Types::Standard. An object that isa particular class.
  • Int — in Types::Standard. A whole number — positive, negative, or zero.
  • IntRange [parameterizable] — in Types::Common::Numeric. An integer inside a particular numeric range.
  • Item — in Types::Standard. Any single item; effectively the same as Any.
  • LaxNum — in Types::Standard. A number, but the relaxed constraint — it allows "inf".
  • LowerCaseSimpleStr [has coercion] — in Types::Common::String. A string under 256 characters long with no line breaks and no uppercase letters.
  • LowerCaseStr [has coercion] — in Types::Common::String. A string with no uppercase letters.
  • Map [parameterizable] — in Types::Standard. A hashref with a constraint for the values and the keys.
  • Maybe [parameterizable] — in Types::Standard. Once parameterized, it's the same as its parameter, except it also allows undef.
  • NegativeInt — in Types::Common::Numeric. An integer below 0.
  • NegativeNum — in Types::Common::Numeric. A number below 0.
  • NegativeOrZeroInt — in Types::Common::Numeric. An integer below 0, or 0.
  • NegativeOrZeroNum — in Types::Common::Numeric. A number below 0, or 0.
  • NonEmptySimpleStr — in Types::Common::String. A string with more than 0 but less than 256 characters, and no line breaks.
  • NonEmptyStr — in Types::Common::String. A string with more than 0 characters.
  • Num — in Types::Standard. The same as LaxNum or StrictNum, depending on the environment.
  • NumericCode [has coercion] — in Types::Common::String. A string containing only digits.
  • NumRange [parameterizable] — in Types::Common::Numeric. A number inside a particular numeric range.
  • Object — in Types::Standard. A blessed object.
  • Optional [parameterizable] — in Types::Standard. Used together with Dict, Tuple, or CycleTuple.
  • OptList — in Types::Standard. An arrayref of arrayrefs, where each inner arrayref holds two values, the first value being a string.
  • Overload [parameterizable] — in Types::Standard. An overloaded object.
  • Password — in Types::Common::String. A string at least 4 characters long and less than 256 characters long, with no line breaks.
  • PositiveInt — in Types::Common::Numeric. An integer above 0.
  • PositiveNum — in Types::Common::Numeric. A number above 0.
  • PositiveOrZeroInt — in Types::Common::Numeric. An integer above 0, or 0.
  • PositiveOrZeroNum — in Types::Common::Numeric. An number above 0, or 0. (yes, that's the original wording, I'm not touching it 😭)
  • Ref [parameterizable] — in Types::Standard. Any reference.
  • RegexpRef — in Types::Standard. A regular expression.
  • RoleName — in Types::Standard. Any loaded package name where there is no new method.
  • ScalarRef [parameterizable] — in Types::Standard. Scalarrefs.
  • SimpleStr — in Types::Common::String. A string with less than 256 characters and no line breaks.
  • SingleDigit — in Types::Common::Numeric. A single digit number. And this includes single digit negative numbers! 🫶
  • Slurpy [parameterizable] — in Types::Standard. Used together with Dict or Tuple.
  • Str — in Types::Standard. A string.
  • StrictNum — in Types::Standard. A number; the strict constraint.
  • StringLike — in Types::TypeTiny. Strings and objects overloading stringification.
  • StrLength [parameterizable] — in Types::Common::String. A string whose length falls in a particular range.
  • StrMatch [parameterizable] — in Types::Standard. A string matching a particular regular expression.
  • StrongPassword — in Types::Common::String. A string at least 4 characters long and less than 256 characters long, with no line breaks, and at least one non-alphabetic character.
  • Tied [parameterizable] — in Types::Standard. A reference to a tied variable.
  • Tuple [parameterizable] — in Types::Standard. An arrayref with constraints on its values.
  • TypeTiny [has coercion] — in Types::TypeTiny. Blessed objects in the Type::Tiny class.
  • Undef — in Types::Standard. undef.
  • UpperCaseSimpleStr [has coercion] — in Types::Common::String. A string less than 256 characters long with no line breaks and no lowercase letters.
  • UpperCaseStr [has coercion] — in Types::Common::String. A string with no lowercase letters.
  • Value — in Types::Standard. Any non-reference value, including undef.

And the plot twist: the module Types::Common incorporates all of the above. Every single one. Ate. ✨

🦋 NEXT STEPS 🦋

Here's your next step, bestie — just the one:

  • Type::Tiny::Manual::Policies — Policies related to Type::Tiny development.

👑 AUTHOR 👑

Toby Inkster <tobyink@cpan.org>.

This software is copyright (c) 2013-2014, 2017-2025 by Toby Inkster.

This is free software; you can redistribute it and/or modify it under the same terms as the Perl 5 programming language system itself. Slay.

💀 DISCLAIMER OF WARRANTIES 💀

THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.

Like, no promises, no cap. 🙈

okay that's the whole page!! this came out of the perl v5.42.0 docs and it's dated 2026-01-17 — that's the version and date stamp from the footer, folded in all cute like instead of a boring trailing line. go forth and type-check everything, bestie 🌈💜

📦 where this page comes from