public override object Do(KObject args, KEnvironment env, Continuation <KObject> cont) { CPara(args, 1); KCombiner op = First(args) as KCombiner; Check(op, "not a combiner"); return(new KApplicative(op)); }
public override object Do(KObject args, KEnvironment env, Continuation <KObject> cont) { CPara(args, 1); KCombiner comb = First(args) as KCombiner; Check(comb, "not a combiner"); return(Evaluator.rceval(new KPair(comb, new KPair(new KContinuation(cont), new KNil())), env, cont)); }
public KApplicative(KCombiner op) { Combiner = op; }