lattices-2.1: Fine-grained library for constructing and manipulating lattices
Copyright (C) 2010-2015 Maximilian Bolingbroke 2015 Oleg Grenrus
License BSD-3-Clause (see the file LICENSE)
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Safe Haskell Safe
Language Haskell2010

Algebra.PartialOrd.Instances

Description

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

Orphan instances

( PartialOrd v, Finite v) => PartialOrd ( Endo v) Source #
Instance details

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

Eq (k -> v) is from Eq

Instance details

Methods

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

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