neotype
neotype
API
neotype
BinaryOpMatch
Calc
Constant
BinaryOp
And
Or
Not
Add
ToDouble
Length
Substring
ToUpper
ToLower
StartsWith
EndsWith
Contains
MatchesRegex
RegexMatches
StringNonEmpty
StringIsEmpty
StringApply
StringTrim
SetContains
WithMessage
Block
Reference
MatchExpr
Calc
CalcDef
CalcMatchCase
CalcMatchCase
CalcPattern
Constant
Variable
Alternative
Wildcard
CalcPattern
Newtype
Newtype
Simple
Simple
Operations
Seal
Subtype
Subtype
Simple
Simple
Uninlined
Unseal
ValidatedWrapper
ValidateEvidence
Wrapper
neotype
/
neotype
/
Subtype
/
Simple
Simple
neotype.Subtype$.Simple
See the
Simple
companion object
opaque
trait
Simple
[
A
]
extends
Wrapper
[
A
]
Attributes
Companion:
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Wrapper
[
A
]
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
Type members
Types
opaque
type
Type
Value members
Concrete methods
inline
def
apply
(
inline
input
:
A
):
Type
inline
def
applyF
[
F
[
_
]](
inline
input
:
F
[
A
]):
F
[
Type
]
inline
def
cast
(
inline
input
:
A
):
Type
inline
def
castF
[
F
[
_
]](
inline
input
:
F
[
A
]):
F
[
Type
]
Extensions
Extensions
extension
(input:
Type
)
inline
def
unwrap
:
A