1.2 KiB
1.2 KiB
The ParamEnv type
Summary
The ParamEnv is used to store information about the environment that we are interacting with the type system from. For example the set of in-scope where-clauses is stored in ParamEnv as it differs between each item whereas the list of user written impls is not stored in the ParamEnv as this does not change for each item.
This chapter of the dev guide covers:
- A high level summary of what a
ParamEnvis and what it is used for - Technical details about what the process of constructing a
ParamEnvinvolves - Guidance about how to acquire a
ParamEnvwhen one is required
Bundling
A useful API on ParamEnv is the and method which allows bundling a value with the ParamEnv. The and method produces a ParamEnvAnd<T> making it clearer that using the inner value is intended to be done in that specific environment.