Package net.hydromatic.morel.type

Interface TypeSystem.ForallHelper

Enclosing class:

TypeSystem

public static interface TypeSystem.ForallHelper

Provides access to type variables from within a call to TypeSystem.forallType(int, Function).

Method Summary

Modifier and Type	Method	Description
TypeVar	get(int i)	Creates type `i.
ListType	list(int i)	Creates type `i list.
Type	option(int i)	Creates type `i option.
FnType	predicate(int i)	Creates type `i → bool.
Type	vector(int i)	Creates type `i vector.

Method Details

get

TypeVar get(int i)

Creates type `i.

list

ListType list(int i)

Creates type `i list.

vector

Type vector(int i)

Creates type `i vector.

option

Type option(int i)

Creates type `i option.

predicate

FnType predicate(int i)

Creates type `i → bool.