Commit | Line | Data |
9d759b64 |
1 | package DX::Utils; |
2 | |
3 | use strictures 2; |
4 | use Exporter 'import'; |
5 | |
efad53c4 |
6 | my @const = ( |
d5511afa |
7 | my @dep_types = qw(EXISTENCE_OF TYPE_OF INDICES_OF CONTENTS_OF), |
efad53c4 |
8 | my @ev_types = qw(VALUE_SET VALUE_EXISTS), |
9 | ); |
9d759b64 |
10 | |
efad53c4 |
11 | our @EXPORT_OK = ( |
12 | @const, |
1e812b19 |
13 | (my @builders = qw(step string number dict proposition)), |
bcee3a69 |
14 | 'deparse', '*trace', |
efad53c4 |
15 | ); |
16 | |
17 | our %EXPORT_TAGS = ( |
18 | all => \@EXPORT_OK, |
19 | dep_types => \@dep_types, |
20 | event_types => \@ev_types, |
21 | builders => \@builders, |
22 | ); |
23 | |
24 | require constant; |
25 | |
26 | # use constant INDICES_OF => \*INDICES_OF; |
27 | |
28 | constant->import(+{ |
29 | map {; no strict 'refs'; $_ => \*$_ } @const |
30 | }); |
31 | |
d5511afa |
32 | # $EXISTENCE_OF = 1, ... |
efad53c4 |
33 | |
34 | do { no strict 'refs'; ${$dep_types[$_-1]} = $_ } for 1..@dep_types; |
35 | |
36 | # VALUE_EXISTS needs to trigger indices checks on its parent |
37 | |
38 | our $VALUE_EXISTS = 1; |
39 | |
40 | # VALUE_EXISTS triggers all types, VALUE_SET all but EXISTENCE_OF |
41 | |
d5511afa |
42 | our @VALUE_EXISTS = (EXISTENCE_OF(), TYPE_OF(), INDICES_OF(), CONTENTS_OF()); |
43 | our @VALUE_SET = (TYPE_OF(), INDICES_OF(), CONTENTS_OF()); |
9d759b64 |
44 | |
bcee3a69 |
45 | sub trace { } |
372a400c |
46 | |
9d759b64 |
47 | sub step { |
3e465d5d |
48 | require DX::Step::Normal; |
9d759b64 |
49 | DX::Step::Normal->new(@_); |
50 | } |
51 | |
52 | sub string { |
3e465d5d |
53 | require DX::Value::String; |
9d759b64 |
54 | DX::Value::String->new(string_value => $_[0]) |
55 | } |
56 | |
57 | sub number { |
3e465d5d |
58 | require DX::Value::Number; |
9d759b64 |
59 | DX::Value::Number->new(number_value => $_[0]); |
60 | } |
61 | |
efad53c4 |
62 | sub dict { |
3e465d5d |
63 | require DX::Value::Dict; |
efad53c4 |
64 | DX::Value::Dict->new( |
65 | members => { @_ }, |
66 | ); |
67 | } |
68 | |
69 | sub proposition { |
70 | my ($pred, @args) = @_; |
3e465d5d |
71 | require DX::Proposition; |
efad53c4 |
72 | DX::Proposition->new( |
73 | predicate => $pred, |
74 | args => \@args, |
75 | ); |
76 | } |
77 | |
1e812b19 |
78 | { |
3e465d5d |
79 | my $dp; |
1e812b19 |
80 | |
81 | sub deparse { |
3e465d5d |
82 | $dp ||= do { |
83 | require DX::Deparse; |
84 | DX::Deparse->new; |
85 | }; |
1e812b19 |
86 | my ($thing) = @_; |
87 | $dp->fmt($thing); |
88 | } |
89 | } |
90 | |
9d759b64 |
91 | 1; |