Versions in this module Expand all Collapse all v0 v0.1.1 Feb 6, 2018 v0.1.0 Feb 6, 2018 Changes in this version + func Infer(p asyncpi.Process) error + func IsEqual(t, u Type) bool + func ProcType(p asyncpi.Process) (string, error) + func Unify(p asyncpi.Process) error + type Base struct + func NewBase(name string) *Base + func (b *Base) String() string + func (b *Base) Underlying() Type + type Chan struct + func NewChan(elem Type) *Chan + func (c *Chan) Elem() Type + func (c *Chan) String() string + func (c *Chan) Underlying() Type + type Composite struct + func NewComposite(t ...Type) *Composite + func (c *Composite) Elems() []Type + func (c *Composite) String() string + func (c *Composite) Underlying() Type + type InferUntypedError struct + Name string + func (e InferUntypedError) Error() string + type Reference struct + func NewReference(n asyncpi.Name) *Reference + func (r *Reference) String() string + func (r *Reference) Underlying() Type + type Type interface + String func() string + Underlying func() Type + type TypeArityError struct + Expected int + Got int + Msg string + func (e TypeArityError) Error() string + type TypeError struct + Msg string + T Type + U Type + func (e TypeError) Error() string + type TypedName interface + Type func() Type + func AttachType(n asyncpi.Name) TypedName