Module generics

Module generics 

Source
Expand description

Generic type parameters for Joule AST

This module defines AST nodes for generic type parameters, bounds, and arguments.

Structs§

GenericArgs
Generic arguments at a use site: <i32, String> or <T = i32>
GenericParam
A single generic parameter: T or T: Clone + Debug
GenericParams
Generic parameters on a function or type definition: <T, U: Clone>
TypeBound
A type bound on a generic parameter: Clone or Iterator<Item = T>
WhereClause
Where clause for additional bounds: where T: Clone, U: Debug
WherePredicate
A single predicate in a where clause: T: Clone + Debug

Enums§

GenericArg
A single generic argument