šŸ” āŒ˜K/ctrl-K

class RakuAST::Type::Definedness

Represent a Raku type that constrains on (un)defined 
class RakuAST::Type::Definedness { }

The RakuAST::Type::Definedness class represents a Raku type that constrains on (un)defined.

Object introspection

RakuAST::Type::Definedness object is typically created when parsing Raku Programming Language code. So most developers will only need to know how to introspect the objects created.

is-coercive 

say $type.is-coercive;  # True

The is-coercive method returns True if the base-type is coercive.

name 

say $type.name;  # RakuAST::Name.from-identifier("foo")

Returns the L<RakuAST::Name>|/type/RakuAST/Name object of this RakuAST::Type::Definedness object.

Object creation

There is only one way to create a RakuAST::Type::Definedness object.

new 

my $type = RakuAST::Type::Definedness.new(
  base-type => RakuAST::Type::Simple.from-identifier("Int"),
  definite  => True
);
dd $type;  # Int:D

The .new method creates a RakuAST::Type::Definedness object. It expects the following named arguments:

  • :base-type - RakuAST::Type object for the base type (required)

  • :definite - True/False (required)

See Also

class int

Native integer

class Allomorph

Dual value number and string

class Any

Thing/object

class AST

Abstract representation of a piece of source code

class atomicint

Integer (native storage at the platform's atomic operation size)

class Block

Code object with its own lexical scope

class CallFrame

Captures the current frame state

class Code

Code object

class Collation

Encapsulates instructions about how strings should be sorted

class Compiler

Information related to the compiler that is being used

class Complex

Complex number

class ComplexStr

Dual value complex number and string

class Cool

Object that can be treated as both a string and number

class CurrentThreadScheduler

Scheduler that synchronously executes code on the current thread

class Date

Calendar date

class DateTime

Calendar date with time

class Distribution::Hash

Distribution::Hash

class Distribution::Locally

Distribution::Locally

class Distribution::Path

Distribution::Path

class Distribution::Resource

Every one of the resources installed with a distribution

class Duration

Length of time

class Encoding::Registry

Management of available encodings

class FatRat

Rational number (arbitrary-precision)

class ForeignCode

Rakudo-specific class that wraps around code in other languages (generally NQP)

class Format

Convert values to a string given a format specification

class Formatter

Produce Callable for given format specification

class HyperSeq

An object for performing batches of work in parallel with ordered output

class HyperWhatever

Placeholder for multiple unspecified values/arguments

class Instant

Specific moment in time

class Int

Integer (arbitrary-precision)

class IntStr

Dual value integer and string

class Junction

Logical superposition of values

class Label

Tagged location in the source code

class Lock::Async

A non-blocking, non-re-entrant, mutual exclusion lock

class Macro

Compile-time routine

class Method

Member function

class Mu

The root of the Raku type hierarchy.

class Nil

Absence of a value

class Num

Floating-point number

role Numeric

Number or object that can act as a number

class NumStr

Dual value floating-point number and string

class ObjAt

Unique identification for an object

class Parameter

Element of a Signature

class Perl

Perl related information

class Proxy

Item container with custom storage and retrieval

class RaceSeq

Performs batches of work in parallel without respecting original order.

class Raku

Raku related information

package RakuAST

Namespace for holding RakuAST related classes

class RakuAST::Doc::Block

Contains the information of a RakuDoc block

class RakuAST::Doc::Declarator

Contains the declarator docs of a RakuAST object

class RakuAST::Doc::Markup

Contains the information about RakuDoc markup

class RakuAST::Doc::Paragraph

Contains the information about a RakuDoc paragraph

package RakuAST::Name

Represent an identifier name

class RakuAST::Name::Part

Base class for representing a part of a RakuAST::Name

class RakuAST::Name::Part::EmptyEdge

Represent an empty part at the start/end of a RakuAST::Name

class RakuAST::Name::Part::Expression

Represent an expression as part of a RakuAST::Name

class RakuAST::Name::Part::Simple

Represent a string part of a RakuAST::Name

class RakuAST::Type

Base class for representing a type

class RakuAST::Type::Capture

Represent a type without any additional features

class RakuAST::Type::Coercion

Represent a Raku type that coerces

class RakuAST::Type::Enum

Represent a type without any additional features

class RakuAST::Type::Parameterized

Represent a Raku type with parameterization

class RakuAST::Type::Setting

Represent a core-type

class RakuAST::Type::Simple

Represent a type without any additional features

class RakuAST::Type::Subset

Represent a type without any additional features

class Rat

Rational number (limited-precision)

class RatStr

Dual value rational number and string

class Routine

Code object with its own lexical scope and return handling

class Routine::WrapHandle

Holds all information needed to unwrap a wrapped routine.

class Scalar

A mostly transparent container used for indirections

class Signature

Parameter list pattern

class Str

String of characters

class StrDistance

Contains the result of a string transformation.

class Sub

Subroutine

class Submethod

Member function that is not inherited by subclasses

class Telemetry::Instrument::Thread

Instrument for collecting Thread data

class Telemetry::Instrument::ThreadPool

Instrument for collecting ThreadPoolScheduler data

class Telemetry::Instrument::Usage

Instrument for collecting getrusage data

class Telemetry::Period

Performance data over a period

class Telemetry::Sampler

Telemetry instrument pod

Subset UInt

Unsigned integer (arbitrary-precision)

class ValueObjAt

Unique identification for value types

class Variable

Object representation of a variable for use in traits

class Version

Module version descriptor

class Whatever

Placeholder for the value of an unspecified argument

class WhateverCode

Code object constructed by Whatever priming

The Camelia image is copyright 2009 by Larry Wall. "Raku" is a trademark of the Yet Another Society. All rights reserved.

Built with Podlite ā€” the markup and publishing tools behind this site.