14.5.52  Unparse_Type

The compiler Unparse_Type api defines access to functionality dumping type information for debugging and documentation purposes.

The Unparse_Type api is implemented by the unparse_type package.

The Unparse_Type api source code is in src/lib/compiler/front/typer/print/unparse-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;
        unparse_type :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Type -> Void;
        unparse_typescheme :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typescheme -> Void;
        unparse_typoid :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typoid -> Void;
        unparse_typevar_ref :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Typevar_Ref -> Void;
        unparse_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;
        unparse_sumtype_constructor_types :
            symbolmapstack::Symbolmapstack
            ->
            ?.standard_prettyprinter::pp::Prettyprinter -> type_declaration_types::Type -> Void;
    reset_unparse_type : Void -> Void;
    unparse_formals : ?.standard_prettyprinter::pp::Prettyprinter -> Int -> Void;
    debugging : Ref(Bool );
    unalias : Ref(Bool );};