|
|
|
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
|
class Instantiate t where | Source |
|
Instantiate something.
Results in an open meta variable or a non meta.
Doesn't do any reduction, and preserves blocking tags (when blocking meta
is uninstantiated).
| | Methods | | | Instances | |
|
|
|
| Methods | | | Instances | |
|
|
|
If the first argument is True, then a single delayed clause may
be unfolded.
|
|
Normalisation
|
|
|
| Methods | | | Instances | |
|
|
Full instantiation
|
|
class InstantiateFull t where | Source |
|
| Methods | | | Instances | |
|
|
|
|
Produced by Haddock version 2.4.2 |