pure ( M-a x -- M-a M-x ) - Factor Documentation

pure ( M-a x -- M-a M-x )

Vocabulary
monadics

Inputs

M-a an object

x an object

Outputs

M-a an object

M-x an object

Definition

GENERIC#: pure 1 ( M-a x -- M-a M-x )

Methods

USING: monadics ;

M: Either pure right ;

USING: monadics ;

M: Maybe pure just ;

USING: arrays monadics sequences ;

M: sequence pure 1array ;