LogicGrowsOnTrees-1.0.0: a distributed (parallel) implementation of logic programming via dynamically generated trees

Safe HaskellNone

LogicGrowsOnTrees.Utils.WordSum

Description

This module contains a type that specializes the Sum Monoid to Word.

Synopsis

Documentation

data WordSum Source

An unpacked Word whose Monoid instance is addition.

Constructors

WordSum 

Fields

getWordSum :: !Word
 

Instances

Eq WordSum 
Show WordSum 
Typeable WordSum 
Monoid WordSum

This instance sums the two contained Words.

Serialize WordSum

This instance is equivalent to the instance for Word.