types

package
v0.11.3 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Mar 31, 2021 License: Apache-2.0 Imports: 3 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type Call 

type Call struct {
	// Name
	Name Symbol `json:"name"`
	// Args
	Args []Term `json:"args"`
	// Kwargs
	Kwargs *map[Symbol]Term `json:"kwargs"`
}

type Dictionary 

type Dictionary struct {
	// Fields
	Fields map[Symbol]Term `json:"fields"`
}

Dictionary struct

type ErrorKind 

type ErrorKind struct {
	ErrorKindVariant
}

func (ErrorKind) MarshalJSON 

func (variant ErrorKind) MarshalJSON() ([]byte, error)

func (*ErrorKind) UnmarshalJSON 

func (result *ErrorKind) UnmarshalJSON(b []byte) error

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 Node 

type Node struct {
	NodeVariant
}

func (Node) MarshalJSON 

func (variant Node) MarshalJSON() ([]byte, error)

func (*Node) UnmarshalJSON 

func (result *Node) UnmarshalJSON(b []byte) error

type NodeRule 

type NodeRule Rule

NodeRule newtype

func (NodeRule) MarshalJSON 

func (variant NodeRule) MarshalJSON() ([]byte, error)

func (*NodeRule) UnmarshalJSON 

func (variant *NodeRule) UnmarshalJSON(b []byte) error

type NodeTerm 

type NodeTerm Term

NodeTerm newtype

func (NodeTerm) MarshalJSON 

func (variant NodeTerm) MarshalJSON() ([]byte, error)

func (*NodeTerm) UnmarshalJSON 

func (variant *NodeTerm) UnmarshalJSON(b []byte) error

type NodeVariant 

type NodeVariant interface {
	// contains filtered or unexported methods
}

Node enum

type Numeric 

type Numeric struct {
	NumericVariant
}

func (Numeric) MarshalJSON 

func (variant Numeric) MarshalJSON() ([]byte, error)

func (*Numeric) UnmarshalJSON 

func (result *Numeric) UnmarshalJSON(b []byte) error

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 (variant Operator) MarshalJSON() ([]byte, error)

func (*Operator) UnmarshalJSON 

func (result *Operator) UnmarshalJSON(b []byte) error

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 (variant Pattern) MarshalJSON() ([]byte, error)

func (*Pattern) UnmarshalJSON 

func (result *Pattern) UnmarshalJSON(b []byte) error

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 (variant Symbol) MarshalJSON() ([]byte, error)

func (*Symbol) UnmarshalJSON 

func (variant *Symbol) UnmarshalJSON(b []byte) error

type Term 

type Term struct {
	// Value
	Value Value `json:"value"`
}

Term struct

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 (variant Value) MarshalJSON() ([]byte, error)

func (*Value) UnmarshalJSON 

func (result *Value) UnmarshalJSON(b []byte) error

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 (variant ValueCall) MarshalJSON() ([]byte, error)

func (*ValueCall) UnmarshalJSON 

func (variant *ValueCall) UnmarshalJSON(b []byte) error

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 (variant ValueList) MarshalJSON() ([]byte, error)

func (*ValueList) UnmarshalJSON 

func (variant *ValueList) UnmarshalJSON(b []byte) error

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

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.