NFData型クラス
NFDataとはNormal Form Data(正規形データ)のこと
関数は正規形にできない。関数を除くためにわざわざDataと言っている
正規形まで簡約する関数などを提供する型クラス
seq関数では弱頭部正規形までしか簡約しなかった、NFDataでは最後まで簡約する
Control.DeepSeqで提供される
定義
hsclass NFData a where
rnf :: a -> ()
rnf a = a `seq` () rnf はreduce to normal-formの略引数
a を正規形に変換して () を返す force :: NFData a => a -> a deepseq :: NFData a => a -> b -> b instanceの定義例
primitiveな型は
seq で十分hsinstance NFData Char複合的な型は、
rnf と seq で連結すればいいhsinstance NFData a => NFData (Tree a) where
rnf Empty = ()
rnf (Branch l a r) = rnf l `seq` rnf a `seq` rnf r参考