Control.DeepSeq.Bounded.Generics.GSeqable

Generic function version of Seqable (via Generics.SOP).

Probably, a GHC.Generics variant would also be possible.

This metaboilerplate is standard for using the generic deriving facilities of Generics.SOP. Consider seqaid for a turnkey solution.

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DeriveDataTypeable #-}

import Generics.SOP.TH
import Control.DeepSeq.Bounded.Seqable

data TA = A1 TB TA | A2
data TB = B1 Int | B2 TA

deriveGeneric ''TA
deriveGeneric ''TB

main = return $! force_ Propagate (A1 (force_ Propagate (B2 undefined)) A2)

Documentation

grnf_ :: Generic a => SeqNodeKind -> a -> ()

gseq_ :: Generic a => SeqNodeKind -> a -> b -> b

gforce_ :: Generic a => SeqNodeKind -> a -> a