lattices-1.7.1: Fine-grained library for constructing and manipulating lattices

Copyright(C) 2010-2015 Maximilian Bolingbroke 2015 Oleg Grenrus
LicenseBSD-3-Clause (see the file LICENSE)
MaintainerOleg Grenrus <oleg.grenrus@iki.fi>
Safe HaskellSafe
LanguageHaskell2010

Algebra.PartialOrd.Instances

Contents

Description

This module re-exports orphan instances from Eq module, and (PartialOrd v, Finite k) => PartialOrd (k -> v) instance.

Orphan instances

(PartialOrd v, Finite k) => PartialOrd (k -> v) Source #

Eq (k -> v) is from Eq

Methods

leq :: (k -> v) -> (k -> v) -> Bool Source #

comparable :: (k -> v) -> (k -> v) -> Bool Source #