crucible-0.7: Crucible is a library for language-agnostic symbolic simulation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.Utils.PrettyPrint

Synopsis

Documentation

commas :: Foldable f => f (Doc ann) -> Doc ann Source #

Print a comma separated list.

ppFn :: String -> [Doc ann] -> Doc ann Source #