rel8-internal

Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Data.Range

Contents

Orphan instances

Documentation

data Bound a #

Constructors

Incl !a
Excl !a
Inf

Instances

Instances details

Eq a => Eq (Bound a) #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

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

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

Ord a => Ord (Bound a) #

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 #

Generic (Bound a) #

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-3bd926b3f626790c632a2f43707ef8b2859ab4784789013519c667fe78660bd5" '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) #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

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

show :: Bound a -> String #

showList :: [Bound a] -> ShowS #

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-3bd926b3f626790c632a2f43707ef8b2859ab4784789013519c667fe78660bd5" '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)))

data Range a #

Constructors

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

Instances

Instances details

Eq a => Eq (Range a) #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

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

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

Ord a => Ord (Range a) #

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 #

Generic (Range a) #

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-3bd926b3f626790c632a2f43707ef8b2859ab4784789013519c667fe78660bd5" '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) #

Instance details

Defined in PostgreSQL.Binary.Range

Methods

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

show :: Range a -> String #

showList :: [Range a] -> ShowS #

DBRange a => DBType (Range a) Source #

Instance details

Defined in Rel8.Internal.Data.Range

Methods

typeInformation :: TypeInformation (Range a) Source #

DBRange a => DBEq (Range a) Source #

Instance details

Defined in Rel8.Internal.Data.Range

DBRange a => DBOrd (Range a) Source #

Instance details

Defined in Rel8.Internal.Data.Range

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-3bd926b3f626790c632a2f43707ef8b2859ab4784789013519c667fe78660bd5" '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))))

quoteRange :: QualifiedName -> Range PrimExpr -> PrimExpr Source #

mapRange :: (a -> b) -> Range a -> Range b Source #

newtype Multirange a Source #

Constructors

Multirange (Multirange a)

Instances

Instances details

Eq a => Eq (Multirange a) Source #
Instance details Defined in Rel8.Internal.Data.Range Methods (==) :: Multirange a -> Multirange a -> Bool # (/=) :: Multirange a -> Multirange a -> Bool #
Ord a => Ord (Multirange a) Source #
Instance details Defined in Rel8.Internal.Data.Range Methods compare :: Multirange a -> Multirange a -> Ordering # (<) :: Multirange a -> Multirange a -> Bool # (<=) :: Multirange a -> Multirange a -> Bool # (>) :: Multirange a -> Multirange a -> Bool # (>=) :: Multirange a -> Multirange a -> Bool # max :: Multirange a -> Multirange a -> Multirange a # min :: Multirange a -> Multirange a -> Multirange a #
Show a => Show (Multirange a) Source #
Instance details Defined in Rel8.Internal.Data.Range Methods showsPrec :: Int -> Multirange a -> ShowS # show :: Multirange a -> String # showList :: [Multirange a] -> ShowS #
DBRange a => DBType (Multirange a) Source #
Instance details Defined in Rel8.Internal.Data.Range Methods typeInformation :: TypeInformation (Multirange a) Source #
DBRange a => DBEq (Multirange a) Source #
Instance details Defined in Rel8.Internal.Data.Range
DBRange a => DBMonoid (Multirange a) Source #
Instance details Defined in Rel8.Internal.Type.Monoid Methods memptyExpr :: Expr (Multirange a) Source #
DBRange a => DBOrd (Multirange a) Source #
Instance details Defined in Rel8.Internal.Data.Range
DBRange a => DBSemigroup (Multirange a) Source #
Instance details Defined in Rel8.Internal.Type.Semigroup Methods (<>.) :: Expr (Multirange a) -> Expr (Multirange a) -> Expr (Multirange a) Source #

primMultirange :: QualifiedName -> [PrimExpr] -> PrimExpr Source #

Orphan instances

DBRange a => DBType (Range a) Source #
Instance details Methods typeInformation :: TypeInformation (Range a) Source #
DBRange a => DBEq (Range a) Source #
Instance details
DBRange a => DBOrd (Range a) Source #
Instance details