Add query functions on `TypeDefinition` - Githubissues

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

821 stars 177 forks source link

Add query functions on `TypeDefinition` #5285

Closed jfecher closed 1 week ago

jfecher commented 2 weeks ago

Problem

To work with TypeDefinition objects the user needs to be provided some query functions to be able to inspect the type.

Happy Case

We should add at least:

fn generics(self) -> [Token]
fn as_type(self) -> Type
fn fields(self) -> [(Token, Type)]

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

jfecher commented 1 week ago

Implemented by https://github.com/noir-lang/noir/pull/5310