sprout/sprout/SproutRefined

SproutRefined

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

Type members

Types

override opaque type Type

Inherited types

type Original = O
Inherited from
Burry

Value members

Abstract methods

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

Concrete methods

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

Inherited methods

@inline
final def oldType(n: Type): O
Inherited from
Burry
def symbolicName: String

Used for better error messages, and certain integrations.

Used for better error messages, and certain integrations.

Inherited from
Burry

Concrete fields

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