newtypes-core
newtypes-core
monix.newtypes
BuildFailure
BuildFailure
HasBuilder
HasBuilder
HasExtractor
HasExtractor
Newsubtype
NewsubtypeCovariantK
NewsubtypeK
NewsubtypeValidated
NewsubtypeWrapped
Newtype
NewtypeCovariantK
NewtypeK
NewtypeValidated
NewtypeWrapped
TypeInfo
TypeInfo
newtypes-core
/
monix.newtypes
/
NewsubtypeK
NewsubtypeK
abstract
class
NewsubtypeK
[
Src
[
_
]]
extends
NewsubtypeTraitK
[
Src
]
Similar to
NewtypeK
, except that the type created is a sub-type.
Graph
Supertypes
trait
NewsubtypeTraitK
[
Src
]
trait
NewEncodingK
[
Src
]
class
Object
trait
Matchable
class
Any
Type members
Value members
Extensions
Implicits
Type members
Inherited types
override
opaque type
Type
[
A
]
Inherited from:
NewsubtypeTraitK
Value members
Inherited methods
final inline protected
def
derive
[
F
[
_
],
A
](
using
ev:
F
[
Src
[
A
]]):
F
[
Type
[
A
]]
Inherited from:
NewEncodingK
final inline protected
def
deriveK
[
F
[
_
[
_
]]](
using
ev:
F
[
Src
]):
F
[
Type
]
Inherited from:
NewEncodingK
final inline protected
def
unsafeCoerce
[
A
](
value:
Src
[
A
]):
Type
[
A
]
Inherited from:
NewEncodingK
Extensions
Inherited extensions
extension
[
A
](self:
Type
[
A
])
final inline
def
value
:
Src
[
A
]
Inherited from:
NewEncodingK
Implicits
Inherited implicits
final implicit
def
extractor
[
A
]:
Aux
[
Type
[
A
],
Src
[
A
]]
Inherited from:
NewEncodingK
implicit
def
typeName
[
A
:
TypeInfo
]:
TypeInfo
[
Type
[
A
]]
Inherited from:
NewEncodingK