Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Syntax.FilePrinter

Synopsis

renderDefnsForUnisonFile :: forall a v. (Var v, Monoid a) => DeclNameLookup -> PrettyPrintEnvDecl -> Set Name -> 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 -> Set Name -> 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).