Data.Comp.DeepSeq

This module defines full evaluation of signatures, which lifts to full evaluation of terms and contexts.

Documentation

class NFDataF f where

Signature normal form. An instance NFDataF f gives rise to an instance NFData (Term f).

Methods

rnfF :: NFData a => f a -> ()