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

Index - M

maxData.Order.Syntax
max32Data.Connection.Float
max64Data.Connection.Float
maximalData.Connection.Class, Data.Connection
MeetData.Lattice
meetData.Connection.Class, Data.Connection
middleData.Lattice
midpointData.Connection.Conn, Data.Connection.Class, Data.Connection
minData.Order.Syntax
min32Data.Connection.Float
min64Data.Connection.Float
minimalData.Connection.Class, Data.Connection
monotoneData.Connection.Property
monotonicData.Connection.Property
monotonicLData.Connection.Property
monotonicRData.Connection.Property