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
/
CalcDef
/
CalcDefDef
CalcDefDef
neotype.CalcDef$.CalcDefDef
final case
class
CalcDefDef
[
A
](
name
:
String
,
params
:
List
[
String
],
calc
:
Calc
[
A
])
Clear all
Members list
Concise view
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Attributes
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Attributes
Inherited from:
Product