types

Documentation

Index

• Constants
• type Argument
  • func (a *Argument) TypeOf() (*MonoType, error)
• type BasicKind
• type Kind
• type MonoType
  • func NewMonoType(tbl *flatbuffers.Table, t fbsemantic.MonoType) (*MonoType, error)
  • func (mt *MonoType) Argument(i int) (*Argument, error)
  • func (mt *MonoType) Basic() (BasicKind, error)
  • func (mt *MonoType) ElemType() (*MonoType, error)
  • func (mt *MonoType) Extends() (*MonoType, error)
  • func (mt *MonoType) Kind() Kind
  • func (mt *MonoType) NumArguments() (int, error)
  • func (mt *MonoType) NumProperties() (int, error)
  • func (mt *MonoType) Property(i int) (*Property, error)
  • func (mt *MonoType) ReturnType() (*MonoType, error)
  • func (mt MonoType) SortedArguments() ([]*Argument, error)
  • func (mt *MonoType) SortedProperties() ([]*Property, error)
  • func (mt *MonoType) String() string
  • func (mt *MonoType) VarNum() (uint64, error)
• type PolyType
  • func NewPolyType(fb *fbsemantic.PolyType) (*PolyType, error)
  • func (pt *PolyType) Constraint(i int) (*fbsemantic.Constraint, error)
  • func (pt *PolyType) Expr() (*MonoType, error)
  • func (pt *PolyType) GetCanonicalMapping() (map[uint64]int, error)
  • func (pt *PolyType) NumConstraints() int
  • func (pt *PolyType) NumVars() int
  • func (pt *PolyType) SortedConstraints() ([]*fbsemantic.Constraint, error)
  • func (pt PolyType) SortedVars() ([]*fbsemantic.Var, error)
  • func (pt *PolyType) String() string
  • func (pt *PolyType) Var(i int) (*fbsemantic.Var, error)
• type Property
  • func (p *Property) Name() string
  • func (p *Property) TypeOf() (*MonoType, error)

Constants

const (
	Unknown = Kind(fbsemantic.MonoTypeNONE)
	Basic   = Kind(fbsemantic.MonoTypeBasic)
	Var     = Kind(fbsemantic.MonoTypeVar)
	Arr     = Kind(fbsemantic.MonoTypeArr)
	Row     = Kind(fbsemantic.MonoTypeRow)
	Fun     = Kind(fbsemantic.MonoTypeFun)
)

const (
	Bool     = BasicKind(fbsemantic.TypeBool)
	Int      = BasicKind(fbsemantic.TypeInt)
	Uint     = BasicKind(fbsemantic.TypeUint)
	Float    = BasicKind(fbsemantic.TypeFloat)
	String   = BasicKind(fbsemantic.TypeString)
	Duration = BasicKind(fbsemantic.TypeDuration)
	Time     = BasicKind(fbsemantic.TypeTime)
	Regexp   = BasicKind(fbsemantic.TypeRegexp)
	Bytes    = BasicKind(fbsemantic.TypeBytes)
)

Types

type Argument

type Argument struct {
	*fbsemantic.Argument
}

Argument represents a function argument.

func (*Argument) TypeOf

func (a *Argument) TypeOf() (*MonoType, error)

TypeOf returns the type of the function argument.

type BasicKind

type BasicKind fbsemantic.Type

BasicKind specifies a basic type.

type Kind

type Kind fbsemantic.MonoType

Kind specifies a particular kind of monotype.

type MonoType

type MonoType struct {
	// contains filtered or unexported fields
}

MonoType represents a monotype. This struct is a thin wrapper around Go code generated by the FlatBuffers compiler.

func NewMonoType

func NewMonoType(tbl *flatbuffers.Table, t fbsemantic.MonoType) (*MonoType, error)

NewMonoType constructs a new monotype from a FlatBuffers table and the given kind of monotype.

func (*MonoType) Argument

func (mt *MonoType) Argument(i int) (*Argument, error)

Argument returns the argument give an ordinal position if this monotype is a function, and an error otherwise.

