File tree Expand file tree Collapse file tree 1 file changed +0
-110
lines changed
docs/docs/reference/metaprogramming Expand file tree Collapse file tree 1 file changed +0
-110
lines changed Original file line number Diff line number Diff line change @@ -151,116 +151,6 @@ def let(rhs: Term)(body: Ident => Term): Term = ...
151
151
def lets (terms : List [Term ])(body : List [Term ] => Term ): Term = ...
152
152
```
153
153
154
-
155
- ## TASTy Reflect API
156
-
157
- TASTy Reflect provides the following types :
158
-
159
- ```none
160
- +- Tree -+- PackageClause
161
- +- Import
162
- +- Statement -+- Definition --+- PackageDef
163
- | | +- ClassDef
164
- | | +- TypeDef
165
- | | +- DefDef
166
- | | +- ValDef
167
- | |
168
- | +- Term --------+- Ref -+- Ident
169
- | | +- Select
170
- | |
171
- | +- Literal
172
- | +- This
173
- | +- New
174
- | +- NamedArg
175
- | +- Apply
176
- | +- TypeApply
177
- | +- Super
178
- | +- Typed
179
- | +- Assign
180
- | +- Block
181
- | +- Lambda
182
- | +- If
183
- | +- Match
184
- | +- ImplicitMatch
185
- | +- Try
186
- | +- Return
187
- | +- Repeated
188
- | +- Inlined
189
- | +- SelectOuter
190
- | +- While
191
- |
192
- |
193
- +- TypeTree ----+- Inferred
194
- | +- TypeIdent
195
- | +- TypeSelect
196
- | +- Projection
197
- | +- Singleton
198
- | +- Refined
199
- | +- Applied
200
- | +- Annotated
201
- | +- MatchTypeTree
202
- | +- ByName
203
- | +- LambdaTypeTree
204
- | +- TypeBind
205
- | +- TypeBlock
206
- |
207
- +- TypeBoundsTree
208
- +- WildcardTypeTree
209
- +- CaseDef
210
- +- TypeCaseDef
211
-
212
- +- Pattern --+- Value
213
- +- Bind
214
- +- Unapply
215
- +- Alternatives
216
- +- TypeTest
217
- +- WildcardPattern
218
-
219
- +- NoPrefix
220
- +- TypeOrBounds -+- TypeBounds
221
- |
222
- +- Type -------+- ConstantType
223
- +- SymRef
224
- +- TermRef
225
- +- TypeRef
226
- +- SuperType
227
- +- Refinement
228
- +- AppliedType
229
- +- AnnotatedType
230
- +- AndType
231
- +- OrType
232
- +- MatchType
233
- +- ByNameType
234
- +- ParamRef
235
- +- ThisType
236
- +- RecursiveThis
237
- +- RecursiveType
238
- +- LambdaType [ParamInfo <: TypeOrBounds ] -+- MethodType
239
- +- PolyType
240
- +- TypeLambda
241
- +- ImportSelector -+- SimpleSelector
242
- +- RenameSelector
243
- +- OmitSelector
244
- +- Id
245
- +- Signature
246
- +- Position
247
- +- Comment
248
- +- Constant
249
- +- Symbol --+- PackageDefSymbol
250
- |
251
- +- TypeSymbol -+- ClassDefSymbol
252
- | +- TypeDefSymbol
253
- | +- TypeBindSymbol
254
- |
255
- +- TermSymbol -+- DefDefSymbol
256
- | +- ValDefSymbol
257
- | +- BindSymbol
258
- |
259
- +- NoSymbol
260
- +- Flags
261
-
262
- ```
263
-
264
154
## More Examples
265
155
266
156
* Start experimenting with TASTy Reflect ([link](https:// github.com/ nicolasstucki/ tasty- reflection- exercise))
You can’t perform that action at this time.
0 commit comments