Function relTypesFromDecl

symbols/typeexprs.go:301–310

relTypesFromDecl converts bounds a list of RelTypes.

(decl ast.Decl)

// relTypesFromDecl converts bounds a list of RelTypes.
func relTypesFromDecl(decl ast.Decl) ([]ast.BaseTerm, error) {
	if len(decl.Bounds) == 0 {
		return nil, fmt.Errorf("no bound decls in %v", decl)
	}
	relTypes := make([]ast.BaseTerm, len(decl.Bounds))
	for i, boundDecl := range decl.Bounds {
		relTypes[i] = NewRelType(boundDecl.Bounds...)
	}
	return relTypes, nil
}

// RelTypeFromAlternatives converts list of rel types bounds to union of relation types.
// It is assumed that each alternatives is a RelType.