neotype
API
Generated with
neotype/neotype/Newtype

Newtype

neotype.Newtype
See theNewtype companion object
abstract opaque class Newtype[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 applyAll(inline values: A*): List[Type]
def make(input: A): Either[String, 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

Extensions

extension (input: Type)
inline def unwrap: A

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