| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Either.php | 2023-03-08 00:09 | 2.9K | ||
| Either/ | 2023-03-08 00:09 | - | ||
| IO.php | 2023-03-08 00:09 | 1.6K | ||
| IO/ | 2023-03-08 00:09 | - | ||
| Just.php | 2023-03-08 00:09 | 1.8K | ||
| Left.php | 2023-03-08 00:09 | 1.5K | ||
| ListMonad.php | 2023-03-08 00:09 | 2.1K | ||
| ListMonad/ | 2023-03-08 00:09 | - | ||
| Maybe.php | 2023-03-08 00:09 | 3.5K | ||
| Maybe/ | 2023-03-08 00:09 | - | ||
| Monad.php | 2023-03-08 00:09 | 450 | ||
| Nothing.php | 2023-03-08 00:09 | 1.6K | ||
| Reader.php | 2023-03-08 00:09 | 2.0K | ||
| Reader/ | 2023-03-08 00:09 | - | ||
| Right.php | 2023-03-08 00:09 | 1.8K | ||
| State.php | 2023-03-08 00:09 | 1.7K | ||
| State/ | 2023-03-08 00:09 | - | ||
| Writer.php | 2023-03-08 00:09 | 1.9K | ||
| Writer/ | 2023-03-08 00:09 | - | ||
| functions.php | 2023-03-08 00:09 | 4.6K | ||