Commits

Anonymous committed 9e501ce

.

Comments (0)

Files changed (1)

 и возвращать её в IE_cont None, и возвращать пустой поток.  Существует
 значение empty_stream, равное чанку, не содержащему никаких данных.
 
-  Кроме того, мы должны возвращать значение из базовой монады,
+  У нас в peek это правило выполняется неявно: в случае, когда
+S.is_empty c = True, очевидно, что поток s пустой, поэтому нет ничего
+плохого в том, чтобы возвратить именно s вместо empty_stream.
+
+  Кроме того, мы должны возвращать значение из базовой монады --
 посмотрите на код "IO.return (IE_cont None step, s)", поэтому лучше
-указать, что комбинатор работает с базовой монадой.
+указать в имени комбинатора, что он работает именно с базовой монадой,
+для чего укажем суффикс "M".
 
   Итого, получается следующий комбинатор: