neotype
neotype
API
neotype
eval
BinOpMatch
BinOpMatch
CustomFromExpr
Eval
Value
Apply0
Apply1
Apply2
EvalApply
EvalBlock
Reference
MatchExpr
IfThenElse
EvalClosure
Eval
EvalDef
EvalValDef
EvalDefDef
EvalMatchCase
EvalMatchCase
EvalPattern
Value
Variable
Alternative
Wildcard
EvalPattern
Seal
Uninlined
Unseal
IsSimpleType
IsSimpleType
IsValidatedType
IsValidatedType
Newtype
Newtype
Subtype
Subtype
ValidatedWrapper
ValidateEvidence
Wrapper
neotype
neotype
Members list
Clear all
Packages
package
neotype
In this article
Members list
Packages