| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Syntax.FilePrinter
Synopsis
- renderDefnsForUnisonFile :: forall a v. (Var v, Monoid a) => DeclNameLookup -> PrettyPrintEnvDecl -> DefnsF (Map Name) (Term v a, Type v a) (TypeReferenceId, Decl v a) -> DefnsF (Map Name) (Pretty ColorText) (Pretty ColorText)
Documentation
renderDefnsForUnisonFile :: forall a v. (Var v, Monoid a) => DeclNameLookup -> PrettyPrintEnvDecl -> DefnsF (Map Name) (Term v a, Type v a) (TypeReferenceId, Decl v a) -> DefnsF (Map Name) (Pretty ColorText) (Pretty ColorText) Source #
Render definitions destined for a Unison file.
This first renders the types (discovering which record accessors will be generated upon parsing), then renders the terms (being careful not to render any record accessors, since those would cause duplicate binding errors upon parsing).