connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.

Index - T

transitive_eqData.Prd.Property
transitive_leData.Prd.Property
transitive_ltData.Prd.Property
trichotomousData.Prd.Property
Trip 
1 (Type/Class)Data.Connection
2 (Data Constructor)Data.Connection
triplData.Connection
triprData.Connection