Package hydra.templates

Interface Templates

public interface Templates

A utility which instantiates a nonrecursive type with default values

Method Summary

Static Methods

Modifier and Type	Method	Description
static Flow<Graph,Map<Name,Type>>	graphToSchema(Graph g)
static <T0> Flow<T0,Term>	instantiateTemplate(Boolean minimal, Map<Name,Type> schema, Type t)
static <T0> Flow<T0,Term>	instantiateTemplate_inst(Boolean minimal, Map<Name,Type> schema, Type v1)
static <T1, T2> Flow<T1,T2>	instantiateTemplate_noPoly()
static <T0> Flow<T0,Field>	instantiateTemplate_toField(Function<Type,Flow<T0,Term>> inst, FieldType ft)

Method Details

graphToSchema

static Flow<Graph,Map<Name,Type>> graphToSchema(Graph g)

instantiateTemplate

static <T0> Flow<T0,Term> instantiateTemplate(Boolean minimal,
 Map<Name,Type> schema,
 Type t)

instantiateTemplate_inst

static <T0> Flow<T0,Term> instantiateTemplate_inst(Boolean minimal,
 Map<Name,Type> schema,
 Type v1)

instantiateTemplate_noPoly

static <T1,
T2> Flow<T1,T2> instantiateTemplate_noPoly()

instantiateTemplate_toField

static <T0> Flow<T0,Field> instantiateTemplate_toField(Function<Type,Flow<T0,Term>> inst,
 FieldType ft)