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

def make(input: A): Either[String, Type]
inline def unsafeMake(inline input: A): Type
inline def unsafeMakeF[F[_]](inline input: F[A]): F[Type]

Inherited methods

inline def apply(inline input: A): Type

Attributes

Inherited from:
ValidatedWrapper
inline def applyAll(inline values: A*): List[Type]

Attributes

Inherited from:
ValidatedWrapper
def failureMessage: String

Attributes

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

Attributes

Inherited from:
ValidatedWrapper

Givens

Givens

Inherited givens

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