Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Patrick Bahr <paba@diku.dk> |
This module defines full evaluation of signatures, which lifts to full evaluation of terms and contexts.
Documentation
Signature normal form. An instance NFDataF f
gives rise to an instance
NFData (Term f)
.