deepseq-bounded-0.5.2: Bounded deepseq, including support for generic deriving

Copyright(c) 2014, Andrew G. Seniuk
LicenseBSD-style (see the file LICENSE)
MaintainerAndrew Seniuk <rasfar@gmail.com>
Stabilityprovisional
PortabilityGHC (uses SOP)
Safe HaskellNone
LanguageHaskell2010

Control.DeepSeq.Bounded.Seqable

Description

This module provides an overloaded function, seq_, for efficiently switching between forcen 0 and forcen 2. This is useful for connecting units of forcing (propagating demand). It was motivated for use with auto-instrumentation, where seq_ can be injected at every node of the AST (refer to the seqaid project). Each node carries a couple bits of information, determining which depth (0 or 2) is in force, and whether to spark parallel evaluation when the depth is 2. This state can be configured statically or dynamically.

Documentation

rnf_ :: forall a. Generic a => SeqNodeKind -> a -> () Source

force_ :: forall a. Generic a => SeqNodeKind -> a -> a Source

seq_ :: forall a b. Generic a => SeqNodeKind -> a -> b -> b Source