(typed-get) ( name type getter: ( name -- value ) -- value )

Vocabulary

typed.namespaces

Inputs

name	an object
type	an object
getter	a quotation with stack effect ( name -- value )

Outputs

value

an object

Definition

USING: classes kernel typed.namespaces.private ;

IN: typed.namespaces

:: (typed-get)
    ( name type getter: ( name -- value ) -- value )
    name getter call :> value value type instance?
    [ name value type variable-type-error ] unless
    value type declare1 ; inline