Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | apply.lux | 869 | logplain |
-rw-r--r-- | codec.lux | 1015 | logplain |
-rw-r--r-- | comonad.lux | 621 | logplain |
d--------- | comonad | 38 | logplain |
-rw-r--r-- | enum.lux | 2572 | logplain |
-rw-r--r-- | equivalence.lux | 2479 | logplain |
-rw-r--r-- | fold.lux | 594 | logplain |
-rw-r--r-- | functor.lux | 2019 | logplain |
d--------- | functor | 45 | logplain |
-rw-r--r-- | hash.lux | 1240 | logplain |
-rw-r--r-- | interval.lux | 9147 | logplain |
-rw-r--r-- | monad.lux | 2444 | logplain |
d--------- | monad | 36 | logplain |
-rw-r--r-- | monoid.lux | 880 | logplain |
-rw-r--r-- | order.lux | 1997 | logplain |
-rw-r--r-- | predicate.lux | 3355 | logplain |