func (*MonoType) Basic

func (mt *MonoType) Basic() (BasicKind, error)

Basic returns the basic type for this monotype if it is a basic type, and an error otherwise.

func (*MonoType) ElemType

func (mt *MonoType) ElemType() (*MonoType, error)

ElemType returns the element type if this monotype is an array, and an error otherise.

func (*MonoType) Extends

func (mt *MonoType) Extends() (*MonoType, error)

Extends returns the extending type variable if this monotype is a row, and an error otherwise.

func (*MonoType) Kind

func (mt *MonoType) Kind() Kind

Kind returns what kind of monotype the receiver is.

func (*MonoType) NumArguments

func (mt *MonoType) NumArguments() (int, error)

NumArguments returns the number of arguments if this monotype is a function, and an error otherwise.

func (*MonoType) NumProperties

func (mt *MonoType) NumProperties() (int, error)

NumProperties returns the number of properties if this monotype is a row, and an error otherwise.

func (*MonoType) Property

func (mt *MonoType) Property(i int) (*Property, error)

Property returns a property given its ordinal position if this monotype is a row, and an error otherwise.

func (*MonoType) ReturnType

func (mt *MonoType) ReturnType() (*MonoType, error)

func (MonoType) SortedArguments

func (mt MonoType) SortedArguments() ([]*Argument, error)

SortedArguments returns a slice of function arguments, sorted by argument name, if this monotype is a function.

func (*MonoType) SortedProperties

func (mt *MonoType) SortedProperties() ([]*Property, error)

SortedProperties returns the properties for a Row monotype, sorted by key. It's possible that there are duplicate keys with different types, in this case, this function preserves their order.

func (*MonoType) String

func (mt *MonoType) String() string

String returns a string representation of this monotype.

func (*MonoType) VarNum

func (mt *MonoType) VarNum() (uint64, error)

VarNum returns the type variable number if this monotype is a type variable, and an error otherwise.

type PolyType

type PolyType struct {
	// contains filtered or unexported fields
}

PolyType represents a polytype. This struct is a thin wrapper around Go code generated by the FlatBuffers compiler.

func NewPolyType

func NewPolyType(fb *fbsemantic.PolyType) (*PolyType, error)

NewPolyType returns a new polytype given a flatbuffers polytype.

func (*PolyType) Constraint

func (pt *PolyType) Constraint(i int) (*fbsemantic.Constraint, error)

Constraint returns the constraint at ordinal position i.

func (*PolyType) Expr

func (pt *PolyType) Expr() (*MonoType, error)

Expr returns the monotype expression for this polytype.

func (*PolyType) GetCanonicalMapping

func (pt *PolyType) GetCanonicalMapping() (map[uint64]int, error)

GetCanonicalMapping returns a map of type variable numbers to canonicalized numbers that start from 0. Tests that do type inference will have type variables that are sensitive to changes in the standard library, this helps to solve that problem.

func (*PolyType) NumConstraints

func (pt *PolyType) NumConstraints() int

NumConstraints returns the number of kind constraints in this polytype.

func (*PolyType) NumVars

func (pt *PolyType) NumVars() int

NumVars returns the number of type variables in this polytype.

func (*PolyType) SortedConstraints

func (pt *PolyType) SortedConstraints() ([]*fbsemantic.Constraint, error)

SortedConstraints returns the constraints for this polytype sorted by type variable and constraint kind.

func (PolyType) SortedVars

func (pt PolyType) SortedVars() ([]*fbsemantic.Var, error)

func (*PolyType) String

func (pt *PolyType) String() string

String returns a string representation for this polytype.

func (*PolyType) Var

func (pt *PolyType) Var(i int) (*fbsemantic.Var, error)

Var returns the type variable at ordinal position i.

type Property

type Property struct {
	// contains filtered or unexported fields
}

Property represents a property of a row.

func (*Property) Name

func (p *Property) Name() string

Name returns the name of the property.

func (*Property) TypeOf

func (p *Property) TypeOf() (*MonoType, error)

TypeOf returns the type of the property.