Concatenate an escape code with a string and turn it into an actual escape sequence
Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
character(len=*), | intent(in) | :: | lval |
String to add the escape code to |
||
type(ansi_code), | intent(in) | :: | code |
Escape sequence |
Concatenated string
Concatenate an escape code with a string and turn it into an actual escape sequence
Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
type(string_type), | intent(in) | :: | lval |
String to add the escape code to |
||
type(ansi_code), | intent(in) | :: | code |
Escape sequence |
Concatenated string
Concatenate an escape code with a string and turn it into an actual escape sequence
Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
type(ansi_code), | intent(in) | :: | code |
Escape sequence |
||
character(len=*), | intent(in) | :: | rval |
String to add the escape code to |
Concatenated string
Concatenate an escape code with a string and turn it into an actual escape sequence
Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
type(ansi_code), | intent(in) | :: | code |
Escape sequence |
||
type(string_type), | intent(in) | :: | rval |
String to add the escape code to |
Concatenated string