From a4913c420748559aa8bd4618bc97a562e2bd5b8f Mon Sep 17 00:00:00 2001 From: michaelt Date: Wed, 19 Feb 2014 11:15:54 -0500 Subject: generalized signatures --- Pipes/Text/Encoding.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'Pipes/Text/Encoding.hs') diff --git a/Pipes/Text/Encoding.hs b/Pipes/Text/Encoding.hs index 4311ad1..d727c2c 100644 --- a/Pipes/Text/Encoding.hs +++ b/Pipes/Text/Encoding.hs @@ -12,7 +12,7 @@ module Pipes.Text.Encoding -- $lenses Codec , decode - -- * Viewing the Text in a ByteString + -- * \'Viewing\' the Text in a byte stream -- $codecs , utf8 , utf8Pure @@ -57,7 +57,6 @@ import Control.Monad (join) import Data.Word (Word8) import Pipes - type Lens' a b = forall f . Functor f => (b -> f b) -> (a -> f a) {- $lenses @@ -131,11 +130,11 @@ decode codec a = getConstant (codec Constant a) > zoom utf8 drawChar :: Monad m => StateT (Producer ByteString m r) m (Maybe Char) - or, with the type synonymn of @Pipes.Parse@: + or, using the type synonymn from @Pipes.Parse@: > zoom utf8 drawChar :: Monad m => Parser ByteString m (Maybe Char) - Thus we can define ByteString like this: + Thus we can define a ByteString parser like this: > withNextByte :: Parser ByteString m (Maybe Char, Maybe Word8))) > withNextByte = do char_ <- zoom utf8 Text.drawChar -- cgit v1.2.3