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

Minimal complete definition

rnfF

Methods

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

Orphan instances

NFDataF []

Methods

rnfF :: NFData a => [a] -> ()

NFDataF Maybe

Methods

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

NFData a0 => NFDataF ((,) a0)

Methods

rnfF :: NFData a => (a0, a) -> ()

(NFDataF f, NFData a) => NFData (Cxt h f a)

Methods

rnf :: Cxt h f a -> ()

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

Methods

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

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

Methods

rnfF :: NFData a => (* :+: f) g a -> ()