defs

Documentation

Index

• type Any
  • func (Any) Kind() string
• type Bool
  • func (Bool) Kind() string
• type Byte
  • func (Byte) Kind() string
• type Bytes
  • func (Bytes) Kind() string
• type Call
  • func (Call) Kind() string
• type Case
• type Cases
• type Char
  • func (Char) Kind() string
• type Def
• type DefaultCase
• type Defs
• type Field
• type Fields
• type Float
  • func (Float) Kind() string
• type Fn
  • func (Fn) Kind() string
• type Inductive
  • func (Inductive) Kind() string
• type Int
  • func (Int) Kind() string
• type Link
  • func (Link) Kind() string
• type List
  • func (List) Kind() string
• type Map
  • func (Map) Kind() string
• type Method
  • func (m Method) Call() Call
  • func (m Method) Return() Return
• type Methods
• type Named
  • func (Named) Kind() string
• type Nothing
  • func (Nothing) Kind() string
• type Ref
  • func (Ref) Kind() string
• type Refs
• type Return
  • func (Return) Kind() string
• type Service
  • func (Service) Kind() string
• type Singleton
• type SingletonBool
  • func (SingletonBool) Kind() string
• type SingletonByte
  • func (SingletonByte) Kind() string
• type SingletonChar
  • func (SingletonChar) Kind() string
• type SingletonFloat
  • func (SingletonFloat) Kind() string
• type SingletonInt
  • func (SingletonInt) Kind() string
• type SingletonString
  • func (SingletonString) Kind() string
• type Slots
• type String
  • func (String) Kind() string
• type Structure
  • func (Structure) Kind() string
• type Tuple
  • func (Tuple) Kind() string
• type Union
  • func (Union) Kind() string

Types

type Any

type Any struct{}

func (Any) Kind

func (Any) Kind() string

type Bool

type Bool struct{}

func (Bool) Kind

func (Bool) Kind() string

type Byte

type Byte struct{}

func (Byte) Kind

func (Byte) Kind() string

type Bytes

type Bytes struct{}

func (Bytes) Kind

func (Bytes) Kind() string

type Call

type Call struct {
	Fn Fn  // type signature of the function being called
	ID Def // function instance identifier (can be a user-defined type)
}

Call is the type representing a function call (aka request)

func (Call) Kind

func (Call) Kind() string

type Case

type Case struct {
	Name   string // name on the wire
	GoName string // if not empty, name in Go code
	Type   Def
}

type Cases

type Cases []Case

type Char

type Char struct{}

func (Char) Kind

func (Char) Kind() string

type Def

type Def interface {
	Kind() string
}

type DefaultCase

type DefaultCase struct {
	GoKeyName   string
	GoValueName string
	Type        Def
}

type Defs

type Defs []Def

type Field

type Field struct {
	Name   string // on the wire name of field
	GoName string // if not empty, name of field in Go code
	Type   Def
}

type Fields

type Fields []Field

type Float

type Float struct{}

func (Float) Kind

func (Float) Kind() string

type Fn

type Fn struct {
	Arg    Def
	Return Def
}

Fn represents the type signature of a function.

func (Fn) Kind

func (Fn) Kind() string

type Inductive

type Inductive struct {
	Cases   Cases
	Default DefaultCase
}

func (Inductive) Kind

func (Inductive) Kind() string

type Int

type Int struct{}

func (Int) Kind

func (Int) Kind() string

type Link

type Link struct {
	To Def
}

func (Link) Kind

func (Link) Kind() string

type List

type List struct {
	Element Def
}

func (List) Kind

func (List) Kind() string

type Map

type Map struct {
	Key   Def
	Value Def
}

func (Map) Kind

func (Map) Kind() string

type Method

type Method struct {
	Name     string
	Type     Fn
	Cachable bool
}

func (Method) Call

func (m Method) Call() Call

func (Method) Return

func (m Method) Return() Return

type Methods

type Methods []Method

type Named

type Named struct {
	Name string
	Type Def
}

func (Named) Kind

func (Named) Kind() string

type Nothing

type Nothing struct{}

func (Nothing) Kind

func (Nothing) Kind() string

type Ref

type Ref struct {
	Name string
}

Ref is a reference to a type by name.

func (Ref) Kind

func (Ref) Kind() string

type Refs

type Refs []Ref

type Return

type Return struct {
	Fn Fn  // type signature of the function returning a result
	ID Def // function instance identifier (can be a user-defined type)
}

Return is the type representing a function result (aka response)

func (Return) Kind

func (Return) Kind() string

type Service

type Service struct {
	Methods Methods
}

Service is a set of named functions.

func (Service) Kind

func (Service) Kind() string

type Singleton

type Singleton interface{}

type SingletonBool

type SingletonBool struct {
	Bool bool
}

func (SingletonBool) Kind

func (SingletonBool) Kind() string

type SingletonByte

type SingletonByte struct {
	Byte byte
}

func (SingletonByte) Kind

func (SingletonByte) Kind() string

type SingletonChar

type SingletonChar struct {
	Char rune
}

func (SingletonChar) Kind

func (SingletonChar) Kind() string

type SingletonFloat

type SingletonFloat struct {
	Float float64
}

func (SingletonFloat) Kind

func (SingletonFloat) Kind() string

type SingletonInt

type SingletonInt struct {
	Int int64
}

func (SingletonInt) Kind

func (SingletonInt) Kind() string

type SingletonString

type SingletonString struct {
	String string
}

func (SingletonString) Kind

func (SingletonString) Kind() string

type Slots

type Slots Defs

type String

type String struct{}

func (String) Kind

func (String) Kind() string

type Structure

type Structure struct {
	Fields []Field
}

func (Structure) Kind

func (Structure) Kind() string

type Tuple

type Tuple struct {
	Slots Slots
}

func (Tuple) Kind

func (Tuple) Kind() string

type Union

type Union struct {
	Cases Cases
}

func (Union) Kind

func (Union) Kind() string