connections-0.1.0: Orders, Galois connections, and lattices.

Safe HaskellSafe
LanguageHaskell2010

Data.Connection.Ordering

Documentation

ordbin :: Conn Ordering Bool Source #

binord :: Conn Bool Ordering Source #