<=(time,time)

less than or equal

Reading PG 18·Select a recorded version

Left operand: time
Right operand: time
Result type: bool
Implementing function: time_le(time,time)
Operator kind: Binary
Hash join candidate: no
Merge join candidate: no
aliases: <=, <=(time,time)
manual semantics: Source catalog description; no additional matching manual operator definition claimed
signature: <=(time,time) → bool
source oid: 1111

Definition PG 18

less than or equal

Declared operator-family membership

Index AM	Family	Strategy	Purpose
B-tree	time_ops	2	search
BRIN	time_minmax_ops	2	search
BRIN	time_minmax_multi_ops	2	search

Compare versions

Complete source facts

memberships

map[description:less than or equal family:time_ops family_slug:family-btree-time_ops left_type:time method:btree operator:<=(time,time) operator_slug:op-3c3d-time-time purpose:search result_type:bool right_type:time sort_family: sort_family_slug: strategy:2], map[description:less than or equal family:time_minmax_ops family_slug:family-brin-time_minmax_ops left_type:time method:brin operator:<=(time,time) operator_slug:op-3c3d-time-time purpose:search result_type:bool right_type:time sort_family: sort_family_slug: strategy:2], map[description:less than or equal family:time_minmax_multi_ops family_slug:family-brin-time_minmax_multi_ops left_type:time method:brin operator:<=(time,time) operator_slug:op-3c3d-time-time purpose:search result_type:bool right_type:time sort_family: sort_family_slug: strategy:2]

operator

{"commutator":"\u003e=(time,time)","function":"time_le(time,time)","hash_join":"f","kind":"b","left_type":"time","merge_join":"f","negator":"\u003e(time,time)","result_type":"bool","right_type":"time","symbol":"\u003c="}

Source references

Full definition and evidence JSON

Definition sources

center · PostgreSQL 18 · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f

Text language: en · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f