| License | BSD-3-Clause (see the file LICENSE) |
|---|---|
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Algebra.Lattice.Free
Description
Synopsis
- data FreeJoinSemiLattice a
- liftFreeJoinSemiLattice :: a -> FreeJoinSemiLattice a
- lowerFreeJoinSemiLattice :: FreeJoinSemiLattice a -> forall b. JoinSemiLattice b => (a -> b) -> b
- retractFreeJoinSemiLattice :: JoinSemiLattice a => FreeJoinSemiLattice a -> a
- data FreeMeetSemiLattice a
- liftFreeMeetSemiLattice :: a -> FreeMeetSemiLattice a
- lowerFreeMeetSemiLattice :: FreeMeetSemiLattice a -> forall b. MeetSemiLattice b => (a -> b) -> b
- retractFreeMeetSemiLattice :: MeetSemiLattice a => FreeMeetSemiLattice a -> a
- data FreeLattice a
- liftFreeLattice :: a -> FreeLattice a
- lowerFreeLattice :: FreeLattice a -> forall b. Lattice b => (a -> b) -> b
- retractFreeLattice :: Lattice a => FreeLattice a -> a
Free join-semilattices
data FreeJoinSemiLattice a Source #
Instances
| Functor FreeJoinSemiLattice Source # | |
Defined in Algebra.Lattice.Free Methods fmap :: (a -> b) -> FreeJoinSemiLattice a -> FreeJoinSemiLattice b # (<$) :: a -> FreeJoinSemiLattice b -> FreeJoinSemiLattice a # | |
| Universe a => Universe (FreeJoinSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods universe :: [FreeJoinSemiLattice a] # | |
| Finite a => Finite (FreeJoinSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods universeF :: [FreeJoinSemiLattice a] # | |
| BoundedJoinSemiLattice a => BoundedJoinSemiLattice (FreeJoinSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods bottom :: FreeJoinSemiLattice a Source # | |
| JoinSemiLattice (FreeJoinSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods (\/) :: FreeJoinSemiLattice a -> FreeJoinSemiLattice a -> FreeJoinSemiLattice a Source # join :: FreeJoinSemiLattice a -> FreeJoinSemiLattice a -> FreeJoinSemiLattice a Source # | |
liftFreeJoinSemiLattice :: a -> FreeJoinSemiLattice a Source #
lowerFreeJoinSemiLattice :: FreeJoinSemiLattice a -> forall b. JoinSemiLattice b => (a -> b) -> b Source #
retractFreeJoinSemiLattice :: JoinSemiLattice a => FreeJoinSemiLattice a -> a Source #
Free meet-semilattices
data FreeMeetSemiLattice a Source #
Instances
| Functor FreeMeetSemiLattice Source # | |
Defined in Algebra.Lattice.Free Methods fmap :: (a -> b) -> FreeMeetSemiLattice a -> FreeMeetSemiLattice b # (<$) :: a -> FreeMeetSemiLattice b -> FreeMeetSemiLattice a # | |
| Universe a => Universe (FreeMeetSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods universe :: [FreeMeetSemiLattice a] # | |
| Finite a => Finite (FreeMeetSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods universeF :: [FreeMeetSemiLattice a] # | |
| BoundedMeetSemiLattice a => BoundedMeetSemiLattice (FreeMeetSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods top :: FreeMeetSemiLattice a Source # | |
| MeetSemiLattice (FreeMeetSemiLattice a) Source # | |
Defined in Algebra.Lattice.Free Methods (/\) :: FreeMeetSemiLattice a -> FreeMeetSemiLattice a -> FreeMeetSemiLattice a Source # meet :: FreeMeetSemiLattice a -> FreeMeetSemiLattice a -> FreeMeetSemiLattice a Source # | |
liftFreeMeetSemiLattice :: a -> FreeMeetSemiLattice a Source #
lowerFreeMeetSemiLattice :: FreeMeetSemiLattice a -> forall b. MeetSemiLattice b => (a -> b) -> b Source #
retractFreeMeetSemiLattice :: MeetSemiLattice a => FreeMeetSemiLattice a -> a Source #
Free lattices
data FreeLattice a Source #
Instances
liftFreeLattice :: a -> FreeLattice a Source #
lowerFreeLattice :: FreeLattice a -> forall b. Lattice b => (a -> b) -> b Source #
retractFreeLattice :: Lattice a => FreeLattice a -> a Source #