Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | apply.lux | 2374 | logplain |
-rw-r--r-- | codec.lux | 714 | logplain |
-rw-r--r-- | enum.lux | 956 | logplain |
-rw-r--r-- | equivalence.lux | 655 | logplain |
-rw-r--r-- | fold.lux | 651 | logplain |
-rw-r--r-- | functor.lux | 1867 | logplain |
-rw-r--r-- | interval.lux | 9015 | logplain |
-rw-r--r-- | monad.lux | 2005 | logplain |
-rw-r--r-- | monoid.lux | 702 | logplain |
-rw-r--r-- | order.lux | 881 | logplain |