Linux ubuntu22 5.15.0-133-generic #144-Ubuntu SMP Fri Feb 7 20:47:38 UTC 2025 x86_64
nginx/1.18.0
: 128.199.27.159 | : 216.73.216.159
Cant Read [ /etc/named.conf ]
8.1.31
www-data
www.github.com/MadExploits
Terminal
AUTO ROOT
Adminer
Backdoor Destroyer
Linux Exploit
Lock Shell
Lock File
Create User
CREATE RDP
PHP Mailer
BACKCONNECT
UNLOCK SHELL
HASH IDENTIFIER
CPANEL RESET
CREATE WP USER
README
+ Create Folder
+ Create File
/
usr /
lib /
ruby /
gems /
3.0.0 /
gems /
rbs-1.0.4 /
sig /
[ HOME SHELL ]
Name
Size
Permission
Action
ancestor_builder.rbs
5.22
KB
-rw-r--r--
annotation.rbs
536
B
-rw-r--r--
buffer.rbs
659
B
-rw-r--r--
builtin_names.rbs
795
B
-rw-r--r--
cli.rbs
1.81
KB
-rw-r--r--
comment.rbs
547
B
-rw-r--r--
constant.rbs
502
B
-rw-r--r--
constant_table.rbs
1.09
KB
-rw-r--r--
declarations.rbs
5.39
KB
-rw-r--r--
definition.rbs
4.43
KB
-rw-r--r--
definition_builder.rbs
2.27
KB
-rw-r--r--
environment.rbs
3.03
KB
-rw-r--r--
environment_loader.rbs
3.65
KB
-rw-r--r--
errors.rbs
5.12
KB
-rw-r--r--
location.rbs
1.18
KB
-rw-r--r--
members.rbs
4.2
KB
-rw-r--r--
method_builder.rbs
2.78
KB
-rw-r--r--
method_types.rbs
823
B
-rw-r--r--
namespace.rbs
3.25
KB
-rw-r--r--
parser.rbs
907
B
-rw-r--r--
polyfill.rbs
847
B
-rw-r--r--
rbs.rbs
283
B
-rw-r--r--
repository.rbs
2.27
KB
-rw-r--r--
substitution.rbs
1.38
KB
-rw-r--r--
type_name_resolver.rbs
618
B
-rw-r--r--
typename.rbs
2.05
KB
-rw-r--r--
types.rbs
9.08
KB
-rw-r--r--
util.rbs
193
B
-rw-r--r--
validator.rbs
380
B
-rw-r--r--
variance_calculator.rbs
927
B
-rw-r--r--
vendorer.rbs
1.43
KB
-rw-r--r--
version.rbs
33
B
-rw-r--r--
writer.rbs
1005
B
-rw-r--r--
Delete
Unzip
Zip
${this.title}
Close
Code Editor : substitution.rbs
module RBS # Substitution from type variables to types. # # The substitution construction is in _destructive_ manner. # # sub = Substitution.new # sub.add(from: :A, to: type1) # sub.add(from: :B, to: type2) # sub.instance_type = type3 # class Substitution # A hash containing mapping from type variable name to type. attr_reader mapping: Hash[Symbol, Types::t] # The result of applying this substitution to `instance` type. # `nil` maps to `instance` type itself. attr_accessor instance_type: Types::t? def initialize: () -> void # Add mapping to this substitution. # Overwrites the previous mapping if same `from` is given. def add: (from: Symbol, to: Types::t) -> void # Utility method to construct a substitution. # Raises an error when `variables.size != types.size`. # `instance_type` defaults to `nil`. # # Yields types in `types` and the block value is used if block is given. # def self.build: (Array[Symbol] variables, Array[Types::t] types, ?instance_type: Types::t?) ?{ (Types::t) -> Types::t } -> instance # Applies the substitution to given type. def apply: (Types::t) -> Types::t # Returns a substitution without variables given in `vars`. def without: (*Symbol vars) -> Substitution # Returns true if given substitution is identity. def empty?: () -> bool end end
Close
