Example #1
0
        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));
        }
Example #2
0
        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));
        }
Example #3
0
 public KApplicative(KCombiner op)
 {
     Combiner = op;
 }