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

Safe HaskellNone

LogicGrowsOnTrees.Utils.IntSum

Description

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

Synopsis

Documentation

data IntSum Source

An unpacked Int whose Monoid instance is addition.

Constructors

IntSum 

Fields

getIntSum :: !Int
 

Instances

Eq IntSum 
Show IntSum 
Typeable IntSum 
Monoid IntSum

This instance sums the two contained Ints.

Serialize IntSum

This instance is equivalent to the instance for Int.