postgresql-binary-0.14.2: Encoders and decoders for the PostgreSQL's binary format

Safe Haskell	None
Language	Haskell2010

PostgreSQL.Binary.Range

Documentation

data Range a Source #

Constructors

Empty
Range !(Bound a) !(Bound a)

Instances

Instances details

Generic (Range a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Associated Types

type Rep (Range a)

Instance details

Defined in PostgreSQL.Binary.Range

type Rep (Range a) = D1 ('MetaData "Range" "PostgreSQL.Binary.Range" "postgresql-binary-0.14.2-BD3ME0LDjTV6bX6xeiIXge" 'False) (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Range" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bound a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bound a))))

Methods

from :: Range a -> Rep (Range a) x #

to :: Rep (Range a) x -> Range a #

Show a => Show (Range a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

showsPrec :: Int -> Range a -> ShowS #

show :: Range a -> String #

showList :: [Range a] -> ShowS #

Eq a => Eq (Range a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

(==) :: Range a -> Range a -> Bool #

(/=) :: Range a -> Range a -> Bool #

Ord a => Ord (Range a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

compare :: Range a -> Range a -> Ordering #

(<) :: Range a -> Range a -> Bool #

(<=) :: Range a -> Range a -> Bool #

(>) :: Range a -> Range a -> Bool #

(>=) :: Range a -> Range a -> Bool #

max :: Range a -> Range a -> Range a #

min :: Range a -> Range a -> Range a #

type Rep (Range a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

type Rep (Range a) = D1 ('MetaData "Range" "PostgreSQL.Binary.Range" "postgresql-binary-0.14.2-BD3ME0LDjTV6bX6xeiIXge" 'False) (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Range" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bound a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bound a))))

data Bound a Source #

Constructors

Incl !a
Excl !a
Inf

Instances

Instances details

Generic (Bound a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Associated Types

type Rep (Bound a)

Instance details

Defined in PostgreSQL.Binary.Range

type Rep (Bound a) = D1 ('MetaData "Bound" "PostgreSQL.Binary.Range" "postgresql-binary-0.14.2-BD3ME0LDjTV6bX6xeiIXge" 'False) (C1 ('MetaCons "Incl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "Excl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Inf" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Bound a -> Rep (Bound a) x #

to :: Rep (Bound a) x -> Bound a #

Show a => Show (Bound a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

showsPrec :: Int -> Bound a -> ShowS #

show :: Bound a -> String #

showList :: [Bound a] -> ShowS #

Eq a => Eq (Bound a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

(==) :: Bound a -> Bound a -> Bool #

(/=) :: Bound a -> Bound a -> Bool #

Ord a => Ord (Bound a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

compare :: Bound a -> Bound a -> Ordering #

(<) :: Bound a -> Bound a -> Bool #

(<=) :: Bound a -> Bound a -> Bool #

(>) :: Bound a -> Bound a -> Bool #

(>=) :: Bound a -> Bound a -> Bool #

max :: Bound a -> Bound a -> Bound a #

min :: Bound a -> Bound a -> Bound a #

type Rep (Bound a) Source #

Instance details

Defined in PostgreSQL.Binary.Range

type Rep (Bound a) = D1 ('MetaData "Bound" "PostgreSQL.Binary.Range" "postgresql-binary-0.14.2-BD3ME0LDjTV6bX6xeiIXge" 'False) (C1 ('MetaCons "Incl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "Excl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Inf" 'PrefixI 'False) (U1 :: Type -> Type)))

type Multirange a = [Range a] Source #