| Safe Haskell | None |
|---|
Agda.Compiler.MAlonzo.Pretty
- prettyPrint :: (Pretty a, TransformBi ModuleName (Wrap a)) => a -> String
- newtype Wrap a = Wrap {
- unwrap :: a
Documentation
prettyPrint :: (Pretty a, TransformBi ModuleName (Wrap a)) => a -> StringSource
Encodes module names just before pretty-printing.
A wrapper type used to avoid orphan instances.
Instances