generated from okp4/template-oss
-
Notifications
You must be signed in to change notification settings - Fork 120
/
atom.go
53 lines (51 loc) · 2.44 KB
/
atom.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
package prolog
import "github.com/ichiban/prolog/engine"
var (
// AtomAs is the term used to indicate the as encoding type option.
AtomAs = engine.NewAtom("as")
// AtomAt are terms with principal functor (@)/1 used to represent special values in json objects.
AtomAt = engine.NewAtom("@")
// AtomDIDComponents is a term which represents a DID as a compound term `did_components(Method, ID, Path, Query, Fragment)`.
AtomDIDComponents = engine.NewAtom("did_components")
// AtomDot is the term used to represent the dot in a list.
AtomDot = engine.NewAtom(".")
// AtomEmpty is the term used to represent empty.
AtomEmpty = engine.NewAtom("")
// AtomEmptyArray is the term [].
AtomEmptyArray = engine.NewAtom("[]")
// AtomEmptyList is the term used to represent an empty list.
AtomEmptyList = engine.NewAtom("[]")
// AtomEncoding is the term used to indicate the encoding type option.
AtomEncoding = engine.NewAtom("encoding")
// AtomError is the term used to indicate the error.
AtomError = engine.NewAtom("error")
// AtomFalse is the term false.
AtomFalse = engine.NewAtom("false")
// AtomFragment is the term used to indicate the fragment component.
AtomFragment = engine.NewAtom("fragment")
// AtomHex is the term used to indicate the hexadecimal encoding type option.
AtomHex = engine.NewAtom("hex")
// AtomJSON are terms with principal functor json/1 used to represent json objects.
AtomJSON = engine.NewAtom("json")
// AtomNull is the term null.
AtomNull = engine.NewAtom("null")
// AtomOctet is the term used to indicate the byte encoding type option.
AtomOctet = engine.NewAtom("octet")
// AtomPadding is the term used to indicate the padding encoding type option.
AtomPadding = engine.NewAtom("padding")
// AtomPair are terms with principal functor (-)/2.
// For example, the term -(A, B) denotes the pair of elements A and B.
AtomPair = engine.NewAtom("-")
// AtomPath is the term used to indicate the path component.
AtomPath = engine.NewAtom("path")
// AtomQueryValue is the term used to indicate the query value component.
AtomQueryValue = engine.NewAtom("query_value")
// AtomSegment is the term used to indicate the segment component.
AtomSegment = engine.NewAtom("segment")
// AtomText is the term used to indicate the atom text.
AtomText = engine.NewAtom("text")
// AtomTrue is the term true.
AtomTrue = engine.NewAtom("true")
// AtomUtf8 is the term used to indicate the UTF-8 encoding type option.
AtomUtf8 = engine.NewAtom("utf8")
)