Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | algebra.lux | 270 | logplain |
-rw-r--r-- | apply.lux | 1018 | logplain |
-rw-r--r-- | codec.lux | 626 | logplain |
-rw-r--r-- | comonad.lux | 2400 | logplain |
-rw-r--r-- | enum.lux | 602 | logplain |
-rw-r--r-- | equivalence.lux | 1106 | logplain |
-rw-r--r-- | fold.lux | 420 | logplain |
-rw-r--r-- | functor.lux | 657 | logplain |
-rw-r--r-- | hash.lux | 744 | logplain |
-rw-r--r-- | interval.lux | 6003 | logplain |
-rw-r--r-- | monad.lux | 4379 | logplain |
d--------- | monad | 75 | logplain |
-rw-r--r-- | monoid.lux | 598 | logplain |
-rw-r--r-- | order.lux | 1185 | logplain |
-rw-r--r-- | predicate.lux | 1383 | logplain |