14.5.32  Prettyprint_Type

The compiler library Prettyprint_Type api defines access to debug functionality displaying internal type representations.

The Prettyprint_Type api is implemented by the prettyprint_type package.

The Prettyprint_Type api source code is in src/lib/compiler/front/typer/print/prettyprint-type.pkg. The above information is manually maintained and may contain errors.

api {
    type_formals : Int -> List(String );
    typevar_ref_printname : type_declaration_types::Typevar_Ref -> String;
        prettyprint_type :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Type -> Void;
        prettyprint_typescheme :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typescheme -> Void;
        prettyprint_typoid :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typoid -> Void;
        prettyprint_typevar_ref :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typevar_Ref -> Void;
        prettyprint_sumtype_constructor_domain :
            (?.Vector(type_declaration_types::Sumtype_Member ) , List(type_declaration_types::Type ))
            ->
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typoid -> Void;
        prettyprint_sumtype_constructor_types :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Type -> Void;
    reset_prettyprint_type : Void -> Void;
    prettyprint_formals : ?.standard_prettyprinter::pp::Prettyprinter -> Int -> Void;
    debugging : Ref(Bool );
    unalias : Ref(Bool );};