types

Jan 13, 2020

Changes in this version

type MonoType

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

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

type PolyType

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

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

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

Jan 6, 2020

Changes in this version

+ const Arr

+ const Basic

+ const Bool

+ const Bytes

+ const Duration

+ const Float

+ const Fun

+ const Int

+ const Regexp

+ const Row

+ const String

+ const Time

+ const Uint

+ const Unknown

+ const Var

+ type Argument struct

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

+ type BasicKind fbsemantic.Type

+ type Kind fbsemantic.MonoType

+ type MonoType struct

+ 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) String() string

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

+ type PolyType struct

+ 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) NumConstraints() int

+ func (pt *PolyType) NumVars() int

+ func (pt *PolyType) String() string

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

+ type Property struct

+ func (p *Property) Name() string

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