Agda-2.6.2.2.20221128: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Compiler.MAlonzo.Pretty

Documentation

Orphan instances

Pretty Alt Source # 
Instance details

Pretty Binds Source # 
Instance details

Pretty ConDecl Source # 
Instance details

Pretty DataOrNew Source # 
Instance details

Pretty Decl Source # 
Instance details

Pretty Exp Source # 
Instance details

Pretty ImportDecl Source # 
Instance details

Pretty ImportSpec Source # 
Instance details

Pretty Literal Source # 
Instance details

Pretty Match Source # 
Instance details

Pretty Module Source # 
Instance details

Pretty ModuleName Source # 
Instance details

Pretty ModulePragma Source # 
Instance details

Pretty Name Source # 
Instance details

Pretty Pat Source # 
Instance details

Pretty QName Source # 
Instance details

Pretty QOp Source # 
Instance details

Pretty Stmt Source # 
Instance details

Pretty Strictness Source # 
Instance details

Pretty TyVarBind Source # 
Instance details

Pretty Type Source # 
Instance details