Agda.Compiler.MAlonzo.Pretty

Documentation

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

Encodes module names just before pretty-printing.

newtype Wrap a

A wrapper type used to avoid orphan instances.

Constructors

Wrap

Fields

• unwrap :: a

Instances

TransformBi ModuleName (Wrap ModuleName)

Methods

transformBi :: (ModuleName -> ModuleName) -> Wrap ModuleName -> Wrap ModuleName

TransformBi ModuleName (Wrap QName)

Methods

transformBi :: (ModuleName -> ModuleName) -> Wrap QName -> Wrap QName

TransformBi ModuleName (Wrap Module)

Methods

transformBi :: (ModuleName -> ModuleName) -> Wrap Module -> Wrap Module

TransformBi ModuleName (Wrap Exp)

Methods

transformBi :: (ModuleName -> ModuleName) -> Wrap Exp -> Wrap Exp