on dev help sign in
whole

point ~> singleton

commita23193a9560e7bf1b80ecaef2c0acdc5835c9885 authorEitan Chatav <eitan@EEM109LMBP-1.local> dateThu 11 Jul 2019, 11:34 (7 years ago) parent66ccd16
1 file changed+6−3
squeal-postgresql/src/Squeal/PostgreSQL/Expression/Range.hs+6−3
squeal-postgresql/src/Squeal/PostgreSQL/Expression/Range.hs+6−3
@@ -36,7 +36,7 @@ module Squeal.PostgreSQL.Expression.Range
3636 , Range (..)
3737 , (<=..<=), (<..<), (<=..<), (<..<=)
3838 , halfGT, halfGTE, halfLT, halfLTE
39− , point
39+ , singleton, whole
4040 , Bound (..)
4141 , closed, open
4242 ) where
@@ -105,5 +105,8 @@ halfGTE x = NonEmpty (closed (Just x)) (open Nothing)
105105halfLT x = NonEmpty (open Nothing) (open (Just x))
106106halfLTE x = NonEmpty (open Nothing) (closed (Just x))
107107
108−point :: x -> Range x
109−point x = x <=..<= x
108+singleton :: x -> Range x
109+singleton x = x <=..<= x
110+
111+whole :: Range x
112+whole = NonEmpty (open Nothing) (open Nothing)