diff --git a/core/src/Streamly/Unicode/Stream.hs b/core/src/Streamly/Unicode/Stream.hs index c766821204..8cb1ca8133 100644 --- a/core/src/Streamly/Unicode/Stream.hs +++ b/core/src/Streamly/Unicode/Stream.hs @@ -75,11 +75,17 @@ -- module Streamly.Unicode.Stream ( + DecodeState + , DecodeError(..) + , CodePoint + -- * Construction (Decoding) - decodeLatin1 + , decodeLatin1 , decodeUtf8 , decodeUtf8' , decodeUtf8Chunks + , decodeUtf8Either + , resumeDecodeUtf8Either -- * Elimination (Encoding) , encodeLatin1 @@ -87,6 +93,7 @@ module Streamly.Unicode.Stream , encodeUtf8 , encodeUtf8' , encodeStrings + {- -- * Operations on character strings , strip -- (dropAround isSpace)