Skip to content

Commit

Permalink
fixed emoji renders for in PPL manual (#221)
Browse files Browse the repository at this point in the history
Signed-off-by: Shenoy Pratik <[email protected]>
  • Loading branch information
ps48 authored Nov 11, 2021
1 parent bb708ba commit 71f4885
Show file tree
Hide file tree
Showing 2 changed files with 13 additions and 13 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ Example:
**Description**
Usage: atan(x) calculates the arc tangent of x. atan(y, x) calculates
Usage: atan(x) calculates the arc tangent of x. atan(y, x&#41; calculates
the arc tangent of y / x, except that the signs of both arguments are
used to determine the quadrant of the result.
Expand All @@ -100,7 +100,7 @@ Example:
**Description**
Usage: atan2(y, x) calculates the arc tangent of y / x, except that the
Usage: atan2(y, x&#41; calculates the arc tangent of y / x, except that the
signs of both arguments are used to determine the quadrant of the
result.
Expand Down Expand Up @@ -327,7 +327,7 @@ Example:
Specifications:
Usage: log(x) returns the natural logarithm of x that is the base e
logarithm of the x. log(B, x) is equivalent to log(x)/log(B).
logarithm of the x. log(B, x&#41; is equivalent to log(x)/log(B).
Argument type: INTEGER/LONG/FLOAT/DOUBLE
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ information.
| Type | Syntax | Range |
|------|-------------------------|----------------------------------------|
| Time | 'hh:mm:ss\[.fraction\]' | '00:00:00.000000' to '23:59:59.999999' |
| Time | 'hh:mm&#58;ss\[.fraction\]' | '00:00:00.000000' to '23:59:59.999999' |
#### **Datetime**
Expand All @@ -121,7 +121,7 @@ contains both date time and timezone information, see
| Type | Syntax | Range |
|----------|------------------------------------|--------------------------------------------------------------|
| Datetime | 'yyyy-MM-dd hh:mm:ss\[.fraction\]' | '0001-01-01 00:00:00.000000' to '9999-12-31 23:59:59.999999' |
| Datetime | 'yyyy-MM-dd hh:mm&#58;ss\[.fraction\]' | '0001-01-01 00:00:00.000000' to '9999-12-31 23:59:59.999999' |
#### **Timestamp**
Expand All @@ -135,7 +135,7 @@ timezone from UTC when retrieving.
| Type | Syntax | Range |
|-----------|------------------------------------|------------------------------------------------------------------|
| Timestamp | 'yyyy-MM-dd hh:mm:ss\[.fraction\]' | '0001-01-01 00:00:01.000000' UTC to '9999-12-31 23:59:59.999999' |
| Timestamp | 'yyyy-MM-dd hh:mm&#58;ss\[.fraction\]' | '0001-01-01 00:00&#58;01.000000' UTC to '9999-12-31 23:59:59.999999' |
#### **Interval**
Expand Down Expand Up @@ -193,25 +193,25 @@ each of the types:
- Conversion from datetime to date is to extract the date part from
the datetime value. For example, the result to convert datetime
'2020-08-17 14:09:00' to date is date '2020-08-08'.
'2020-08-17 14&#58;09&#58;00' to date is date '2020-08-08'.
- Conversion to time is to extract the time part from the datetime
value. For example, the result to convert datetime '2020-08-17
14:09:00' to time is time '14:09:00'.
14&#58;09&#58;00' to time is time '14&#58;09&#58;00'.
- Since the datetime type does not contain timezone information, the
conversion to timestamp needs to fill up the timezone part with the
session timezone. For example, the result to convert datetime
'2020-08-17 14:09:00' with system timezone of UTC, to timestamp is
timestamp '2020-08-17 14:09:00' UTC.
'2020-08-17 14&#58;09&#58;00' with system timezone of UTC, to timestamp is
timestamp '2020-08-17 14&#58;09&#58;00' UTC.
#### **Conversion from TIMESTAMP**
- Conversion from timestamp is much more straightforward. To convert
it to date is to extract the date value, and conversion to time is
to extract the time value. Conversion to datetime, it will extracts
the datetime value and leave the timezone information over. For
example, the result to convert datetime '2020-08-17 14:09:00' UTC to
date is date '2020-08-17', to time is '14:09:00' and to datetime is
datetime '2020-08-17 14:09:00'.
example, the result to convert datetime '2020-08-17 14&#58;09&#58;00' UTC to
date is date '2020-08-17', to time is '14&#58;09&#58;00' and to datetime is
datetime '2020-08-17 14&#58;09&#58;00'.
### **String Data Types**
Expand Down

0 comments on commit 71f4885

Please sign in to comment.