module Polysemy.Db.Data.DbPort where

newtype DbPort =
  DbPort { DbPort -> Int
unDbPort :: Int }
  deriving stock (DbPort -> DbPort -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: DbPort -> DbPort -> Bool
$c/= :: DbPort -> DbPort -> Bool
== :: DbPort -> DbPort -> Bool
$c== :: DbPort -> DbPort -> Bool
Eq, Int -> DbPort -> ShowS
[DbPort] -> ShowS
DbPort -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [DbPort] -> ShowS
$cshowList :: [DbPort] -> ShowS
show :: DbPort -> String
$cshow :: DbPort -> String
showsPrec :: Int -> DbPort -> ShowS
$cshowsPrec :: Int -> DbPort -> ShowS
Show, forall x. Rep DbPort x -> DbPort
forall x. DbPort -> Rep DbPort x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep DbPort x -> DbPort
$cfrom :: forall x. DbPort -> Rep DbPort x
Generic)
  deriving newtype (ReadPrec [DbPort]
ReadPrec DbPort
Int -> ReadS DbPort
ReadS [DbPort]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [DbPort]
$creadListPrec :: ReadPrec [DbPort]
readPrec :: ReadPrec DbPort
$creadPrec :: ReadPrec DbPort
readList :: ReadS [DbPort]
$creadList :: ReadS [DbPort]
readsPrec :: Int -> ReadS DbPort
$creadsPrec :: Int -> ReadS DbPort
Read, Integer -> DbPort
DbPort -> DbPort
DbPort -> DbPort -> DbPort
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
fromInteger :: Integer -> DbPort
$cfromInteger :: Integer -> DbPort
signum :: DbPort -> DbPort
$csignum :: DbPort -> DbPort
abs :: DbPort -> DbPort
$cabs :: DbPort -> DbPort
negate :: DbPort -> DbPort
$cnegate :: DbPort -> DbPort
* :: DbPort -> DbPort -> DbPort
$c* :: DbPort -> DbPort -> DbPort
- :: DbPort -> DbPort -> DbPort
$c- :: DbPort -> DbPort -> DbPort
+ :: DbPort -> DbPort -> DbPort
$c+ :: DbPort -> DbPort -> DbPort
Num, Num DbPort
Ord DbPort
DbPort -> Rational
forall a. Num a -> Ord a -> (a -> Rational) -> Real a
toRational :: DbPort -> Rational
$ctoRational :: DbPort -> Rational
Real, Int -> DbPort
DbPort -> Int
DbPort -> [DbPort]
DbPort -> DbPort
DbPort -> DbPort -> [DbPort]
DbPort -> DbPort -> DbPort -> [DbPort]
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: DbPort -> DbPort -> DbPort -> [DbPort]
$cenumFromThenTo :: DbPort -> DbPort -> DbPort -> [DbPort]
enumFromTo :: DbPort -> DbPort -> [DbPort]
$cenumFromTo :: DbPort -> DbPort -> [DbPort]
enumFromThen :: DbPort -> DbPort -> [DbPort]
$cenumFromThen :: DbPort -> DbPort -> [DbPort]
enumFrom :: DbPort -> [DbPort]
$cenumFrom :: DbPort -> [DbPort]
fromEnum :: DbPort -> Int
$cfromEnum :: DbPort -> Int
toEnum :: Int -> DbPort
$ctoEnum :: Int -> DbPort
pred :: DbPort -> DbPort
$cpred :: DbPort -> DbPort
succ :: DbPort -> DbPort
$csucc :: DbPort -> DbPort
Enum, Enum DbPort
Real DbPort
DbPort -> Integer
DbPort -> DbPort -> (DbPort, DbPort)
DbPort -> DbPort -> DbPort
forall a.
Real a
-> Enum a
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
toInteger :: DbPort -> Integer
$ctoInteger :: DbPort -> Integer
divMod :: DbPort -> DbPort -> (DbPort, DbPort)
$cdivMod :: DbPort -> DbPort -> (DbPort, DbPort)
quotRem :: DbPort -> DbPort -> (DbPort, DbPort)
$cquotRem :: DbPort -> DbPort -> (DbPort, DbPort)
mod :: DbPort -> DbPort -> DbPort
$cmod :: DbPort -> DbPort -> DbPort
div :: DbPort -> DbPort -> DbPort
$cdiv :: DbPort -> DbPort -> DbPort
rem :: DbPort -> DbPort -> DbPort
$crem :: DbPort -> DbPort -> DbPort
quot :: DbPort -> DbPort -> DbPort
$cquot :: DbPort -> DbPort -> DbPort
Integral, Eq DbPort
DbPort -> DbPort -> Bool
DbPort -> DbPort -> Ordering
DbPort -> DbPort -> DbPort
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: DbPort -> DbPort -> DbPort
$cmin :: DbPort -> DbPort -> DbPort
max :: DbPort -> DbPort -> DbPort
$cmax :: DbPort -> DbPort -> DbPort
>= :: DbPort -> DbPort -> Bool
$c>= :: DbPort -> DbPort -> Bool
> :: DbPort -> DbPort -> Bool
$c> :: DbPort -> DbPort -> Bool
<= :: DbPort -> DbPort -> Bool
$c<= :: DbPort -> DbPort -> Bool
< :: DbPort -> DbPort -> Bool
$c< :: DbPort -> DbPort -> Bool
compare :: DbPort -> DbPort -> Ordering
$ccompare :: DbPort -> DbPort -> Ordering
Ord)

instance Default DbPort where
  def :: DbPort
def = DbPort
5432

json ''DbPort