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