|
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Records the unfolding of an identifier, which is approximately the form the
identifier would have if we substituted its definition in for the identifier.
This type should be treated as abstract everywhere except in CoreUnfold
| Instances | |
|
|
|
When unfolding should take place
| Instances | |
|
|
|
There is no known Unfolding
|
|
|
|
|
|
|
|
|
|
|
|
|
This unfolding marks the associated thing as being evaluated
|
|
|
|
|
The constructors that the unfolding could never be:
returns [] if no information is available
|
|
|
Retrieves the template of an unfolding: panics if none is known
|
|
|
Retrieves the template of an unfolding if possible
|
|
|
Determines if it possibly the case that the unfolding will
yield a value. Unlike isValueUnfolding it returns True
for OtherCon
|
|
|
Determines if it is certainly the case that the unfolding will
yield a value (something in HNF): returns False if unsure
|
|
|
|
|
Must this unfolding happen for the code to be executable?
|
|
|
Do we have an available or compulsory unfolding?
|
|
|
Only returns False if there is no unfolding information available at all
|
|
|
Similar to not . hasUnfolding, but also returns True
if it has an unfolding that says it should never occur
|
|
|
|
|
Constructors | TrivArg | | NonTrivArg | | ValueArg | |
| Instances | |
|
|
|
|
|
|
|
|
|
|
|
Constructors | BoringCtxt | | ArgCtxt Bool Int | | ValAppCtxt | | CaseCtxt | |
| Instances | |
|
|
Produced by Haddock version 2.6.1 |