sprout/sprout/SproutRefinedSub

SproutRefinedSub

trait SproutRefinedSub[O, E] extends SproutRefined[O, E]
trait SproutRefined[O, E]
trait Burry[O]
class Object
trait Matchable
class Any

Type members

Types

override opaque type Type

Inherited types

type Original = O
Inherited from
Burry

Value members

Inherited methods

final def apply[F[_]](o: O)(using m: MonadError[F, E]): F[Type]
Inherited from
SproutRefined
@inline
final def newType[F[_]](o: O)(using m: MonadError[F, E]): F[Type]
Inherited from
SproutRefined
@inline
final def oldType(n: Type): O
Inherited from
Burry
def refine[F[_]](o: O)(using m: MonadError[F, E]): F[O]

By defining this method, you basically refine the underlying type. Then you can use the apply, and newType methods to lift

By defining this method, you basically refine the underlying type. Then you can use the apply, and newType methods to lift

Inherited from
SproutRefined
def symbolicName: String

Used for better error messages, and certain integrations.

Used for better error messages, and certain integrations.

Inherited from
Burry

Inherited fields

final lazy val newTypeInstance: RefinedType[O, Type, E]
Inherited from
SproutRefined