neotype
neotype
API
neotype
BinOpMatch
BinOpMatch
Calc
Value
Apply0
Apply1
Apply2
CalcApply
CalcBlock
Reference
MatchExpr
IfThenElse
CalcClosure
Calc
CalcDef
CalcValDef
CalcDefDef
CalcMatchCase
CalcMatchCase
CalcPattern
Value
Variable
Alternative
Wildcard
CalcPattern
CustomFromExpr
Newtype
Newtype
Simple
Simple
Seal
Subtype
Subtype
Simple
Simple
Uninlined
Unseal
ValidatedWrapper
ValidateEvidence
Wrapper
neotype
/
neotype
/
ValidatedWrapper
ValidatedWrapper
neotype.ValidatedWrapper
trait
ValidatedWrapper
[
A
]
extends
Wrapper
[
A
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Wrapper
[
A
]
class
Object
trait
Matchable
class
Any
Known subtypes
class
Newtype
[
A
]
class
Subtype
[
A
]
Self type
ValidatedWrapper
[
A
]
Members list
Clear all
Type members
Classlikes
trait
ValidateEvidence
Attributes
Supertypes
class
Object
trait
Matchable
class
Any
Inherited types
type
Type
Attributes
Inherited from:
Wrapper
Value members
Abstract methods
def
validate
(
input
:
A
):
Boolean
Concrete methods
def
failureMessage
:
String
Givens
Givens
inline
given
given_ValidateEvidence
:
ValidateEvidence
Extensions
Extensions
extension
(
using
ValidateEvidence
)(
inline
bool
:
Boolean
)
inline
def
??
(
message
:
String
):
Boolean
extension
(
using
ValidateEvidence
)(
inline
string
:
String
)
inline
def
isEmail
:
Boolean
inline
def
isURL
:
Boolean
inline
def
isUUID
:
Boolean
In this article
Attributes
Members list
Type members
Classlikes
Inherited types
Value members
Abstract methods
Concrete methods
Givens
Givens
Extensions
Extensions