[ ux ] Don't export name prf, as it's widely used and warned about

Author: buzden

src/Text/PrettyPrint/Bernardy/Combinators.idr

@@ -238,7 +238,7 @@ export
 sep' : {opts : _} -> List (Doc opts) -> Doc opts
 sep' xs = ifMultiline (hsep xs) (vsep xs)
 
-||| Add the given document only when conditions is true
+||| Add the given document only when condition is true
 export
 when : Bool -> Doc opts -> Doc opts
 when True  = id

src/Text/PrettyPrint/Bernardy/Core.idr

@@ -94,7 +94,7 @@ record Layout where
     -- natural and efficient accumulator in a left fold.
     content : Lazy (SnocList String)
     stats   : Stats
-    {auto 0 prf : NonEmptySnoc content}
+    {auto 0 prfNonEmptyContent : NonEmptySnoc content}
 
 layout : Lazy (Subset (SnocList String) NonEmptySnoc) -> Stats -> Layout
 layout ss st = MkLayout (fst ss) st @{snd ss}