LogicGrowsOnTrees-1.1: a parallel implementation of logic programming using distributed tree exploration

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.