Uses of Class
wyal.lang.WyalFile.Type.Function

Packages that use WyalFile.Type.Function

Package	Description
wyal.lang
wytp.types.subtyping
wytp.types.util

Uses of WyalFile.Type.Function in wyal.lang

Methods in wyal.lang that return WyalFile.Type.Function

Modifier and Type	Method and Description
WyalFile.Type.Function	WyalFile.Type.Function.clone(wybs.lang.SyntacticItem[] operands)
WyalFile.Type.Function	WyalFile.Declaration.Named.Function.getSignatureType()

Uses of WyalFile.Type.Function in wytp.types.subtyping

Method parameters in wytp.types.subtyping with type arguments of type WyalFile.Type.Function

Modifier and Type	Method and Description
boolean	CoerciveSubtypeOperator.isVoidFunction(CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two function types is void or not.
boolean	CoerciveSubtypeOperator.isVoidFunction(CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Function> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two function types is void or not.

Uses of WyalFile.Type.Function in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Type.Function

Modifier and Type	Method and Description
protected WyalFile.Type	AbstractTypeRewriter.rewriteFunction(WyalFile.Type.Function type)