Eq a => Eq (Multirange a) #
Instance details Defined in Rel8.Internal.Data.Range Methods (==) :: Multirange a -> Multirange a -> Bool # (/=) :: Multirange a -> Multirange a -> Bool #
Ord a => Ord (Multirange a) #
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) #
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) #
Instance details Defined in Rel8.Internal.Data.Range Methods typeInformation :: TypeInformation (Multirange a) #
DBRange a => DBEq (Multirange a) #
Instance details Defined in Rel8.Internal.Data.Range
DBRange a => DBMonoid (Multirange a) #
Instance details Defined in Rel8.Internal.Type.Monoid Methods memptyExpr :: Expr (Multirange a) #
DBRange a => DBOrd (Multirange a) #
Instance details Defined in Rel8.Internal.Data.Range
DBRange a => DBSemigroup (Multirange a) #
Instance details Defined in Rel8.Internal.Type.Semigroup Methods (<>.) :: Expr (Multirange a) -> Expr (Multirange a) -> Expr (Multirange a) #

range :: DBRange a => Range (Expr a) -> Expr (Range a) #

multirange :: DBRange a => [Expr (Range a)] -> Expr (Multirange a) #

rangeAgg :: forall a (fold :: Fold). DBRange a => Aggregator' fold (Expr (Range a)) (Expr (Multirange a)) #

Defining new range types

class DBOrd a => DBRange a where #

Methods

rangeTypeName :: QualifiedName #

rangeDecoder :: Value (Range a) #

rangeEncoder :: Value (Range a) #

multirangeTypeName :: QualifiedName #

multirangeDecoder :: Value (Multirange a) #

multirangeEncoder :: Value (Multirange a) #

Instances

Instances details

DBRange Int32 #
Instance details Defined in Rel8.Internal.Type.Range Methods rangeTypeName :: QualifiedName # rangeDecoder :: Value (Range Int32) # rangeEncoder :: Value (Range Int32) # multirangeTypeName :: QualifiedName # multirangeDecoder :: Value (Multirange Int32) # multirangeEncoder :: Value (Multirange Int32) #
DBRange Int64 #
Instance details Defined in Rel8.Internal.Type.Range Methods rangeTypeName :: QualifiedName # rangeDecoder :: Value (Range Int64) # rangeEncoder :: Value (Range Int64) # multirangeTypeName :: QualifiedName # multirangeDecoder :: Value (Multirange Int64) # multirangeEncoder :: Value (Multirange Int64) #
DBRange Scientific #
Instance details Defined in Rel8.Internal.Type.Range Methods rangeTypeName :: QualifiedName # rangeDecoder :: Value (Range Scientific) # rangeEncoder :: Value (Range Scientific) # multirangeTypeName :: QualifiedName # multirangeDecoder :: Value (Multirange Scientific) # multirangeEncoder :: Value (Multirange Scientific) #
DBRange Day #
Instance details Defined in Rel8.Internal.Type.Range Methods rangeTypeName :: QualifiedName # rangeDecoder :: Value (Range Day) # rangeEncoder :: Value (Range Day) # multirangeTypeName :: QualifiedName # multirangeDecoder :: Value (Multirange Day) # multirangeEncoder :: Value (Multirange Day) #
DBRange UTCTime #
Instance details Defined in Rel8.Internal.Type.Range Methods rangeTypeName :: QualifiedName # rangeDecoder :: Value (Range UTCTime) # rangeEncoder :: Value (Range UTCTime) # multirangeTypeName :: QualifiedName # multirangeDecoder :: Value (Multirange UTCTime) # multirangeEncoder :: Value (Multirange UTCTime) #
DBRange LocalTime #
Instance details Defined in Rel8.Internal.Type.Range Methods rangeTypeName :: QualifiedName # rangeDecoder :: Value (Range LocalTime) # rangeEncoder :: Value (Range LocalTime) # multirangeTypeName :: QualifiedName # multirangeDecoder :: Value (Multirange LocalTime) # multirangeEncoder :: Value (Multirange LocalTime) #