generic

Documentation

Overview

Package generic provides methods to test whether a type conforms to a generic interface.

Index

• Variables
• type Any
• type Match
  • func Implements(ty, iface reflect.Type, generics ...reflect.Type) Match
  • func (m Match) Ok() bool
• type T1
• type T2
• type T3
• type T4

Variables

var (
	// T1Ty is the type of T1.
	T1Ty = reflect.TypeOf(T1{})

	// T2Ty is the type of T2.
	T2Ty = reflect.TypeOf(T2{})

	// T3Ty is the type of T3.
	T3Ty = reflect.TypeOf(T3{})

	// T4Ty is the type of T4.
	T4Ty = reflect.TypeOf(T4{})
)

Types

type Any

type Any struct{}

Any is the type used for open types.

type Match

type Match struct {
	// Errors found matching the interface to the implementation.
	Errors []error

	// Bindings of generic type to matched type.
	Bindings map[reflect.Type]reflect.Type
}

Match is the result of Implements.

func Implements

func Implements(ty, iface reflect.Type, generics ...reflect.Type) Match

Implements checks that ty implements the generic interface iface. Implements returns a Match which lists any generic type inconsistencies, and lists the mappings of generic types to implementation types. generics is a list of open types used by the generic interface iface.

func (Match) Ok

func (m Match) Ok() bool

Ok returns true if the type implemented the generic interface.

type T1

type T1 struct{}

T1 is a placeholder type that can be used for generic subsitutions.

type T2

type T2 struct{}

T2 is a placeholder type that can be used for generic subsitutions.

type T3

type T3 struct{}

T3 is a placeholder type that can be used for generic subsitutions.

type T4

type T4 struct{}

T4 is a placeholder type that can be used for generic subsitutions.