| Copyright | 2015 Dylan Simon |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Database.PostgreSQL.Typed.Range
Description
Representaion of PostgreSQL's range type. There are a number of existing range data types, but PostgreSQL's is rather particular. This tries to provide a one-to-one mapping.
- data Bound a
- newtype LowerBound a = Lower (Bound a)
- newtype UpperBound a = Upper (Bound a)
- data Range a
- = Empty
- | Range (LowerBound a) (UpperBound a)
- bound :: Bound a -> Maybe a
- boundClosed :: Bound a -> Bool
- makeBound :: Bool -> Maybe a -> Bound a
- lowerClosed :: Range a -> Bool
- upperClosed :: Range a -> Bool
- isEmpty :: Ord a => Range a -> Bool
- full :: Range a
- isFull :: Range a -> Bool
- point :: Eq a => a -> Range a
- getPoint :: Eq a => Range a -> Maybe a
- range :: Ord a => Bound a -> Bound a -> Range a
- normal :: Ord a => Maybe a -> Maybe a -> Range a
- bounded :: Ord a => a -> a -> Range a
- normalize :: Ord a => Range a -> Range a
- normalize' :: (Ord a, Enum a) => Range a -> Range a
- (@>) :: Ord a => Range a -> Range a -> Bool
- (<@) :: Ord a => Range a -> Range a -> Bool
- (@>.) :: Ord a => Range a -> a -> Bool
- intersect :: Ord a => Range a -> Range a -> Range a
Documentation
newtype LowerBound a Source
Instances
| Functor LowerBound | |
| Eq a => Eq (LowerBound a) | |
| Ord a => Ord (LowerBound a) |
newtype UpperBound a Source
Instances
| Functor UpperBound | |
| Eq a => Eq (UpperBound a) | |
| Ord a => Ord (UpperBound a) |
Constructors
| Empty | |
| Range (LowerBound a) (UpperBound a) |
Instances
| Functor Range | |
| (PGRangeType tr t, PGColumn t a) => PGColumn tr (Range a) | |
| (PGRangeType tr t, PGParameter t a) => PGParameter tr (Range a) | |
| Eq a => Eq (Range a) | |
| Show a => Show (Range a) |
boundClosed :: Bound a -> Bool Source
lowerClosed :: Range a -> Bool Source
upperClosed :: Range a -> Bool Source