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

LicenseBSD-3-Clause (see the file LICENSE)
MaintainerOleg Grenrus <oleg.grenrus@iki.fi>
Safe HaskellSafe
LanguageHaskell2010

Algebra.Lattice.Free

Contents

Description

 

Synopsis

Free join-semilattices

Free meet-semilattices

Free lattices

lowerFreeLattice :: FreeLattice a -> forall b. Lattice b => (a -> b) -> b Source #