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

Algebra.Lattice.Free.Final

Contents

Description

Synopsis

Free Lattice

Instances details

Functor FLattice Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods fmap :: (a -> b) -> FLattice a -> FLattice b # (<$) :: a -> FLattice b -> FLattice a #
BoundedJoinSemiLattice a => BoundedJoinSemiLattice (FLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods bottom :: FLattice a Source #
BoundedMeetSemiLattice a => BoundedMeetSemiLattice (FLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods top :: 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 #
Finite a => Finite (FLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods universeF :: [FLattice a] # cardinality :: Tagged (FLattice a) Natural #
Universe a => Universe (FLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods universe :: [FLattice a] #

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

Free BoundedLattice

Instances details

Functor FBoundedLattice Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods fmap :: (a -> b) -> FBoundedLattice a -> FBoundedLattice b # (<$) :: a -> FBoundedLattice b -> FBoundedLattice a #
BoundedJoinSemiLattice (FBoundedLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods bottom :: FBoundedLattice a Source #
BoundedMeetSemiLattice (FBoundedLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods top :: FBoundedLattice a Source #
Lattice (FBoundedLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods (\/) :: FBoundedLattice a -> FBoundedLattice a -> FBoundedLattice a Source # (/\) :: FBoundedLattice a -> FBoundedLattice a -> FBoundedLattice a Source #
Finite a => Finite (FBoundedLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods universeF :: [FBoundedLattice a] # cardinality :: Tagged (FBoundedLattice a) Natural #
Universe a => Universe (FBoundedLattice a) Source #
Instance details Defined in Algebra.Lattice.Free.Final Methods universe :: [FBoundedLattice a] #