LogicGrowsOnTrees-1.0.0.0.1: a parallel implementation of logic programming using distributed tree exploration
LogicGrowsOnTrees.Utils.WordSum
Description
This module contains a type that specializes the Sum Monoid to Word.
Sum
Monoid
Word
Synopsis
data WordSum Source
An unpacked Word whose Monoid instance is addition.
Constructors
Fields
Instances
This instance sums the two contained Words.
This instance is equivalent to the instance for Word.