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

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

Extension.Data.Bounded

Description

Monoids for bounded types.

Synopsis

Documentation

newtype BoundedMax a Source

A newtype wrapper for a monoid of the maximum of a bounded type.

Constructors

BoundedMax 

Fields

getBoundedMax :: a
 

Instances

Eq a => Eq (BoundedMax a) 
Ord a => Ord (BoundedMax a) 
Show a => Show (BoundedMax a) 
(Ord a, Bounded a) => Monoid (BoundedMax a) 

newtype BoundedMin a Source

A newtype wrapper for a monoid of the minimum of a bounded type.

Constructors

BoundedMin 

Fields

getBoundedMin :: a
 

Instances

Eq a => Eq (BoundedMin a) 
Ord a => Ord (BoundedMin a) 
Show a => Show (BoundedMin a) 
(Ord a, Bounded a) => Monoid (BoundedMin a)