Index - L
| Lattice | Data.Prd.Lattice |
| le | Data.Prd |
| liftAll | Data.Prd.Nan |
| liftNan | Data.Prd.Nan |
| liftNan' | Data.Prd.Nan |
| list | Data.Connection |
| lower | Data.Connection.Yoneda |
| lower' | Data.Semigroup.Quantale |
| lsbMask | Data.Float |
| lt | Data.Prd |
| ltugn | Data.Dioid.Signed |
connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.