@@ -40,7 +40,7 @@ module Data.Text.Lazy
4040 , empty
4141
4242 -- * Basic interface
43− -- , cons
43+ , cons
4444 -- , snoc
4545 , append
4646 -- , uncons
@@ -194,6 +194,17 @@ singleton c = Chunk (T.singleton c) Empty
194194 unstream (S.singleton c) = singleton c
195195 #-}
196196
197+cons :: Char -> Text -> Text
198+cons c t = Chunk (T.singleton c) t
199+{-# INLINE [1] cons #-}
200+
201+{-# RULES
202+"LAZY TEXT cons -> fused" [~1] forall c t.
203+ cons c t = unstream (S.cons c (stream t))
204+"LAZY TEXT cons -> unfused" [1] forall c t.
205+ unstream (S.cons c (stream t)) = cons c t
206+ #-}
207+
197208-- | /O(n\/c)/ Append two 'Text's
198209append :: Text -> Text -> Text
199210append xs ys = foldrChunks Chunk ys xs