forked from Raku/roast
/
basic-types.t
86 lines (62 loc) · 2.02 KB
/
basic-types.t
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
use v6;
use Test;
plan 19;
# WHAT() on basic types
my $a;
is($a.WHAT.gist, Any.gist, 'empty scalar is Any');
#doc-roast 'declarator','unqualified @var is Array'
my @a;
ok(@a ~~ Array, 'it is an Array type');
ok @a ~~ Positional, 'An Array does Positional';
#doc-roast 'declarator','unqualified %var is Hash'
my %a;
ok(%a ~~ Hash, 'it is an Hash type');
ok %a ~~ Associative, 'A Hash does Associative';
# WHAT() on reference types
my $b1 = [];
ok($b1 ~~ Array, 'it is a Array type');
# this seems to be the only way to make a hash - ref at the moment
my %b2 = ("one", 1); my $b2 = %b2;
ok($b2 ~~ Hash, 'it is a Hash type');
# WHAT() on subroutines
my $s1 = sub {};
isa-ok($s1, Sub, 'it is a Sub type');
# See L<S02/"Built-in Data Types">
# Quoting A06:
# Code
# ____________|________________
# | |
# Routine Block
# ________________|_______________
# | | | | | |
# Sub Method Submethod Multi Rule Macro
#doc-roast 'literal','hash','Empty {} is a Hash'
# L<S06/Anonymous hashes vs blocks>
my $s2 = {};
ok($s2 ~~ Hash, 'it is a Hash type (bare block)');
# L<S06/"Placeholder variables">
my $s2a = { $^aaa };
isa-ok($s2a, Block, 'it is a Parametric type (bare block with placeholder parameters)');
{
my $s3 = -> {};
isa-ok($s3, Block, 'it is a Block type (pointy block)');
}
# WHAT() on different types of scalars
my $int = 0;
isa-ok($int, Int, 'it is an Int type');
my $num = '';
ok(+$num ~~ Real, 'it is an Real type');
my $float = 0.5e0;
isa-ok($float, Num, 'it is an Num type');
isa-ok(1 / 4, Rat, 'infix:</> of integers produces a Rat');
my $string = "Hello World";
isa-ok($string, Str, 'it is a Str type');
my $bool = (0 == 0);
isa-ok($bool, Bool, 'it is a Bool type');
my $pair = ("foo" => "bar");
isa-ok($pair, Pair, 'it is a Pair type');
{
my $rule = rx/^hello\sworld$/;
isa-ok($rule, Regex, 'it is a Regex type');
}
# vim: ft=perl6