Algebra.Lattice.Free.Final

Free Lattice

data FLattice a

Instances

Functor FLattice

Defined in Algebra.Lattice.Free.Final

Methods

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

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

Universe a => Universe (FLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

universe :: [FLattice a]

Finite a => Finite (FLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

universeF :: [FLattice a]

cardinality :: Tagged (FLattice a) Natural

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (FLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

top :: FLattice a

BoundedJoinSemiLattice a => BoundedJoinSemiLattice (FLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

bottom :: FLattice a

Lattice (FLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

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

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

liftFLattice :: a -> FLattice a

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

retractFLattice :: Lattice a => FLattice a -> a

Free BoundedLattice

data FBoundedLattice a

Instances

Functor FBoundedLattice

Defined in Algebra.Lattice.Free.Final

Methods

fmap :: (a -> b) -> FBoundedLattice a -> FBoundedLattice b

(<$) :: a -> FBoundedLattice b -> FBoundedLattice a

Universe a => Universe (FBoundedLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

universe :: [FBoundedLattice a]

Finite a => Finite (FBoundedLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

universeF :: [FBoundedLattice a]

cardinality :: Tagged (FBoundedLattice a) Natural

BoundedMeetSemiLattice (FBoundedLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

top :: FBoundedLattice a

BoundedJoinSemiLattice (FBoundedLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

bottom :: FBoundedLattice a

Lattice (FBoundedLattice a)

Defined in Algebra.Lattice.Free.Final

Methods

(\/) :: FBoundedLattice a -> FBoundedLattice a -> FBoundedLattice a

(/\) :: FBoundedLattice a -> FBoundedLattice a -> FBoundedLattice a

liftFBoundedLattice :: a -> FBoundedLattice a

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

retractFBoundedLattice :: BoundedLattice a => FBoundedLattice a -> a