neotype
API
Generated with
neotype/neotype/Subtype

Subtype

neotype.Subtype
See theSubtype companion object
abstract opaque class Subtype[A] extends ValidatedWrapper[A]

Attributes

Companion
object
Graph
Supertypes
trait ValidatedWrapper[A]
trait Wrapper[A]
class Object
trait Matchable
class Any
Self type
Subtype[A]

Members list

Type members

Inherited classlikes

trait ValidateEvidence

Attributes

Inherited from:
ValidatedWrapper
Supertypes
class Object
trait Matchable
class Any

Types

opaque type Type

Value members

Concrete methods

inline def apply(inline input: A): Type
inline def cast(inline input: Type): A
inline def castF[F[_]](inline input: F[Type]): F[A]
def make(input: A): Either[String, Type]
inline def unsafeWrap(inline input: A): Type
inline def unsafeWrapF[F[_]](inline input: F[A]): F[Type]

Inherited methods

def failureMessage: String

Attributes

Inherited from:
ValidatedWrapper
def validate(input: A): Boolean

Attributes

Inherited from:
ValidatedWrapper

Givens

Inherited givens

inline given given_ValidateEvidence: ValidateEvidence

Attributes

Inherited from:
ValidatedWrapper

Extensions

Inherited extensions

extension (using ValidateEvidence)(inline bool: Boolean)
inline def ??(message: String): Boolean

Attributes

Inherited from:
ValidatedWrapper
extension (using ValidateEvidence)(inline string: String)
inline def isEmail: Boolean

Attributes

Inherited from:
ValidatedWrapper
inline def isURL: Boolean

Attributes

Inherited from:
ValidatedWrapper
inline def isUUID: Boolean

Attributes

Inherited from:
ValidatedWrapper
Generated with