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 -> ()

Instances

NFDataF []

NFDataF Maybe

NFData a0 => NFDataF ((,) a0)

(NFDataF f, NFDataF g) => NFDataF (:+: f g)

rnfF' :: (Foldable f, NFDataF f, NFData a) => f a -> ()

Fully evaluate a value over a foldable signature.