sprout/sprout/RefinedType

RefinedType

trait RefinedType[O, N, E] extends OldType[O, N]
Companion
object
trait OldType[O, N]
class Object
trait Matchable
class Any

Value members

Abstract methods

@inline
def newType[F[_]](o: O)(using m: MonadError[F, E]): F[N]

Inherited methods

@inline
def oldType(n: N): O
Inherited from
OldType
def symbolicName: String

Ought to be used only for pretty printing and debug messages, not intented to represent extremly precise and consistent values that can be relied on in mission critical code

Ought to be used only for pretty printing and debug messages, not intented to represent extremly precise and consistent values that can be relied on in mission critical code

Returns

e.g. object TestValue extends Sprout[Int] //which extends OldType type TestValue = TestValue.Type returns TestValue

Inherited from
OldType