async_codegen/rust/mod.rs
1/*
2 * Copyright © 2025 Anand Beh
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17//!
18//! Rust syntax elements.
19//!
20//! Note that no checking exists to make sure the elements are used correctly, i.e. the correct
21//! combination of structs. Instead, the library user is expected to have basic knowledge of how
22//! Rust syntax is composed, and to combine the structs in this module likewise.
23//!
24//! Example:
25//!
26//! ```
27//! # use async_codegen::common::{CombinedSeq, NoOpSeq, SingularSeq, Str};
28//! # use async_codegen::{Output, Writable};
29//! # use async_codegen::rust::{CanHaveAttributes, CfgAttr, Deprecated, FunctionBodyImplement, FunctionDef, FunctionParam, ModPub, MustUse, NoMangle, Parameterized};
30//!
31//! async fn write_function<O>(output: &mut O) -> Result<(), O::Error> where O: Output {
32//! // For more advanced usage, you can replace Str("") by other Writable implementations
33//! let function_def = FunctionDef {
34//! mods: SingularSeq(ModPub),
35//! name: Str("my_func"),
36//! args: CombinedSeq(
37//! SingularSeq(FunctionParam(Str("var1"), Str("Type"))),
38//! SingularSeq(FunctionParam(Str("var2"), Parameterized(Str("Option"), SingularSeq(Str("bool")))))
39//! ),
40//! return_type: Parameterized(Str("Box"), SingularSeq(Str("str"))),
41//! where_conds: NoOpSeq,
42//! body: FunctionBodyImplement(Str("todo!()"))
43//! };
44//! function_def.write_to(output).await
45//! // Will render as:
46//! /*
47//! pub fn my_func(var1: Type, var2: Option<bool>) -> Box<str> {
48//! todo!()
49//! }
50//! */
51//! }
52//! ```
53//!
54
55use crate::common::{Combined, NoOp, NoOpSeq, Str, SurroundingSeqAccept};
56use crate::{Output, SequenceAccept, Writable};
57use std::fmt::Debug;
58
59mod syntax;
60#[cfg(test)]
61mod tests;
62
63/// All possible Rust editions.
64/// This is the only type in this module meant to be used as context, and not as a writable itself.
65#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)]
66#[non_exhaustive]
67pub enum Edition {
68 /// This Rust edition is declared for usability purposes. However, not all [Writable]
69 /// implementations are guaranteed to work with it.
70 Rust2015,
71 Rust2018,
72 Rust2021,
73 Rust2024,
74}
75
76/// Imports a single type so that it can be used later.
77/// Renders as `use Type;`. Adds a new line after the semicolon.
78#[derive(Clone, Debug)]
79pub struct UseType<Type>(pub Type);
80
81/// An attribute enabled conditionally, i.e. `#[cfg_attr(Cond, Attr)]`
82#[derive(Clone, Debug)]
83pub struct CfgAttr<Cond, Attr>(pub Cond, pub Attr);
84
85/// A cfg attribute. Renders as `cfg(Cond)`.
86#[derive(Clone, Debug)]
87pub struct Cfg<Cond>(pub Cond);
88
89/// A cfg condition for targeting an OS, OS family, or architecture. For example:
90/// ```
91/// # use async_codegen::common::{NoOpSeq, SingularSeq, Str};
92/// # use async_codegen::context::EmptyContext;
93/// # use async_codegen::rust::{FunctionBodyDeclare, Cfg, FunctionDef, Target, CanHaveAttributes};
94/// # use async_codegen::util::InMemoryOutput;
95/// let function = FunctionDef {
96/// mods: NoOpSeq,
97/// name: Str("conditional_func"),
98/// args: NoOpSeq,
99/// return_type: Str("()"),
100/// where_conds: NoOpSeq,
101/// body: FunctionBodyDeclare
102/// }.with_attributes(
103/// SingularSeq(Cfg(Target::Os(Str("linux"))))
104/// );
105/// let string = InMemoryOutput::print_output(EmptyContext, &function);
106/// assert_eq!("#[cfg(target_os = \"linux\")]\nfn conditional_func() -> ();\n\n", string);
107/// ```
108#[derive(Clone, Debug)]
109pub enum Target<Value> {
110 Os(Value),
111 Family(Value),
112 Arch(Value),
113}
114
115/// The link attribute.
116#[derive(Clone, Debug)]
117pub struct Link<Arg>(pub Arg);
118
119/// The no mangle attribute.
120///
121/// Requires that the context satisfies [ContextProvides] for [Edition], because in Rust 2024 and
122/// beyond, the no-mangle attribute is an unsafe attribute.
123#[derive(Clone, Debug)]
124pub struct NoMangle;
125
126/// The attribute content for `allow(...)`. The tuple value must be a sequence.
127#[derive(Clone, Debug)]
128pub struct AllowLints<Lints>(pub Lints);
129
130/// The deprecated attribute. The three variants of this enum correspond to the deprecated
131/// attribute's multiple ways of being specified. See:
132/// https://doc.rust-lang.org/reference/attributes/diagnostics.html#the-deprecated-attribute
133#[derive(Clone, Debug)]
134pub enum Deprecated<Msg, Since = NoOp> {
135 Basic,
136 Message(Msg),
137 Full { since: Since, note: Msg },
138}
139
140impl Default for Deprecated<NoOp, NoOp> {
141 fn default() -> Self {
142 Self::Basic
143 }
144}
145
146impl Deprecated<NoOp, NoOp> {
147 pub fn basic() -> Self {
148 Self::Basic
149 }
150}
151
152impl<Msg> Deprecated<Msg> {
153 pub fn with_message(msg: Msg) -> Self {
154 Self::Message(msg)
155 }
156}
157
158/// The must_use attribute
159#[derive(Clone, Debug)]
160pub struct MustUse;
161
162/// The public modifier
163#[derive(Clone, Debug)]
164pub struct ModPub;
165
166/// The unsafe modifier
167#[derive(Clone, Debug)]
168pub struct ModUnsafe;
169
170/// The extern modifier, with the ABI selected as the tuple value.
171///
172/// This struct includes `unsafe`. Since Rust 2024, the unsafe keyword is required for extern
173/// functions, and before Rust 2024 it is optional. To make it easy to generate code targeting
174/// multiple editions, we unconditionally emit the "unsafe" keyword alongside "extern".
175#[derive(Clone, Debug)]
176pub struct ModUnsafeExtern<Abi>(pub Abi);
177
178/// A standalone statement. Renders the expression and adds a semicolon and a new line.
179#[derive(Clone, Debug)]
180pub struct Stmt<Expr>(pub Expr);
181
182/// A let statement. This statement includes the semicolon and a new line.
183#[derive(Clone, Debug)]
184pub struct LetStmt<Variable, Expr>(pub Variable, pub Expr);
185
186/// An assignation. This statement includes the semicolon and a new line.
187#[derive(Clone, Debug)]
188pub struct AssignStmt<Variable, Expr>(pub Variable, pub Expr);
189
190/// A return statement. Renders as `return Expr;` with a new line at the end.
191#[derive(Clone, Debug)]
192pub struct ReturnStmt<Expr>(pub Expr);
193
194/// A let expression.
195/// This can be used, for example, as the condition of [IfBlock] in order to create an "if-let" block.
196#[derive(Clone, Debug)]
197pub struct LetExpr<Pattern, Expr>(pub Pattern, pub Expr);
198
199/// A raw string literal expression, i.e. r#"Content"#. Example:
200/// ```
201/// # use async_codegen::common::Str;
202/// # use async_codegen::context::EmptyContext;
203/// # use async_codegen::rust::RawStringLiteral;
204/// # use async_codegen::util::InMemoryOutput;
205/// let string_lit = RawStringLiteral(Str("hello_world"));
206///
207/// assert_eq!("r#\"hello_world\"#", InMemoryOutput::print_output(EmptyContext, &string_lit));
208/// ```
209#[derive(Clone, Debug)]
210pub struct RawStringLiteral<Content>(pub Content);
211
212/// An array literal with predefined elements written out.
213/// Renders as `[E1, E2, E3, ...]` where EX is in the element sequence.
214#[derive(Clone, Debug)]
215pub struct ArrayFromElements<Elements>(pub Elements);
216
217/// An item attached to an associated container, via "::".
218/// The output will look like `Cont::Item`.
219#[derive(Clone, Debug)]
220pub struct AssociatedItem<Cont, Item>(pub Cont, pub Item);
221
222/// A question mark following another expression.
223#[derive(Clone, Debug)]
224pub struct QuestionMarkAfter<Expr>(pub Expr);
225
226/// Uses the `as` expression to perform a qualified trait cast (e.g. ready for a method call).
227/// This will render as `<Type as Trait>`.
228#[derive(Clone, Debug)]
229pub struct TypeAsTrait<Type, Trait>(pub Type, pub Trait);
230
231/// Uses the `as` expression to coerce one type to another.
232/// This will render as `<Type1 as Type2>`.
233#[derive(Clone, Debug)]
234pub struct TypeAsType<Type1, Type2>(pub Type1, pub Type2);
235
236/// Declaration of an extern block, i.e. for FFI.
237/// In Rust 2024 and later, the unsafe keyword must be added for extern blocks. Thus, this struct
238/// requires that the context satisfies [ContextProvides] for [Edition].
239#[derive(Clone, Debug)]
240pub struct ExternBlock<Abi, Body> {
241 /// The ABI chosen. Must be writable
242 pub abi: Abi,
243 /// The body of the extern block. Must be writable
244 pub body: Body,
245}
246
247impl<Abi, Body> CanHaveAttributes for ExternBlock<Abi, Body> {
248 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
249 WithAttributes {
250 attr,
251 separator: AttributeSeparator::NewLine,
252 value: self,
253 }
254 }
255}
256
257/// Declaration of a module block. Renders as `mod Name {Body}`.
258#[derive(Clone, Debug)]
259pub struct ModBlock<Name, Body> {
260 /// The module name
261 pub name: Name,
262 /// The body. Must be writable
263 pub body: Body,
264}
265
266/// An if block. The condition and body must both be writable.
267#[derive(Clone, Debug)]
268pub struct IfBlock<Cond, Body>(pub Cond, pub Body);
269
270/// Represents "else" syntactically. Renders as `Before else After`.
271///
272/// This struct requires you to specify what comes before and after the else. For example:
273/// ```
274/// # use async_codegen::common::Str;
275/// # use async_codegen::context::EmptyContext;
276/// # use async_codegen::rust::{Block, Else, IfBlock};
277/// # use async_codegen::util::InMemoryOutput;
278///
279/// let if_block = IfBlock(Str("true"), Str("log::info(\"Hello\")"));
280/// let else_block = Block(Str("panic!()"));
281/// let if_else = Else(if_block, else_block);
282///
283/// let string = InMemoryOutput::print_output(EmptyContext, &if_else);
284/// assert_eq!("if true {\nlog::info(\"Hello\")\n} else {\npanic!()\n}", string)
285/// ```
286#[derive(Clone, Debug)]
287pub struct Else<Before, After>(pub Before, pub After);
288
289/// An unlabeled block.
290/// This can be used in many contexts, including merely organizing the code.
291#[derive(Clone, Debug)]
292pub struct Block<Body>(pub Body);
293
294/// Places the expression inside an unsafe block.
295/// Adds new lines inside the brackets, wrapping the inner expression.
296#[derive(Clone, Debug)]
297pub struct UnsafeBlock<Expr>(pub Expr);
298
299/// Writes a closure.
300/// Adds new lines inside the brackets, wrapping the inner expression.
301#[derive(Clone, Debug)]
302pub struct Closure<InputVars, Expr> {
303 /// The input variables.
304 /// Should be a sequence. They will be comma separated and placed within the pipes.
305 /// To use no input variables, use [NoOpSeq].
306 pub input_vars: InputVars,
307 /// The expression inside the closure block.
308 pub inside_block: Expr,
309}
310
311/// Performs a call to a function inside code.
312#[derive(Clone, Debug)]
313pub struct FunctionCall<Recv, Name, Args> {
314 /// The function receiver
315 pub receiver: Recv,
316 /// Whether the function is associated, false if it's a method
317 pub is_assoc: bool,
318 /// The function name
319 pub name: Name,
320 /// The arguments. Must be a sequence
321 pub args: Args,
322}
323
324/// Provides access to the "turbofish" syntax, i.e. `Name::<Args>`.
325/// The first tuple value must be writable, and the second must be a sequence.
326///
327/// Note that if the sequence outputs nothing, this struct will behave as if no args were
328/// specified. I.e. `Turbofish(Name, NoOpSeq)` is equivalent to just `Name`.
329#[derive(Clone, Debug)]
330pub struct Turbofish<Name, Args>(pub Name, pub Args);
331
332/// Accesses a struct field by name. Can be used for named fields or tuple fields.
333/// Renders as `Owner.Field`. For example:
334/// ```
335/// # use async_codegen::common::Str;
336/// # use async_codegen::context::EmptyContext;
337/// # use async_codegen::rust::{FieldAccess, LetStmt, RefOf};
338/// # use async_codegen::util::InMemoryOutput;
339/// let string = InMemoryOutput::print_output(EmptyContext, &LetStmt(
340/// Str("borrowed_field"), RefOf(FieldAccess(Str("my_var"), Str("my_field")))
341/// ));
342/// assert_eq!(string, "let borrowed_field = &my_var.my_field;\n");
343/// ```
344#[derive(Clone, Debug)]
345pub struct FieldAccess<Owner, Field>(pub Owner, pub Field);
346
347/// A function declaration
348#[derive(Clone, Debug)]
349pub struct FunctionDef<Mods, Name, Args, Return, Where, Body> {
350 /// The modifiers. Must be a sequence.
351 pub mods: Mods,
352 /// The function name. Type variables can be declared here via [Parameterized]
353 pub name: Name,
354 /// The arguments. Must be a sequence
355 pub args: Args,
356 /// The return type, i.e. after the `->` arrow
357 pub return_type: Return,
358 /// The "where" conditions. Must be a sequence. Set to [NoOp] to disable.
359 /// Will render as `where C1, C2, C3, ...` where CX is a value in the sequence.
360 pub where_conds: Where,
361 /// The function body.
362 /// To only declare the function, this must be `;` so use [FunctionBodyDeclare]
363 /// To implement the function, use [FunctionBodyImplement]
364 pub body: Body,
365}
366
367impl<Mods, Name, Args, Return, Where, Body> CanHaveAttributes
368 for FunctionDef<Mods, Name, Args, Return, Where, Body>
369{
370 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
371 WithAttributes {
372 attr,
373 separator: AttributeSeparator::NewLine,
374 value: self,
375 }
376 }
377}
378
379/// Declares a function body. This is equivalent to just a semicolon.
380#[derive(Clone, Debug)]
381pub struct FunctionBodyDeclare;
382
383/// Implements a function body. Places the contents inside brackets
384#[derive(Clone, Debug)]
385pub struct FunctionBodyImplement<Inner>(pub Inner);
386
387/// A function pointer. Can be used for `fn`, `Fn`, `FnMut`, and `FnOnce`.
388///
389/// Example:
390/// ```
391/// # use async_codegen::common::{SingularSeq, Str};
392/// # use async_codegen::context::EmptyContext;
393/// # use async_codegen::rust::{FunctionPtr, FunctionPtrKind};
394/// # use async_codegen::util::InMemoryOutput;
395/// let function_ptr = FunctionPtr {
396/// kind: FunctionPtrKind::FnMut,
397/// args: SingularSeq(Str("String")),
398/// return_type: Str("bool")
399/// };
400/// let string = InMemoryOutput::print_output(EmptyContext, &function_ptr);
401/// assert_eq!("FnMut(String) -> bool", string);
402/// ```
403#[derive(Clone, Debug)]
404pub struct FunctionPtr<Args, Return> {
405 /// The function pointer kind
406 pub kind: FunctionPtrKind,
407 /// The arguments. Must be a sequence
408 pub args: Args,
409 /// The return type, i.e. after the `->` arrow
410 pub return_type: Return,
411}
412
413/// The kind of function type
414#[derive(Clone, Debug)]
415pub enum FunctionPtrKind {
416 /// An `fn` pointer. E.g. `fn(String) -> bool`.
417 FnPtr,
418 /// Represents [Fn]
419 Fn,
420 /// Represents [FnMut]
421 FnMut,
422 /// Represents [FnOnce]
423 FnOnce,
424}
425
426/// Renders as `Type=Value`. Intended to be used as a type argument, to specify associated types.
427#[derive(Clone, Debug)]
428pub struct AssociatedTypeEquals<Type, Value>(pub Type, pub Value);
429
430/// Adds a "dyn " before a type expression.
431#[derive(Clone, Debug)]
432pub struct DynOf<Type>(pub Type);
433
434/// Adds a "&" before a type expression
435#[derive(Clone, Debug)]
436pub struct RefOf<Type>(pub Type);
437
438/// Adds an "impl " before a type expression
439pub struct ImplOf<Type>(pub Type);
440
441/// Adds a reference with a lifetime before a type expression, i.e. `&'<lifetime> <type>`
442#[derive(Clone, Debug)]
443pub struct LifetimedRefOf<'l, Type>(pub &'l str, pub Type);
444
445/// Declares an associated type, rendering as `type VarName = Value;`.
446/// Adds new lines before and after.
447#[derive(Clone, Debug)]
448pub struct AssociatedTypeDef<VarName, Value>(pub VarName, pub Value);
449
450/// The declaration of a trait
451#[derive(Clone, Debug)]
452pub struct TraitDef<Mods, Name, TypeVars, SuperTraits, Body> {
453 /// The trait modifiers, e.g. visibility. Must be a sequence.
454 pub mods: Mods,
455 /// The name of the trait
456 pub name: Name,
457 /// The type variables. Must be a sequence
458 pub type_variables: TypeVars,
459 /// The super traits. Must be a sequence
460 pub super_traits: SuperTraits,
461 /// The trait definition's body. Use [NoOp] if none exists.
462 pub body: Body,
463}
464
465impl<Mods, Name, TypeVars, SuperTraits, Body> CanHaveAttributes
466 for TraitDef<Mods, Name, TypeVars, SuperTraits, Body>
467{
468 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
469 WithAttributes {
470 attr,
471 separator: AttributeSeparator::NewLine,
472 value: self,
473 }
474 }
475}
476
477/// The implementation declaration for a trait, applying to a certain receiver.
478#[derive(Clone, Debug)]
479pub struct TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body> {
480 /// The modifiers on the `impl` block.
481 /// Set to [NoOpSeq] for none, or use `SingularSeq(ModUnsafe)` to generate an `unsafe impl`.
482 pub mods: Mods,
483 /// The type variables to use for the impl block itself. All type variables that appear later
484 /// on the trait or the receiver must be declared here, per Rust language rules.
485 ///
486 /// This field must be a sequence.
487 pub type_variables: TypeVars,
488 /// The trait being implemented
489 pub the_trait: Trait,
490 /// The receiver for which it is implemented
491 pub receiver: Recv,
492 /// The "where" conditions. Must be a sequence. Set to [NoOpSeq] to disable.
493 /// Will render as `where C1, C2, C3, ...` where CX is a value in the sequence.
494 pub where_conds: Where,
495 /// The body. Use [NoOp] if none exists.
496 pub body: Body,
497}
498
499impl<Mods, TypeVars, Trait, Recv, Where, Body> CanHaveAttributes
500 for TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body>
501{
502 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
503 WithAttributes {
504 attr,
505 separator: AttributeSeparator::NewLine,
506 value: self,
507 }
508 }
509}
510
511/// The declaration of a struct.
512#[derive(Clone, Debug)]
513pub struct StructDef<Mods, Name, Elements> {
514 /// The struct modifiers. Must be a sequence.
515 pub mods: Mods,
516 /// The kind of the struct.
517 ///
518 /// It is suggested to use either a [NamedTuple] or [StructCall]. A semicolon will be
519 /// automatically added afterward, as is needed for tuple structs, and this semicolon will not
520 /// affect structs with named fields.
521 pub kind: StructKind<Name, Elements>,
522}
523
524impl<Mods, Name, Elements> CanHaveAttributes for StructDef<Mods, Name, Elements> {
525 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
526 WithAttributes {
527 attr,
528 separator: AttributeSeparator::NewLine,
529 value: self,
530 }
531 }
532}
533
534/// Completes the struct definition as either a named tuple or a struct with named fields.
535#[derive(Clone, Debug)]
536pub enum StructKind<Name, Elements> {
537 /// A named tuple. This will function similarly to [NamedTuple], except a semicolon will
538 /// be added afterward.
539 ///
540 /// `Name` must be writable, and `Elements` must be a writable sequence for the tuple arguments.
541 Tuple(Name, Elements),
542 /// A struct with named fields. This will function similarly to [StructCall].
543 ///
544 /// `Name` must be writable, and `Elements` must be writable sequence for the struct fields.
545 NamedFields(Name, Elements),
546}
547
548/// The construction or deconstruction of a struct.
549///
550/// When rendered, will use the format `Name { Body }`. Spaces will be added automatically.
551///
552/// This should **not** be used for tuple structs, for that see [NamedTuple].
553#[derive(Clone, Debug)]
554pub struct StructCall<Name, Body> {
555 /// The struct name. Must be writable.
556 ///
557 /// If you are declaring a struct for the first time, you can use [Parameterized] in order
558 /// to declare type variables.
559 pub name: Name,
560 /// The body. Must be writable.
561 ///
562 /// It is suggested to use [StructFields] for multiple fields, or [DeclareField] for just one.
563 pub body: Body,
564}
565
566/// Named struct fields. This will place every field on a new line with a comma afterward.
567/// It is recommended that the sequence should pass [DeclareField].
568///
569/// If you have a single field, you can skip using a sequence and just use [DeclareField] directly.
570pub struct StructFields<Fields>(pub Fields);
571
572/// Declares a single field within a struct. Renders as `Name: Value`.
573///
574/// Does not add attributes. If you want to use attributes for declaration purposes, you can use
575/// [CanHaveAttributes::with_attributes] on this field.
576pub struct DeclareField<Name, Value>(pub Name, pub Value);
577
578impl<Name, Value> CanHaveAttributes for DeclareField<Name, Value> {
579 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
580 WithAttributes {
581 attr,
582 separator: AttributeSeparator::NewLine,
583 value: self,
584 }
585 }
586}
587
588/// A named tuple type.
589///
590/// Renders as `Name(A1, A2, A3, ...)` where AX is part of the argument sequence.
591/// If no arguments exist, will render only as `Name` (i.e., a unit struct).
592pub struct NamedTuple<Name, Args> {
593 pub name: Name,
594 pub args: Args,
595}
596
597/// An anonymous tuple type. This struct's tuple value must be a sequence.
598///
599/// Renders as `(A1, A2, A3, ...)` where AX is part of the argument sequence.
600#[derive(Clone, Debug)]
601pub struct AnonTuple<Args>(pub Args);
602
603/// The unit type, i.e. `()`
604pub type UnitType = AnonTuple<NoOpSeq>;
605
606impl AnonTuple<NoOpSeq> {
607 /// Creates
608 pub fn unit() -> Self {
609 Self(NoOpSeq)
610 }
611}
612
613/// Adds attributes to ANY item.
614///
615/// The first tuple value must be a sequence. The second must be a writable value. This struct
616/// is typically constructed via [CanHaveAttributes::with_attributes].
617///
618/// Rust attributes can be put in many places, so this enables you to add attributes to any
619/// writable item. For example, adding attributes to function parameters can be done like so:
620///
621/// ```rust
622/// # use async_codegen::common::{SingularSeq, Str};
623/// # use async_codegen::context::EmptyContext;
624/// # use async_codegen::rust::{Cfg, FunctionParam, MustUse, Target, WithAttributes, CanHaveAttributes};
625/// # use async_codegen::util::InMemoryOutput;
626///
627/// let function_param = FunctionParam(Str("conditional_param"), Str("Fd")).with_attributes(
628/// SingularSeq(Cfg(Target::Os(Str("linux"))))
629/// );
630/// let string = InMemoryOutput::print_output(EmptyContext, &function_param);
631/// assert_eq!("#[cfg(target_os = \"linux\")] conditional_param: Fd", string);
632/// ```
633#[derive(Clone, Debug)]
634pub struct WithAttributes<Attr, Value> {
635 /// The attributes. Must be a sequence.
636 pub attr: Attr,
637 /// The separator between each attribute
638 pub separator: AttributeSeparator,
639 /// The value
640 pub value: Value,
641}
642
643#[derive(Copy, Clone, Debug)]
644pub enum AttributeSeparator {
645 Space,
646 NewLine,
647}
648
649/// A writable that can have attributes attached to it
650pub trait CanHaveAttributes: Sized {
651 /// Adds attributes to this writable
652 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self>;
653}
654
655/// Defines an enum.
656///
657/// In order to use or refer to an enum, you can use [AssociatedItem] together with [NamedTuple]
658/// or [StructCall].
659pub struct EnumDef<Mods, Name, Entries> {
660 /// The modifiers on the type. Must be a sequence.
661 pub mods: Mods,
662 /// The name of the enum
663 pub name: Name,
664 /// The enum entries. Must be a sequence, each entry will be written on a new line with a comma
665 ///
666 /// As for the entries themselves, it is suggested to use [NamedTuple] or [StructCall]
667 /// depending on which kind of enum entry you want to create.
668 pub entries: Entries,
669}
670
671impl<Mods, Name, Entries> CanHaveAttributes for EnumDef<Mods, Name, Entries> {
672 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
673 WithAttributes {
674 attr,
675 separator: AttributeSeparator::NewLine,
676 value: self,
677 }
678 }
679}
680
681/// A type argument-parameterized expression. Used in relation to parameterized names and their
682/// arguments. Examples: `function_name<args>`, `TypeName<'lifetime, args>`, `MyType<Assoc=Value>`.
683///
684/// If no type args exist, [NoOpSeq] should be used. In any case, the second tuple value of this
685/// struct must be a sequence.
686#[derive(Clone, Debug)]
687pub struct Parameterized<Name, TypeArgs>(pub Name, pub TypeArgs);
688
689/// A type variable with a sequence of bounds.
690/// Will render as `TypeVar: B1 + B2 + ...`
691#[derive(Clone, Debug)]
692pub struct BoundedTypeVar<TypeVar, Bounds>(pub TypeVar, pub Bounds);
693
694/// A standalone lifetime, intended to be used as a type argument or variable
695#[derive(Clone, Debug)]
696pub struct Lifetime<'l>(pub &'l str);
697
698/// Renders an individual function parameter, `Name: Type`
699#[derive(Clone, Debug)]
700pub struct FunctionParam<Name, Type>(pub Name, pub Type);
701
702impl<Name, Type> CanHaveAttributes for FunctionParam<Name, Type> {
703 fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self> {
704 WithAttributes {
705 attr,
706 separator: AttributeSeparator::Space,
707 value: self,
708 }
709 }
710}
711
712/// A sequence acceptor that writes attributes. Every attribute will be surrounded with "#[]"
713#[derive(Debug)]
714pub struct AttributesAccept<'o, O, Sep> {
715 inner: SurroundingSeqAccept<'o, O, Str<&'static str>, Combined<Str<&'static str>, Sep>>,
716}
717
718impl<'o, O, Sep> AttributesAccept<'o, O, Sep> {
719 pub fn with_separator(output: &'o mut O, separator: Sep) -> Self {
720 Self {
721 inner: SurroundingSeqAccept::new(output, Str("#["), Combined(Str("]"), separator)),
722 }
723 }
724}
725
726impl<'o, O, Sep> SequenceAccept<O> for AttributesAccept<'o, O, Sep>
727where
728 O: Output,
729 Sep: Writable<O>,
730{
731 async fn accept<W: Writable<O>>(&mut self, writable: &W) -> Result<(), O::Error> {
732 self.inner.accept(writable).await
733 }
734}