@@ -725,7 +725,7 @@ unfoldrNI n f s0 | n < 0 = empty
725725-------------------------------------------------------------------------------
726726-- * Substreams
727727
728−-- | /O(n)/ take n, applied to a stream, returns the prefix of the
728+-- | /O(n)/ @'take' n@, applied to a stream, returns the prefix of the
729729-- stream of length @n@, or the stream itself if @n@ is greater than the
730730-- length of the stream.
731731take :: Integral a => a -> Stream Char -> Stream Char
@@ -743,7 +743,7 @@ take n0 (Stream next0 s0 len) =
743743data Drop a s = NS !s
744744 | JS !a !s
745745
746−-- | /O(n)/ drop n, applied to a stream, returns the suffix of the
746+-- | /O(n)/ @'drop' n@, applied to a stream, returns the suffix of the
747747-- stream after the first @n@ characters, or the empty stream if @n@
748748-- is greater than the length of the stream.
749749drop :: Integral a => a -> Stream Char -> Stream Char
@@ -763,8 +763,8 @@ drop n0 (Stream next0 s0 len) =
763763 Yield x s' -> Yield x (NS s')
764764{-# INLINE [0] drop #-}
765765
766−-- | takeWhile, applied to a predicate @p@ and a stream, returns the
767−-- longest prefix (possibly empty) of elements that satisfy p.
766+-- | 'takeWhile', applied to a predicate @p@ and a stream, returns the
767+-- longest prefix (possibly empty) of elements that satisfy @p@.
768768takeWhile :: (Char -> Bool) -> Stream Char -> Stream Char
769769takeWhile p (Stream next0 s0 len) = Stream next s0 len -- HINT maybe too high
770770 where
@@ -776,7 +776,7 @@ takeWhile p (Stream next0 s0 len) = Stream next s0 len -- HINT maybe too high
776776 | otherwise -> Done
777777{-# INLINE [0] takeWhile #-}
778778
779−-- | dropWhile @p @xs returns the suffix remaining after takeWhile @p @xs.
779+-- | @'dropWhile' p xs@ returns the suffix remaining after @'takeWhile' p xs@.
780780dropWhile :: (Char -> Bool) -> Stream Char -> Stream Char
781781dropWhile p (Stream next0 s0 len) = Stream next (L s0) len -- HINT maybe too high
782782 where
@@ -812,7 +812,7 @@ isPrefixOf (Stream next1 s1 _) (Stream next2 s2 _) = loop (next1 s1) (next2 s2)
812812-------------------------------------------------------------------------------
813813-- ** Searching by equality
814814
815−-- | /O(n)/ elem is the stream membership predicate.
815+-- | /O(n)/ 'elem' is the stream membership predicate.
816816elem :: Char -> Stream Char -> Bool
817817elem w (Stream next s0 _len) = loop_elem s0
818818 where