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

(NFDataF f, NFData a) => NFDataF ((:&:) f a)

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