forked from Dwarfartisan/gisp
/
functor.go
118 lines (98 loc) · 2.49 KB
/
functor.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
package gisp
import (
px "github.com/Dwarfartisan/goparsec/parsex"
)
type Functor interface {
Task(env Env, args ...interface{}) (Lisp, error)
}
type ArgsSignChecker func(args ...interface{}) error
func ParsexSignChecker(parser px.Parser) ArgsSignChecker {
return func(args ...interface{}) error {
st := px.NewStateInMemory(args)
_, err := parser(st)
return err
}
}
type EmptyFunc struct {
functor func(env Env, args ...interface{}) (Lisp, error)
}
func (ef EmptyFunc) Task(env Env, args ...interface{}) (Lisp, error) {
lisp, err := ef.functor(env, args...)
if err != nil {
return nil, err
}
return lisp, nil
}
type SimpleFunc struct {
tasker func(env Env, args ...interface{}) (Tasker, error)
}
func (sf SimpleFunc) Task(env Env, args ...interface{}) (Lisp, error) {
params, err := Evals(env, args...)
if err != nil {
return nil, err
}
tasker, err := sf.tasker(env, params...)
if err != nil {
return nil, err
}
return TaskBox{tasker}, nil
}
type SimpleBox struct {
checker func(args ...interface{}) error
task func(args ...interface{}) Tasker
}
func (sb SimpleBox) Task(env Env, args ...interface{}) (Lisp, error) {
params, err := Evals(env, args...)
if err != nil {
return nil, err
}
err = sb.checker(params...)
if err != nil {
return nil, err
}
return TaskBox{sb.task(params...)}, nil
}
type ExprxBox struct {
TaskerBox
checker ArgsSignChecker
}
func BoxExprx(asign ArgsSignChecker, expr TaskExpr) ExprxBox {
return ExprxBox{TaskerBox{expr}, asign}
}
func (box ExprxBox) Task(env Env, args ...interface{}) (Lisp, error) {
params, err := Evals(env, args...)
if err != nil {
return nil, err
}
err = box.checker(params...)
if err != nil {
return nil, ParsexSignErrorf("Args Type Sign Error: pass %v got error: %v", args, err)
}
return box.TaskerBox.Task(env, args...)
}
type TaskerBox struct {
functor TaskExpr
}
func BoxExpr(expr TaskExpr) TaskerBox {
return TaskerBox{expr}
}
func (box TaskerBox) Task(env Env, args ...interface{}) (Lisp, error) {
task, err := box.functor(env, args...)
if err != nil {
return nil, ParsexSignErrorf("Args Type Sign Error: pass %v got error: %v", args, err)
}
return TaskBox{task}, nil
}
type EvalBox struct {
functor LispExpr
}
func EvalExpr(expr LispExpr) EvalBox {
return EvalBox{expr}
}
func (box EvalBox) Task(env Env, args ...interface{}) (Lisp, error) {
lisp, err := box.functor(env, args...)
if err != nil {
return nil, ParsexSignErrorf("Args Type Sign Error: pass %v got error: %v", args, err)
}
return lisp, nil
}