lattices-2.0.2: 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.Final

Contents

Description

 
Synopsis

Free Lattice

data FLattice a Source #

Instances
Functor FLattice Source # 
Instance details

Defined in Algebra.Lattice.Free.Final

Methods

fmap :: (a -> b) -> FLattice a -> FLattice b #

(<$) :: a -> FLattice b -> FLattice a #

Universe a => Universe (FLattice a) Source # 
Instance details

Defined in Algebra.Lattice.Free.Final

Methods

universe :: [FLattice a] #

Finite a => Finite (FLattice a) Source # 
Instance details

Defined in Algebra.Lattice.Free.Final

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (FLattice a) Source # 
Instance details

Defined in Algebra.Lattice.Free.Final

Methods

top :: FLattice a Source #

BoundedJoinSemiLattice a => BoundedJoinSemiLattice (FLattice a) Source # 
Instance details

Defined in Algebra.Lattice.Free.Final

Methods

bottom :: FLattice a Source #

Lattice (FLattice a) Source # 
Instance details

Defined in Algebra.Lattice.Free.Final

Methods

(\/) :: FLattice a -> FLattice a -> FLattice a Source #

(/\) :: FLattice a -> FLattice a -> FLattice a Source #

lowerFLattice :: FLattice a -> forall b. Lattice b => (a -> b) -> b Source #

Free BoundedLattice

lowerFBoundedLattice :: FBoundedLattice a -> forall b. BoundedLattice b => (a -> b) -> b Source #