validate

Documentation

Overview

Package validate collects errors from an evaluated Vertex.

Index

• func Validate(ctx *adt.OpContext, v *adt.Vertex, cfg *Config) *adt.Bottom
• type Config

Functions

func Validate

func Validate(ctx *adt.OpContext, v *adt.Vertex, cfg *Config) *adt.Bottom

Validate checks that a value has certain properties. The value must have been evaluated.

Types

type Config

type Config struct {
	// Concrete, if true, requires that all values be concrete.
	Concrete bool

	// DisallowCycles indicates that there may not be cycles.
	DisallowCycles bool

	// AllErrors continues descending into a Vertex, even if errors are found.
	AllErrors bool
}