Documentation ¶
Index ¶
- type Call
- type Dictionary
- type ErrorKind
- type ErrorKindOperational
- type ErrorKindParameter
- type ErrorKindParse
- type ErrorKindRuntime
- type ErrorKindVariant
- type ExternalInstance
- type InstanceLiteral
- type Message
- type MessageKind
- type MessageKindPrint
- type MessageKindVariant
- type MessageKindWarning
- type Node
- type NodeRule
- type NodeTerm
- type NodeVariant
- type Numeric
- type NumericFloat
- type NumericInteger
- type NumericVariant
- type Operation
- type OperationalError
- type OperationalErrorInvalidState
- type OperationalErrorUnimplemented
- type OperationalErrorUnknown
- type OperationalErrorVariant
- type Operator
- type OperatorAdd
- type OperatorAnd
- type OperatorAssign
- type OperatorCut
- type OperatorDebug
- type OperatorDiv
- type OperatorDot
- type OperatorEq
- type OperatorForAll
- type OperatorGeq
- type OperatorGt
- type OperatorIn
- type OperatorIsa
- type OperatorLeq
- type OperatorLt
- type OperatorMod
- type OperatorMul
- type OperatorNeq
- type OperatorNew
- type OperatorNot
- type OperatorOr
- type OperatorPrint
- type OperatorRem
- type OperatorSub
- type OperatorUnify
- type OperatorVariant
- type Parameter
- type ParameterError
- type ParseError
- type ParseErrorExtraToken
- type ParseErrorIntegerOverflow
- type ParseErrorInvalidFloat
- type ParseErrorInvalidToken
- type ParseErrorInvalidTokenCharacter
- type ParseErrorReservedWord
- type ParseErrorUnrecognizedEOF
- type ParseErrorUnrecognizedToken
- type ParseErrorVariant
- type ParseErrorWrongValueType
- type Partial
- type Pattern
- type PatternDictionary
- type PatternInstance
- type PatternVariant
- type QueryEvent
- type QueryEventDebug
- type QueryEventDone
- type QueryEventExternalCall
- type QueryEventExternalIsSubSpecializer
- type QueryEventExternalIsSubclass
- type QueryEventExternalIsa
- type QueryEventExternalOp
- type QueryEventExternalUnify
- type QueryEventMakeExternal
- type QueryEventNextExternal
- type QueryEventNone
- type QueryEventResult
- type QueryEventVariant
- type Rule
- type RuntimeError
- type RuntimeErrorApplication
- type RuntimeErrorArithmeticError
- type RuntimeErrorFileLoading
- type RuntimeErrorQueryTimeout
- type RuntimeErrorSerialization
- type RuntimeErrorStackOverflow
- type RuntimeErrorTypeError
- type RuntimeErrorUnboundVariable
- type RuntimeErrorUnsupported
- type RuntimeErrorVariant
- type Symbol
- type Term
- type Trace
- type TraceResult
- type Value
- type ValueBoolean
- type ValueCall
- type ValueDictionary
- type ValueExpression
- type ValueExternalInstance
- type ValueList
- type ValueNumber
- type ValuePattern
- type ValueRestVariable
- type ValueString
- type ValueVariable
- type ValueVariant
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Dictionary ¶
Dictionary struct
type ErrorKind ¶
type ErrorKind struct {
ErrorKindVariant
}
func (ErrorKind) MarshalJSON ¶
func (*ErrorKind) UnmarshalJSON ¶
type ErrorKindOperational ¶
type ErrorKindOperational OperationalError
ErrorKindOperational newtype
func (ErrorKindOperational) MarshalJSON ¶
func (variant ErrorKindOperational) MarshalJSON() ([]byte, error)
func (*ErrorKindOperational) UnmarshalJSON ¶
func (variant *ErrorKindOperational) UnmarshalJSON(b []byte) error
type ErrorKindParameter ¶
type ErrorKindParameter ParameterError
ErrorKindParameter newtype
func (ErrorKindParameter) MarshalJSON ¶
func (variant ErrorKindParameter) MarshalJSON() ([]byte, error)
func (*ErrorKindParameter) UnmarshalJSON ¶
func (variant *ErrorKindParameter) UnmarshalJSON(b []byte) error
type ErrorKindParse ¶
type ErrorKindParse ParseError
ErrorKindParse newtype
func (ErrorKindParse) MarshalJSON ¶
func (variant ErrorKindParse) MarshalJSON() ([]byte, error)
func (*ErrorKindParse) UnmarshalJSON ¶
func (variant *ErrorKindParse) UnmarshalJSON(b []byte) error
type ErrorKindRuntime ¶
type ErrorKindRuntime RuntimeError
ErrorKindRuntime newtype
func (ErrorKindRuntime) MarshalJSON ¶
func (variant ErrorKindRuntime) MarshalJSON() ([]byte, error)
func (*ErrorKindRuntime) UnmarshalJSON ¶
func (variant *ErrorKindRuntime) UnmarshalJSON(b []byte) error
type ErrorKindVariant ¶
type ErrorKindVariant interface {
// contains filtered or unexported methods
}
ErrorKind enum
type ExternalInstance ¶
type ExternalInstance struct { // InstanceId InstanceId uint64 `json:"instance_id"` // Constructor Constructor *Term `json:"constructor"` // Repr Repr *string `json:"repr"` }
ExternalInstance struct
type InstanceLiteral ¶
type InstanceLiteral struct { // Tag Tag Symbol `json:"tag"` // Fields Fields Dictionary `json:"fields"` }
InstanceLiteral struct
type Message ¶
type Message struct { // Kind Kind MessageKind `json:"kind"` // Msg Msg string `json:"msg"` }
Message struct
type MessageKind ¶
type MessageKind struct {
MessageKindVariant
}
func (MessageKind) MarshalJSON ¶
func (variant MessageKind) MarshalJSON() ([]byte, error)
func (*MessageKind) UnmarshalJSON ¶
func (result *MessageKind) UnmarshalJSON(b []byte) error
type MessageKindPrint ¶
type MessageKindPrint struct{}
type MessageKindVariant ¶
type MessageKindVariant interface {
// contains filtered or unexported methods
}
MessageKind enum
type MessageKindWarning ¶
type MessageKindWarning struct{}
type NodeRule ¶
type NodeRule Rule
NodeRule newtype
func (NodeRule) MarshalJSON ¶
func (*NodeRule) UnmarshalJSON ¶
type NodeTerm ¶
type NodeTerm Term
NodeTerm newtype
func (NodeTerm) MarshalJSON ¶
func (*NodeTerm) UnmarshalJSON ¶
type NodeVariant ¶
type NodeVariant interface {
// contains filtered or unexported methods
}
Node enum
type Numeric ¶
type Numeric struct {
NumericVariant
}
func (Numeric) MarshalJSON ¶
func (*Numeric) UnmarshalJSON ¶
type NumericFloat ¶
type NumericFloat float64
NumericFloat newtype
func (NumericFloat) MarshalJSON ¶
func (variant NumericFloat) MarshalJSON() ([]byte, error)
func (*NumericFloat) UnmarshalJSON ¶
func (variant *NumericFloat) UnmarshalJSON(b []byte) error
type NumericInteger ¶
type NumericInteger int64
NumericInteger newtype
func (NumericInteger) MarshalJSON ¶
func (variant NumericInteger) MarshalJSON() ([]byte, error)
func (*NumericInteger) UnmarshalJSON ¶
func (variant *NumericInteger) UnmarshalJSON(b []byte) error
type NumericVariant ¶
type NumericVariant interface {
// contains filtered or unexported methods
}
Numeric enum
type Operation ¶
type Operation struct { // Operator Operator Operator `json:"operator"` // Args Args []Term `json:"args"` }
Operation struct
type OperationalError ¶
type OperationalError struct {
OperationalErrorVariant
}
func (OperationalError) MarshalJSON ¶
func (variant OperationalError) MarshalJSON() ([]byte, error)
func (*OperationalError) UnmarshalJSON ¶
func (result *OperationalError) UnmarshalJSON(b []byte) error
type OperationalErrorInvalidState ¶
type OperationalErrorInvalidState string
OperationalErrorInvalidState newtype
func (OperationalErrorInvalidState) MarshalJSON ¶
func (variant OperationalErrorInvalidState) MarshalJSON() ([]byte, error)
func (*OperationalErrorInvalidState) UnmarshalJSON ¶
func (variant *OperationalErrorInvalidState) UnmarshalJSON(b []byte) error
type OperationalErrorUnimplemented ¶
type OperationalErrorUnimplemented string
OperationalErrorUnimplemented newtype
func (OperationalErrorUnimplemented) MarshalJSON ¶
func (variant OperationalErrorUnimplemented) MarshalJSON() ([]byte, error)
func (*OperationalErrorUnimplemented) UnmarshalJSON ¶
func (variant *OperationalErrorUnimplemented) UnmarshalJSON(b []byte) error
type OperationalErrorUnknown ¶
type OperationalErrorUnknown struct{}
type OperationalErrorVariant ¶
type OperationalErrorVariant interface {
// contains filtered or unexported methods
}
OperationalError enum
type Operator ¶
type Operator struct {
OperatorVariant
}
func (Operator) MarshalJSON ¶
func (*Operator) UnmarshalJSON ¶
type OperatorAdd ¶
type OperatorAdd struct{}
type OperatorAnd ¶
type OperatorAnd struct{}
type OperatorAssign ¶
type OperatorAssign struct{}
type OperatorCut ¶
type OperatorCut struct{}
type OperatorDebug ¶
type OperatorDebug struct{}
type OperatorDiv ¶
type OperatorDiv struct{}
type OperatorDot ¶
type OperatorDot struct{}
type OperatorEq ¶
type OperatorEq struct{}
type OperatorForAll ¶
type OperatorForAll struct{}
type OperatorGeq ¶
type OperatorGeq struct{}
type OperatorGt ¶
type OperatorGt struct{}
type OperatorIn ¶
type OperatorIn struct{}
type OperatorIsa ¶
type OperatorIsa struct{}
type OperatorLeq ¶
type OperatorLeq struct{}
type OperatorLt ¶
type OperatorLt struct{}
type OperatorMod ¶
type OperatorMod struct{}
type OperatorMul ¶
type OperatorMul struct{}
type OperatorNeq ¶
type OperatorNeq struct{}
type OperatorNew ¶
type OperatorNew struct{}
type OperatorNot ¶
type OperatorNot struct{}
type OperatorOr ¶
type OperatorOr struct{}
type OperatorPrint ¶
type OperatorPrint struct{}
type OperatorRem ¶
type OperatorRem struct{}
type OperatorSub ¶
type OperatorSub struct{}
type OperatorUnify ¶
type OperatorUnify struct{}
type OperatorVariant ¶
type OperatorVariant interface {
// contains filtered or unexported methods
}
Operator enum
type Parameter ¶
type Parameter struct { // Parameter Parameter Term `json:"parameter"` // Specializer Specializer *Term `json:"specializer"` }
Parameter struct
type ParameterError ¶
type ParameterError string
ParameterError newtype
func (ParameterError) MarshalJSON ¶
func (variant ParameterError) MarshalJSON() ([]byte, error)
func (*ParameterError) UnmarshalJSON ¶
func (variant *ParameterError) UnmarshalJSON(b []byte) error
type ParseError ¶
type ParseError struct {
ParseErrorVariant
}
func (ParseError) MarshalJSON ¶
func (variant ParseError) MarshalJSON() ([]byte, error)
func (*ParseError) UnmarshalJSON ¶
func (result *ParseError) UnmarshalJSON(b []byte) error
type ParseErrorExtraToken ¶
type ParseErrorExtraToken struct { // Token Token string `json:"token"` // Loc Loc uint64 `json:"loc"` }
ParseErrorExtraToken struct
type ParseErrorIntegerOverflow ¶
type ParseErrorIntegerOverflow struct { // Token Token string `json:"token"` // Loc Loc uint64 `json:"loc"` }
ParseErrorIntegerOverflow struct
type ParseErrorInvalidFloat ¶
type ParseErrorInvalidFloat struct { // Token Token string `json:"token"` // Loc Loc uint64 `json:"loc"` }
ParseErrorInvalidFloat struct
type ParseErrorInvalidToken ¶
type ParseErrorInvalidToken struct { // Loc Loc uint64 `json:"loc"` }
ParseErrorInvalidToken struct
type ParseErrorInvalidTokenCharacter ¶
type ParseErrorInvalidTokenCharacter struct { // Token Token string `json:"token"` // C C string `json:"c"` // Loc Loc uint64 `json:"loc"` }
ParseErrorInvalidTokenCharacter struct
type ParseErrorReservedWord ¶
type ParseErrorReservedWord struct { // Token Token string `json:"token"` // Loc Loc uint64 `json:"loc"` }
ParseErrorReservedWord struct
type ParseErrorUnrecognizedEOF ¶
type ParseErrorUnrecognizedEOF struct { // Loc Loc uint64 `json:"loc"` }
ParseErrorUnrecognizedEOF struct
type ParseErrorUnrecognizedToken ¶
type ParseErrorUnrecognizedToken struct { // Token Token string `json:"token"` // Loc Loc uint64 `json:"loc"` }
ParseErrorUnrecognizedToken struct
type ParseErrorVariant ¶
type ParseErrorVariant interface {
// contains filtered or unexported methods
}
ParseError enum
type ParseErrorWrongValueType ¶
type ParseErrorWrongValueType struct { // Loc Loc uint64 `json:"loc"` // Term Term Term `json:"term"` // Expected Expected string `json:"expected"` }
ParseErrorWrongValueType struct
type Partial ¶
type Partial struct { // Constraints Constraints []Operation `json:"constraints"` // Variable Variable Symbol `json:"variable"` }
Partial struct
type Pattern ¶
type Pattern struct {
PatternVariant
}
func (Pattern) MarshalJSON ¶
func (*Pattern) UnmarshalJSON ¶
type PatternDictionary ¶
type PatternDictionary Dictionary
PatternDictionary newtype
func (PatternDictionary) MarshalJSON ¶
func (variant PatternDictionary) MarshalJSON() ([]byte, error)
func (*PatternDictionary) UnmarshalJSON ¶
func (variant *PatternDictionary) UnmarshalJSON(b []byte) error
type PatternInstance ¶
type PatternInstance InstanceLiteral
PatternInstance newtype
func (PatternInstance) MarshalJSON ¶
func (variant PatternInstance) MarshalJSON() ([]byte, error)
func (*PatternInstance) UnmarshalJSON ¶
func (variant *PatternInstance) UnmarshalJSON(b []byte) error
type PatternVariant ¶
type PatternVariant interface {
// contains filtered or unexported methods
}
Pattern enum
type QueryEvent ¶
type QueryEvent struct {
QueryEventVariant
}
func (QueryEvent) MarshalJSON ¶
func (variant QueryEvent) MarshalJSON() ([]byte, error)
func (*QueryEvent) UnmarshalJSON ¶
func (result *QueryEvent) UnmarshalJSON(b []byte) error
type QueryEventDebug ¶
type QueryEventDebug struct { // Message Message string `json:"message"` }
QueryEventDebug struct
type QueryEventDone ¶
type QueryEventDone struct { // Result Result bool `json:"result"` }
QueryEventDone struct
type QueryEventExternalCall ¶
type QueryEventExternalCall struct { // CallId CallId uint64 `json:"call_id"` // Instance Instance Term `json:"instance"` // Attribute Attribute Symbol `json:"attribute"` // Args Args *[]Term `json:"args"` // Kwargs Kwargs *map[Symbol]Term `json:"kwargs"` }
QueryEventExternalCall struct
type QueryEventExternalIsSubSpecializer ¶
type QueryEventExternalIsSubSpecializer struct { // CallId CallId uint64 `json:"call_id"` // InstanceId InstanceId uint64 `json:"instance_id"` // LeftClassTag LeftClassTag Symbol `json:"left_class_tag"` // RightClassTag RightClassTag Symbol `json:"right_class_tag"` }
QueryEventExternalIsSubSpecializer struct
type QueryEventExternalIsSubclass ¶
type QueryEventExternalIsSubclass struct { // CallId CallId uint64 `json:"call_id"` // LeftClassTag LeftClassTag Symbol `json:"left_class_tag"` // RightClassTag RightClassTag Symbol `json:"right_class_tag"` }
QueryEventExternalIsSubclass struct
type QueryEventExternalIsa ¶
type QueryEventExternalIsa struct { // CallId CallId uint64 `json:"call_id"` // Instance Instance Term `json:"instance"` // ClassTag ClassTag Symbol `json:"class_tag"` }
QueryEventExternalIsa struct
type QueryEventExternalOp ¶
type QueryEventExternalOp struct { // CallId CallId uint64 `json:"call_id"` // Operator Operator Operator `json:"operator"` // Args Args []Term `json:"args"` }
QueryEventExternalOp struct
type QueryEventExternalUnify ¶
type QueryEventExternalUnify struct { // CallId CallId uint64 `json:"call_id"` // LeftInstanceId LeftInstanceId uint64 `json:"left_instance_id"` // RightInstanceId RightInstanceId uint64 `json:"right_instance_id"` }
QueryEventExternalUnify struct
type QueryEventMakeExternal ¶
type QueryEventMakeExternal struct { // InstanceId InstanceId uint64 `json:"instance_id"` // Constructor Constructor Term `json:"constructor"` }
QueryEventMakeExternal struct
type QueryEventNextExternal ¶
type QueryEventNextExternal struct { // CallId CallId uint64 `json:"call_id"` // Iterable Iterable Term `json:"iterable"` }
QueryEventNextExternal struct
type QueryEventNone ¶
type QueryEventNone struct{}
type QueryEventResult ¶
type QueryEventResult struct { // Bindings Bindings map[Symbol]Term `json:"bindings"` // Trace Trace *TraceResult `json:"trace"` }
QueryEventResult struct
type QueryEventVariant ¶
type QueryEventVariant interface {
// contains filtered or unexported methods
}
QueryEvent enum
type Rule ¶
type Rule struct { // Name Name Symbol `json:"name"` // Params Params []Parameter `json:"params"` // Body Body Term `json:"body"` }
Rule struct
type RuntimeError ¶
type RuntimeError struct {
RuntimeErrorVariant
}
func (RuntimeError) MarshalJSON ¶
func (variant RuntimeError) MarshalJSON() ([]byte, error)
func (*RuntimeError) UnmarshalJSON ¶
func (result *RuntimeError) UnmarshalJSON(b []byte) error
type RuntimeErrorApplication ¶
type RuntimeErrorApplication struct { // Msg Msg string `json:"msg"` // StackTrace StackTrace *string `json:"stack_trace"` }
RuntimeErrorApplication struct
type RuntimeErrorArithmeticError ¶
type RuntimeErrorArithmeticError struct { // Msg Msg string `json:"msg"` }
RuntimeErrorArithmeticError struct
type RuntimeErrorFileLoading ¶
type RuntimeErrorFileLoading struct { // Msg Msg string `json:"msg"` }
RuntimeErrorFileLoading struct
type RuntimeErrorQueryTimeout ¶
type RuntimeErrorQueryTimeout struct { // Msg Msg string `json:"msg"` }
RuntimeErrorQueryTimeout struct
type RuntimeErrorSerialization ¶
type RuntimeErrorSerialization struct { // Msg Msg string `json:"msg"` }
RuntimeErrorSerialization struct
type RuntimeErrorStackOverflow ¶
type RuntimeErrorStackOverflow struct { // Msg Msg string `json:"msg"` }
RuntimeErrorStackOverflow struct
type RuntimeErrorTypeError ¶
type RuntimeErrorTypeError struct { // Msg Msg string `json:"msg"` // StackTrace StackTrace *string `json:"stack_trace"` }
RuntimeErrorTypeError struct
type RuntimeErrorUnboundVariable ¶
type RuntimeErrorUnboundVariable struct { // Sym Sym Symbol `json:"sym"` }
RuntimeErrorUnboundVariable struct
type RuntimeErrorUnsupported ¶
type RuntimeErrorUnsupported struct { // Msg Msg string `json:"msg"` }
RuntimeErrorUnsupported struct
type RuntimeErrorVariant ¶
type RuntimeErrorVariant interface {
// contains filtered or unexported methods
}
RuntimeError enum
type Symbol ¶
type Symbol string
Symbol newtype
func (Symbol) MarshalJSON ¶
func (*Symbol) UnmarshalJSON ¶
type Trace ¶
type Trace struct { // Node Node Node `json:"node"` // Children Children []Trace `json:"children"` }
Trace struct
type TraceResult ¶
type TraceResult struct { // Trace Trace Trace `json:"trace"` // Formatted Formatted string `json:"formatted"` }
TraceResult struct
type Value ¶
type Value struct {
ValueVariant
}
func (Value) MarshalJSON ¶
func (*Value) UnmarshalJSON ¶
type ValueBoolean ¶
type ValueBoolean bool
ValueBoolean newtype
func (ValueBoolean) MarshalJSON ¶
func (variant ValueBoolean) MarshalJSON() ([]byte, error)
func (*ValueBoolean) UnmarshalJSON ¶
func (variant *ValueBoolean) UnmarshalJSON(b []byte) error
type ValueCall ¶
type ValueCall Call
ValueCall newtype
func (ValueCall) MarshalJSON ¶
func (*ValueCall) UnmarshalJSON ¶
type ValueDictionary ¶
type ValueDictionary Dictionary
ValueDictionary newtype
func (ValueDictionary) MarshalJSON ¶
func (variant ValueDictionary) MarshalJSON() ([]byte, error)
func (*ValueDictionary) UnmarshalJSON ¶
func (variant *ValueDictionary) UnmarshalJSON(b []byte) error
type ValueExpression ¶
type ValueExpression Operation
ValueExpression newtype
func (ValueExpression) MarshalJSON ¶
func (variant ValueExpression) MarshalJSON() ([]byte, error)
func (*ValueExpression) UnmarshalJSON ¶
func (variant *ValueExpression) UnmarshalJSON(b []byte) error
type ValueExternalInstance ¶
type ValueExternalInstance ExternalInstance
ValueExternalInstance newtype
func (ValueExternalInstance) MarshalJSON ¶
func (variant ValueExternalInstance) MarshalJSON() ([]byte, error)
func (*ValueExternalInstance) UnmarshalJSON ¶
func (variant *ValueExternalInstance) UnmarshalJSON(b []byte) error
type ValueList ¶
type ValueList []Term
ValueList newtype
func (ValueList) MarshalJSON ¶
func (*ValueList) UnmarshalJSON ¶
type ValueNumber ¶
type ValueNumber Numeric
ValueNumber newtype
func (ValueNumber) MarshalJSON ¶
func (variant ValueNumber) MarshalJSON() ([]byte, error)
func (*ValueNumber) UnmarshalJSON ¶
func (variant *ValueNumber) UnmarshalJSON(b []byte) error
type ValuePattern ¶
type ValuePattern Pattern
ValuePattern newtype
func (ValuePattern) MarshalJSON ¶
func (variant ValuePattern) MarshalJSON() ([]byte, error)
func (*ValuePattern) UnmarshalJSON ¶
func (variant *ValuePattern) UnmarshalJSON(b []byte) error
type ValueRestVariable ¶
type ValueRestVariable Symbol
ValueRestVariable newtype
func (ValueRestVariable) MarshalJSON ¶
func (variant ValueRestVariable) MarshalJSON() ([]byte, error)
func (*ValueRestVariable) UnmarshalJSON ¶
func (variant *ValueRestVariable) UnmarshalJSON(b []byte) error
type ValueString ¶
type ValueString string
ValueString newtype
func (ValueString) MarshalJSON ¶
func (variant ValueString) MarshalJSON() ([]byte, error)
func (*ValueString) UnmarshalJSON ¶
func (variant *ValueString) UnmarshalJSON(b []byte) error
type ValueVariable ¶
type ValueVariable Symbol
ValueVariable newtype
func (ValueVariable) MarshalJSON ¶
func (variant ValueVariable) MarshalJSON() ([]byte, error)
func (*ValueVariable) UnmarshalJSON ¶
func (variant *ValueVariable) UnmarshalJSON(b []byte) error
type ValueVariant ¶
type ValueVariant interface {
// contains filtered or unexported methods
}
Value enum