DatabaseUser
Attributes
- Source
- db.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
DatabaseUser.type
Members list
Value members
Inherited methods
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
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
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
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
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
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
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
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
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
Attributes
- Inherited from:
- RefinedTypeOps
- Source
- RefinedTypeOps.scala
Givens
Inherited givens
Attributes
- Inherited from:
- RefinedTypeOps
- Source
- RefinedTypeOps.scala
Attributes
- Inherited from:
- RefinedTypeOps
- Source
- RefinedTypeOps.scala
Attributes
- Inherited from:
- RefinedTypeOps
- Source
- RefinedTypeOps.scala
Extensions
Inherited extensions
Attributes
- Inherited from:
- RefinedTypeOps
- Source
- RefinedTypeOps.scala