Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | apply.lux | 2347 | logplain |
-rw-r--r-- | codec.lux | 639 | logplain |
-rw-r--r-- | enum.lux | 788 | logplain |
-rw-r--r-- | equivalence.lux | 601 | logplain |
-rw-r--r-- | fold.lux | 523 | logplain |
-rw-r--r-- | functor.lux | 1848 | logplain |
d--------- | functor | 45 | logplain |
-rw-r--r-- | interval.lux | 577 | logplain |
-rw-r--r-- | monad.lux | 1941 | logplain |
-rw-r--r-- | monoid.lux | 899 | logplain |
-rw-r--r-- | order.lux | 810 | logplain |