Safe Haskell	None
Language	Haskell98

Agda.Compiler.MAlonzo.Pretty

Synopsis

Documentation

prettyPrint :: (Pretty a, TransformBi ModuleName (Wrap a)) => a -> String Source #

Encodes module names just before pretty-printing.

newtype Wrap a Source #

A wrapper type used to avoid orphan instances.

Constructors

Wrap
Fields unwrap :: a

Instances

TransformBi ModuleName (Wrap QName) Source #
Methods transformBi :: (ModuleName -> ModuleName) -> Wrap QName -> Wrap QName
TransformBi ModuleName (Wrap ModuleName) Source #
Methods transformBi :: (ModuleName -> ModuleName) -> Wrap ModuleName -> Wrap ModuleName
TransformBi ModuleName (Wrap Module) Source #
Methods transformBi :: (ModuleName -> ModuleName) -> Wrap Module -> Wrap Module
TransformBi ModuleName (Wrap Exp) Source #
Methods transformBi :: (ModuleName -> ModuleName) -> Wrap Exp -> Wrap Exp