Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- showDefinitions :: OutputLocation -> PrettyPrintEnvDecl -> Map Reference (DisplayObject (Type Symbol Ann) (Term Symbol Ann)) -> Map Reference (DisplayObject () (Decl Symbol Ann)) -> [HashQualified Name] -> Cli ()
Documentation
showDefinitions :: OutputLocation -> PrettyPrintEnvDecl -> Map Reference (DisplayObject (Type Symbol Ann) (Term Symbol Ann)) -> Map Reference (DisplayObject () (Decl Symbol Ann)) -> [HashQualified Name] -> Cli () Source #
Show the provided definitions to console or scratch file. The caller is responsible for ensuring that the definitions include cycles if that's the desired behavior.