License	BSD-3-Clause (see the file LICENSE)
Maintainer	Oleg Grenrus <oleg.grenrus@iki.fi>
Safe Haskell	Safe
Language	Haskell2010

Algebra.Lattice.Free

Contents

Description

Synopsis

Free join-semilattices

Instances

Functor FreeJoinSemiLattice #
Methods fmap :: (a -> b) -> FreeJoinSemiLattice a -> FreeJoinSemiLattice b # (<$) :: a -> FreeJoinSemiLattice b -> FreeJoinSemiLattice a #
Universe a => Universe (FreeJoinSemiLattice a) #
Methods universe :: [FreeJoinSemiLattice a] #
Finite a => Finite (FreeJoinSemiLattice a) #
Methods universeF :: [FreeJoinSemiLattice a] #
BoundedJoinSemiLattice a => BoundedJoinSemiLattice (FreeJoinSemiLattice a) #
Methods bottom :: FreeJoinSemiLattice a #
JoinSemiLattice (FreeJoinSemiLattice a) #
Methods (\/) :: FreeJoinSemiLattice a -> FreeJoinSemiLattice a -> FreeJoinSemiLattice a # join :: FreeJoinSemiLattice a -> FreeJoinSemiLattice a -> FreeJoinSemiLattice a #

Free meet-semilattices

Instances

Functor FreeMeetSemiLattice #
Methods fmap :: (a -> b) -> FreeMeetSemiLattice a -> FreeMeetSemiLattice b # (<$) :: a -> FreeMeetSemiLattice b -> FreeMeetSemiLattice a #
Universe a => Universe (FreeMeetSemiLattice a) #
Methods universe :: [FreeMeetSemiLattice a] #
Finite a => Finite (FreeMeetSemiLattice a) #
Methods universeF :: [FreeMeetSemiLattice a] #
BoundedMeetSemiLattice a => BoundedMeetSemiLattice (FreeMeetSemiLattice a) #
Methods top :: FreeMeetSemiLattice a #
MeetSemiLattice (FreeMeetSemiLattice a) #
Methods (/\) :: FreeMeetSemiLattice a -> FreeMeetSemiLattice a -> FreeMeetSemiLattice a # meet :: FreeMeetSemiLattice a -> FreeMeetSemiLattice a -> FreeMeetSemiLattice a #

Instances

Functor FreeLattice #
Methods fmap :: (a -> b) -> FreeLattice a -> FreeLattice b # (<$) :: a -> FreeLattice b -> FreeLattice a #
Universe a => Universe (FreeLattice a) #
Methods universe :: [FreeLattice a] #
Finite a => Finite (FreeLattice a) #
Methods universeF :: [FreeLattice a] #
BoundedLattice a => BoundedLattice (FreeLattice a) #

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (FreeLattice a) #
Methods top :: FreeLattice a #
BoundedJoinSemiLattice a => BoundedJoinSemiLattice (FreeLattice a) #
Methods bottom :: FreeLattice a #
Lattice (FreeLattice a) #

MeetSemiLattice (FreeLattice a) #
Methods (/\) :: FreeLattice a -> FreeLattice a -> FreeLattice a # meet :: FreeLattice a -> FreeLattice a -> FreeLattice a #
JoinSemiLattice (FreeLattice a) #
Methods (\/) :: FreeLattice a -> FreeLattice a -> FreeLattice a # join :: FreeLattice a -> FreeLattice a -> FreeLattice a #

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