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

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.