Documentation

prettyDecl :: Var v => PrettyPrintEnvDecl -> TypeReference -> HashQualified Name -> Decl v a -> Pretty SyntaxText Source #

prettyDeclW :: Var v => PrettyPrintEnvDecl -> TypeReference -> HashQualified Name -> Decl v a -> Writer (Set AccessorName) (Pretty SyntaxText) Source #

prettyDeclHeader :: Var v => HashQualified Name -> Either (EffectDeclaration v a) (DataDeclaration v a) -> Pretty SyntaxText Source #

prettyDeclOrBuiltinHeader :: Var v => 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 #