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 []

Defined in Data.Comp.DeepSeq

Methods

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

NFDataF Maybe

Defined in Data.Comp.DeepSeq

Methods

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

NFData a => NFDataF ((,) a)

Defined in Data.Comp.DeepSeq

Methods

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

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

Defined in Data.Comp.DeepSeq

Methods

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

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

Defined in Data.Comp.DeepSeq

Methods

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

Orphan instances

NFDataF []

Methods

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

NFDataF Maybe

Methods

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

NFData a => NFDataF ((,) a)

Methods

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

(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 a0 => (f :&: a) a0 -> ()

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

Methods

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