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

Index - T

TopData.Order.Extended
TotalData.Order, Data.Order.Syntax
transitiveData.Order.Property
transitive_eqData.Order.Property
transitive_leData.Order.Property
transitive_ltData.Order.Property
trichotomousData.Order.Property
trichotomous_ltData.Order.Property
TripData.Connection.Conn, Data.Connection.Class, Data.Connection
tripData.Connection.Conn
TripleData.Connection.Class, Data.Connection
trueData.Lattice
truncateData.Connection
truncate1Data.Connection
truncate2Data.Connection