doobie
Implicit Metas, Puts and Gets for refined types.
Attributes
- Source
- doobie.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
doobie.type
Members list
Givens
Givens
A Get instance for refined types. Retrieve values using base type's Get then check the constraint on the retrieved unrefined values.
A Get instance for refined types. Retrieve values using base type's Get then check the constraint on the retrieved unrefined values.
Type parameters
- A
-
the base type
- C
-
the constraint type
Value parameters
- get
-
the base type's value getter
Attributes
- Source
- doobie.scala
A Get instance for new types.
A Get instance for new types.
Type parameters
- T
-
the new type
Value parameters
- ev
-
the value getter of the underlying type
- m
-
the meta information of the refined new type
Attributes
- Source
- doobie.scala
A Meta instance for refined types. Retrieve values using base type's Meta then check the constraint on the retrieved unrefined values.
A Meta instance for refined types. Retrieve values using base type's Meta then check the constraint on the retrieved unrefined values.
Type parameters
- A
-
the base type
- C
-
the constraint type
Value parameters
- meta
-
the base type's value getter/setter
Attributes
- Source
- doobie.scala
A Meta instance for new types.
A Meta instance for new types.
Type parameters
- T
-
the new type
Value parameters
- ev
-
the value getter/setter of the underlying type
- m
-
the meta information of the refined new type
Attributes
- Source
- doobie.scala
A Put instance for refined types. Retrieve values using base type's Put then check the constraint on the retrieved unrefined values.
A Put instance for refined types. Retrieve values using base type's Put then check the constraint on the retrieved unrefined values.
Type parameters
- A
-
the base type
- C
-
the constraint type
Value parameters
- put
-
the base type's value setter
Attributes
- Source
- doobie.scala
A Put instance for new types.
A Put instance for new types.
Type parameters
- T
-
the new type
Value parameters
- ev
-
the value setter of the underlying type
- m
-
the meta information of the refined new type
Attributes
- Source
- doobie.scala