types

Documentation

Index

• Constants
• func NewList(t hm.Type) hm.Type
• type Constructor
  • func NewConstructor(head hm.Type, ts ...hm.Type) *Constructor
  • func (t *Constructor) Apply(sub hm.Subs) hm.Substitutable
  • func (t *Constructor) Clone() interface{}
  • func (t *Constructor) Eq(other hm.Type) bool
  • func (t *Constructor) Format(state fmt.State, c rune)
  • func (t *Constructor) FreeTypeVar() hm.TypeVarSet
  • func (t *Constructor) Name() string
  • func (t *Constructor) Normalize(k, v hm.TypeVarSet) (hm.Type, error)
  • func (t *Constructor) String() string
  • func (t *Constructor) Types() hm.Types
• type Fresh
  • func NewFresh() *Fresh
  • func (f *Fresh) Fresh() hm.TypeVariable

Constants

const (
	Bit               hm.TypeConst = "Bit"
	Boolean           hm.TypeConst = "Boolean"
	Integer           hm.TypeConst = "Integer"
	Integer8          hm.TypeConst = "Integer8"
	Integer16         hm.TypeConst = "Integer16"
	Integer32         hm.TypeConst = "Integer32"
	Integer64         hm.TypeConst = "Integer64"
	UnsignedInteger   hm.TypeConst = "UnsignedInteger"
	UnsignedInteger8  hm.TypeConst = "UnsignedInteger8"
	UnsignedInteger16 hm.TypeConst = "UnsignedInteger16"
	UnsignedInteger32 hm.TypeConst = "UnsignedInteger32"
	UnsignedInteger64 hm.TypeConst = "UnsignedInteger64"
	Float             hm.TypeConst = "Float"
	Float32           hm.TypeConst = "Float32"
	Float64           hm.TypeConst = "Float64"
	String            hm.TypeConst = "String"
	Top               hm.TypeConst = "⊤"
	Bottom            hm.TypeConst = "⊥"
	List              hm.TypeConst = "List"
	Image             hm.TypeConst = "Image"
)

Functions

func NewList

func NewList(t hm.Type) hm.Type

Types

type Constructor

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

func NewConstructor

func NewConstructor(head hm.Type, ts ...hm.Type) *Constructor

func (*Constructor) Apply

func (t *Constructor) Apply(sub hm.Subs) hm.Substitutable

func (*Constructor) Clone

func (t *Constructor) Clone() interface{}

Clone implements Cloner

func (*Constructor) Eq

func (t *Constructor) Eq(other hm.Type) bool

func (*Constructor) Format

func (t *Constructor) Format(state fmt.State, c rune)

func (*Constructor) FreeTypeVar

func (t *Constructor) FreeTypeVar() hm.TypeVarSet

func (*Constructor) Name

func (t *Constructor) Name() string

func (*Constructor) Normalize

func (t *Constructor) Normalize(k, v hm.TypeVarSet) (hm.Type, error)

func (*Constructor) String

func (t *Constructor) String() string

func (*Constructor) Types

func (t *Constructor) Types() hm.Types

type Fresh

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

func NewFresh

func NewFresh() *Fresh

func (*Fresh) Fresh

func (f *Fresh) Fresh() hm.TypeVariable