steep 0.9.0 → 0.10.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (27) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +8 -1
  3. data/lib/steep/ast/types/proc.rb +1 -1
  4. data/lib/steep/cli.rb +25 -4
  5. data/lib/steep/drivers/annotations.rb +14 -3
  6. data/lib/steep/drivers/check.rb +71 -75
  7. data/lib/steep/drivers/print_interface.rb +56 -25
  8. data/lib/steep/drivers/scaffold.rb +7 -4
  9. data/lib/steep/drivers/utils/each_signature.rb +6 -41
  10. data/lib/steep/drivers/validate.rb +35 -10
  11. data/lib/steep/drivers/watch.rb +188 -0
  12. data/lib/steep/errors.rb +2 -2
  13. data/lib/steep/project/file.rb +119 -0
  14. data/lib/steep/project/listener.rb +53 -0
  15. data/lib/steep/project/options.rb +13 -0
  16. data/lib/steep/project.rb +231 -0
  17. data/lib/steep/type_construction.rb +56 -29
  18. data/lib/steep/version.rb +1 -1
  19. data/lib/steep.rb +7 -1
  20. data/sig/project.rbi +106 -0
  21. data/smoke/hash/f.rb +11 -0
  22. data/stdlib/builtin.rbi +3 -0
  23. data/steep.gemspec +3 -1
  24. metadata +39 -7
  25. data/lib/steep/drivers/utils/validator.rb +0 -110
  26. data/sig/signature.rbi +0 -146
  27. data/sig/types.rbi +0 -43
