Safe Haskell	Safe-Inferred
Language	Haskell2010

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 <=> .