3.3.6 s-exp-structs

contents ← prev up next →

3.3.6 s-exp-structs🔗

Usage:

include s-exp-structs

import s-exp-structs as ...

3.3.6.1 The S-Exp Datatype🔗

This datatype defines the result of parsing s-expressions. See read-s-exp for more details and examples.

data S-Exp:

| s-list(exps :: List<S-Exp>)
| s-num(n :: Number)
| s-str(s :: String)
| s-sym(s :: String)

end

s-list :: (exps :: List<S-Exp>) -> S-Exp
s-num :: (n :: Number) -> S-Exp
s-str :: (s :: String) -> S-Exp
s-sym :: (s :: String) -> S-Exp
is-s-list :: (val :: Any) -> Boolean
is-s-num :: (val :: Any) -> Boolean
is-s-str :: (val :: Any) -> Boolean
is-s-sym :: (val :: Any) -> Boolean

contents ← prev up next →

1	Getting Started and Running Pyret
2	Language Concepts
3	Builtins and Libraries
4	Pyret Style Guide
5	Internals
6	Glossary

3.1	General-Purpose Libraries
3.2	Archived Libraries
3.3	Internal Libraries

3.3.1	Raw Array
3.3.2	data-source
3.3.3	srcloc
3.3.4	pprint
3.3.5	s-exp
3.3.6	s-exp-structs