tamarin-prover-utils-0.8.5.1: Utility library for the tamarin prover.

MaintainerSimon Meier <iridcode@gmail.com>
Safe HaskellSafe-Inferred

Extension.Data.Monoid

Description

A variant of Data.Monoid that also exports '()' for mappend.

Synopsis

Documentation

newtype MinMax a Source

A newtype wrapper around Maybe that returns a tuple of the minimum and maximum value encountered, if there was any.

Constructors

MinMax 

Fields

getMinMax :: Maybe (a, a)
 

Instances

Ord a => Monoid (MinMax a) 

minMaxSingleton :: a -> MinMax aSource

Construct a MinMax value from a singleton value.