Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Unison.Syntax.DeclPrinter
Synopsis
- prettyDecl :: Var v => PrettyPrintEnvDecl -> RenderUniqueTypeGuids -> TypeReference -> HashQualified Name -> Decl v a -> Pretty SyntaxText
- prettyDeclW :: Var v => PrettyPrintEnvDecl -> RenderUniqueTypeGuids -> TypeReference -> HashQualified Name -> Decl v a -> Writer (Set AccessorName) (Pretty SyntaxText)
- prettyDeclHeader :: Var v => RenderUniqueTypeGuids -> HashQualified Name -> Either (EffectDeclaration v a) (DataDeclaration v a) -> Pretty SyntaxText
- prettyDeclOrBuiltinHeader :: Var v => RenderUniqueTypeGuids -> HashQualified Name -> DeclOrBuiltin v a -> Pretty SyntaxText
- getFieldAndAccessorNames :: forall v a. Var v => PrettyPrintEnv -> TypeReference -> HashQualified Name -> DataDeclaration v a -> Maybe ([Name], [Name])
- type AccessorName = Name
- data RenderUniqueTypeGuids
Documentation
prettyDecl :: Var v => PrettyPrintEnvDecl -> RenderUniqueTypeGuids -> TypeReference -> HashQualified Name -> Decl v a -> Pretty SyntaxText Source #
prettyDeclW :: Var v => PrettyPrintEnvDecl -> RenderUniqueTypeGuids -> TypeReference -> HashQualified Name -> Decl v a -> Writer (Set AccessorName) (Pretty SyntaxText) Source #
prettyDeclHeader :: Var v => RenderUniqueTypeGuids -> HashQualified Name -> Either (EffectDeclaration v a) (DataDeclaration v a) -> Pretty SyntaxText Source #
prettyDeclOrBuiltinHeader :: Var v => RenderUniqueTypeGuids -> HashQualified Name -> DeclOrBuiltin v a -> Pretty SyntaxText Source #
getFieldAndAccessorNames :: forall v a. Var v => PrettyPrintEnv -> TypeReference -> HashQualified Name -> DataDeclaration v a -> Maybe ([Name], [Name]) Source #
type AccessorName = Name Source #
data RenderUniqueTypeGuids Source #
Should we render unique type guids? Usually no, but in merge
it's helpful.
Constructors
RenderUniqueTypeGuids'No | |
RenderUniqueTypeGuids'Yes |