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

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

Extension.Data.Bounded

Description

Monoids for bounded types.

Synopsis

Documentation

newtype BoundedMax a #

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

Constructors

BoundedMax 

Fields

Instances

newtype BoundedMin a #

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

Constructors

BoundedMin 

Fields

Instances