lattices-2.1: Fine-grained library for constructing and manipulating lattices
Safe HaskellSafe-Inferred
LanguageHaskell2010

Algebra.Lattice.Unicode

Description

This module provides Unicode variants of the operators.

Unfortunately, ⊤, ⊥, and ¬ don't fit into Haskell lexical structure well.

Synopsis

Documentation

(∧) :: Lattice a => a -> a -> a infixr 6 Source #

Meet, alias for /\.

(∨) :: Lattice a => a -> a -> a infixr 5 Source #

Join, alias for \/.

(⟹) :: Heyting a => a -> a -> a infixr 4 Source #

Implication, alias for ==>.

(⟺) :: Heyting a => a -> a -> a infix 4 Source #

Equivalence, alias for <=>.