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

Copyright(c) 2012 Simon Meier
LicenseGPL v3 (see LICENSE)
MaintainerSimon Meier <iridcode@gmail.com>
Safe HaskellSafe
LanguageHaskell98

Extension.Data.Monoid

Description

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

Synopsis

Documentation

newtype MinMax a #

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

Constructors

MinMax 

Fields

Instances

Ord a => Monoid (MinMax a) # 

Methods

mempty :: MinMax a #

mappend :: MinMax a -> MinMax a -> MinMax a #

mconcat :: [MinMax a] -> MinMax a #

minMaxSingleton :: a -> MinMax a #

Construct a MinMax value from a singleton value.