Documentation

reprint :: (Data (p Annotation), PrettyPrint (p Annotation)) => (forall a. Typeable a => [String] -> SrcLoc -> a -> State Int (String, SrcLoc, Bool)) -> SourceText -> Filename -> p Annotation -> String Source #

reprintC :: (forall b. Typeable b => [String] -> SrcLoc -> b -> State Int (String, SrcLoc, Bool)) -> SrcLoc -> [String] -> Zipper a -> State Int (String, SrcLoc) Source #

enterDown :: (forall b. Typeable b => [String] -> SrcLoc -> b -> State Int (String, SrcLoc, Bool)) -> SrcLoc -> [String] -> Zipper a -> State Int (String, SrcLoc) Source #

enterRight :: (forall b. Typeable b => [String] -> SrcLoc -> b -> State Int (String, SrcLoc, Bool)) -> SrcLoc -> [String] -> Zipper a -> State Int (String, SrcLoc) Source #

takeBounds :: (SrcLoc, SrcLoc) -> [[Char]] -> ([Char], [[Char]]) Source #

takeBounds' :: (Ord t1, Num t1, Num t, Eq t) => ((t1, t), (t1, t)) -> [Char] -> [[Char]] -> ([Char], [[Char]]) Source #