data/sig/signature.rbi DELETED
@@ -1,146 +0,0 @@
1
- class Steep__Signature__Error
2
- def initialize: (signature: Steep__Signature) -> any
3
- def signature: -> Steep__Signature
4
- def puts: (any) -> any
5
- end
6
-
7
- class Steep__Signature__Errors__UnknownTypeName <: Steep__Signature__Error
8
- def initialize: (signature: Steep__Signature, type: Steep__Type) -> any
9
- def type: -> Steep__Type
10
- end
11
-
12
- class Steep__BlockType
13
- def params: -> Steep__MethodParams
14
- def return_type: -> Steep__Type
15
- end
16
-
17
- class Steep__MethodParams
18
- def each_type: { (Steep__Type) -> any } -> instance
19
- end
20
-
21
- class Steep__MethodType
22
- def substitute: (klass: Steep__Type, instance: Steep__Type, params: Hash<Symbol, Steep__Type>) -> Steep__MethodType
23
- def updated: (?type_params: Array<Symbol>, ?params: Steep__MethodParams, ?block: any, ?return_type: Steep__Type) -> Steep__MethodType
24
- def params: -> Steep__MethodParams
25
- def return_type: -> Steep__Type
26
- def block: -> Steep__BlockType
27
- end
28
-
29
- class Steep__Interface
30
- def initialize: (name: Symbol, methods: Hash<Symbol, Steep__Method>) -> any
31
- end
32
-
33
- class Steep__Method
34
- def initialize: (types: Array<Steep__MethodType>, super_method: Steep__Method) -> any
35
- def substitute: (klass: Steep__Type, instance: Steep__Type, params: Hash<Symbol, Steep__Type>) -> Steep__Method
36
- def types: -> Array<Steep__MethodType>
37
- end
38
-
39
- class Steep__Signature
40
- end
41
-
42
- class Steep__Signature__Member
43
- end
44
-
45
- class Steep__Signature__Errors__IncompatibleOverride <: Steep__Signature__Error
46
- def initialize: (signature: Steep__Signature, method_name: Symbol, this_method: Steep__Method, super_method: Steep__Method) -> any
47
- def method_name: -> Symbol
48
- def this_method: -> Steep__Method
49
- def super_method: -> Steep__Method
50
- end
51
-
52
- class Steep__SignatureMember__Method <: Steep__Signature__Member
53
- def initialize: (name: Symbol, types: Array<Steep__MethodType>) -> any
54
- def name: -> Symbol
55
- def types: -> Array<Steep__MethodType>
56
- end
57
-
58
- class Steep__SignatureMember__Include <: Steep__Signature__Member
59
- def initialize: (name: Symbol) -> any
60
- def name: -> Symbol
61
- end
62
-
63
- class Steep__SignatureMember__Extend <: Steep__Signature__Member
64
- def initialize: (name: Symbol) -> any
65
- def name: -> Symbol
66
- end
67
-
68
- interface _Steep__SignatureMember__Mixin
69
- def name: -> Steep__Type
70
- end
71
-
72
- interface _Steep__WithMethods
73
- def instance_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
74
- def module_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
75
- def type_application_hash: (Array<Steep__Type>) -> Hash<Symbol, Steep__Type>
76
- def members: -> Array<Steep__Signature__Member>
77
- def is_class?: -> _Boolean
78
- end
79
-
80
- module Steep__Signature__WithMethods : _Steep__WithMethods
81
- def instance_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
82
- def module_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
83
- def merge_methods: (Hash<Symbol, Steep__Method>, Hash<Symbol, Steep__Method>) -> Hash<Symbol, Steep__Method>
84
- end
85
-
86
- interface _Steep__WithMembers
87
- def members: -> Array<Steep__Signature__Member>
88
- def params: -> Array<Symbol>
89
- end
90
-
91
- module Steep__Signature__WithMembers : _Steep__WithMembers
92
- def each_type: { (Steep__Type) -> any } -> any
93
- def validate_mixins: (any, Steep__Interface) -> any
94
- end
95
-
96
- interface _Steep__WithParams
97
- end
98
-
99
- module Steep__Signature__WithParams : _Steep__WithParams
100
- def type_application_hash: (Array<Steep__Type>) -> Hash<Symbol, Steep__Type>
101
- end
102
-
103
- class Steep__Signature__Module
104
- include Steep__Signature__WithMethods
105
- include Steep__Signature__WithMembers
106
- include Steep__Signature__WithParams
107
-
108
- def initialize: (name: Symbol, params: Array<Symbol>, members: Array<Steep__Signature__Member>, self_type: Steep__Type) -> any
109
- def name: -> Symbol
110
- def params: -> Array<Symbol>
111
- def members: -> Array<Steep__Signature__Member>
112
- def self_type: -> Steep__Type
113
- def is_class?: -> _Boolean
114
- end
115
-
116
- class Steep__Signature__Class
117
- include Steep__Signature__WithMethods
118
- include Steep__Signature__WithMembers
119
- include Steep__Signature__WithParams
120
-
121
- def initialize: (name: Symbol, params: Array<Symbol>, members: Array<Steep__Signature__Member>, super_class: Steep__Types__Name) -> any
122
- def name: -> Symbol
123
- def params: -> Array<Symbol>
124
- def members: -> Array<Steep__Signature__Member>
125
- def super_class: -> Steep__Types__Name
126
- def is_class?: -> _Boolean
127
- end
128
-
129
- class Steep__Signature__Extension
130
- def initialize: (module_name: Symbol, extension_name: Symbol, members: Array<Steep__Signature__Member>) -> any
131
- def module_name: -> Symbol
132
- def extension_name: -> Symbol
133
- def members: -> Array<Steep__Signature__Member>
134
- def name: -> Symbol
135
- end
136
-
137
- class Steep__Signature__Interface
138
- def initialize: (name: Symbol, params: Array<Symbol>, methods: Hash<Symbol, Array<Steep__MethodType>>) -> any
139
-
140
- def name: -> Symbol
141
- def params: -> Array<Symbol>
142
- def methods: -> Hash<Symbol, Array<Steep__MethodType>>
143
-
144
- def to_interface: (klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> any
145
- def validate: (any) -> any
146
- end
data/sig/types.rbi DELETED
@@ -1,43 +0,0 @@
1
- class Steep__TypeName
2
- def initialize: (name: Symbol) -> any
3
- end
4
-
5
- class Steep__Type
6
- def closed?: -> _Boolean
7
- def substitute: (klass: Steep__Type, instance: Steep__Type, params: Hash<Symbol, Steep__Type>) -> instance
8
- end
9
-
10
- class Steep__Types__Name <: Steep__Type
11
- def initialize: (name: Steep__TypeName, params: Array<Steep__Type>) -> any
12
-
13
- def name: -> Steep__TypeName
14
- def params: -> Array<Steep__Type>
15
-
16
- def self.interface: (name: Symbol, ?params: Array<Steep__Type>) -> Steep__Types__Name
17
- def self.module: (name: Symbol, ?params: Array<Steep__Type>) -> Steep__Types__Name
18
- def self.instance: (name: Symbol, ?params: Array<Steep__Type>) -> Steep__Types__Name
19
- end
20
-
21
- class Steep__Types__Union <: Steep__Type
22
- def initialize: (types: Array<Steep__Type>) -> any
23
- def types: -> Array<Steep__Type>
24
- end
25
-
26
- class Steep__Types__Merge <: Steep__Type
27
- def initialize: (types: Array<Steep__Type>) -> any
28
- def types: -> Array<Steep__Type>
29
- end
30
-
31
- class Steep__Types__Var <: Steep__Type
32
- def initialize: (name: Symbol) -> any
33
- def name: -> Symbol
34
- end
35
-
36
- class Steep__Types__Instance <: Steep__Type
37
- end
38
-
39
- class Steep__Types__Class <: Steep__Type
40
- end
41
-
42
- class Steep__Types__Any <: Steep__Type
43
- end