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 Wrapper[A]
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Inherited classlikes

trait ValidateEvidence

Attributes

Inherited from:
ValidatedWrapper
Graph
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 (x$1: ValidateEvidence)
inline def ??(inline bool: Boolean)(message: String): Boolean

Attributes

Inherited from:
ValidatedWrapper
extension (x$1: ValidateEvidence)
inline def isEmail(inline string: String): Boolean

Attributes

Inherited from:
ValidatedWrapper
inline def isURL(inline string: String): Boolean

Attributes

Inherited from:
ValidatedWrapper
inline def isUUID(inline string: String): Boolean

Attributes

Inherited from:
ValidatedWrapper
Generated with