pillars
0.5.0
API
Generated with
pillars/pillars/pillars.db_doobie/PoolSize

PoolSize

pillars.db_doobie.db$package.PoolSize
object PoolSize extends RefinedTypeOps[Int, PoolSizeConstraint, PoolSize]

Attributes

Source
db.scala
Graph
Supertypes
trait RefinedTypeOps[Int, PoolSizeConstraint, PoolSize]
class Object
trait Matchable
class Any
Self type
PoolSize.type

Members list

Value members

Inherited methods

inline def apply(value: IronType[Int, PoolSizeConstraint]): PoolSize

Implicitly refine at compile-time the given value.

Implicitly refine at compile-time the given value.

Type parameters

A

the refined type.

C

the constraint applied to the type.

Value parameters

value

the value to refine.

Attributes

Returns

the given value typed as IronType

Note

This method ensures that the value satisfies the constraint. If it doesn't or isn't evaluable at compile-time, the compilation is aborted.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline def applyAllUnsafe[F[_]](wrapper: F[Int])(using mapLogic: MapLogic[F]): F[PoolSize]

Refine the given value(s) at runtime.

Refine the given value(s) at runtime.

Attributes

Returns

the given values as T.

Throws
IllegalArgumentException

if the constraint is not satisfied.

See also

applyUnsafe.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline def assume(value: Int): PoolSize

Refine the given value, assuming the constraint holds.

Refine the given value, assuming the constraint holds.

Attributes

Returns

a constrained value, without performing constraint checks.

See also

assumeAll, apply, applyUnsafe.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline def assumeAll[F[_]](wrapper: F[Int]): F[PoolSize]

Refine the given value(s), assuming the constraint holds.

Refine the given value(s), assuming the constraint holds.

Attributes

Returns

a wrapper of constrained values, without performing constraint checks.

See also
Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
def either(value: Int): Either[String, PoolSize]

Refine the given value at runtime, resulting in an Either.

Refine the given value at runtime, resulting in an Either.

Attributes

Returns

a Right containing this value as T or a Left containing the constraint message.

See also

fromIronType, option, applyUnsafe.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline def eitherAll[F[_]](wrapper: F[Int])(using mapLogic: MapLogic[F]): Either[String, F[PoolSize]]

Refine the given value(s) at runtime, resulting in an Either.

Refine the given value(s) at runtime, resulting in an Either.

Attributes

Returns

a Right containing the given values as T or a Left containing the constraint message.

See also

either.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
def option(value: Int): Option[PoolSize]

Refine the given value at runtime, resulting in an Option.

Refine the given value at runtime, resulting in an Option.

Attributes

Returns

an Option containing this value as T or None.

See also

fromIronType, either, applyUnsafe.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline def optionAll[F[_]](wrapper: F[Int])(using mapLogic: MapLogic[F]): Option[F[PoolSize]]

Refine the given value at runtime, resulting in an Option.

Refine the given value at runtime, resulting in an Option.

Attributes

Returns

an Option containing the refined values as F[T] or None.

See also

option.

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline def rtc: RuntimeConstraint[Int, PoolSizeConstraint]

The runtime constraint of the underlying IronType. Can be used in non-inline methods and to improve runtime performances.

The runtime constraint of the underlying IronType. Can be used in non-inline methods and to improve runtime performances.

Attributes

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
def unapply(value: PoolSize): Option[IronType[Int, PoolSizeConstraint]]

Attributes

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala

Givens

Inherited givens

inline given given_Mirror_T: given_Mirror_T

Attributes

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
given given_TypeTest_L_T[L](using test: TypeTest[L, Int]): given_TypeTest_L_T[L]

Attributes

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
inline given given_TypeTest_T_R[R]: TypeTest[PoolSize, R]

Attributes

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala

Extensions

Inherited extensions

extension (wrapper: PoolSize)
inline def value: IronType[Int, PoolSizeConstraint]

Attributes

Inherited from:
RefinedTypeOps
Source
RefinedTypeOps.scala
Generated with