compdata-0.6.1.4: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>
Safe HaskellNone

Data.Comp.DeepSeq

Description

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

Synopsis

Documentation

class NFDataF f whereSource

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

Methods

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

Instances

NFDataF [] 
NFDataF Maybe 
NFData a0 => NFDataF ((,) a0) 
(NFDataF f, NFDataF g) => NFDataF (:+: f g) 

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

Fully evaluate a value over a foldable signature.