Package hydra.encode.parsing

Interface Parsing

public interface Parsing

Term encoders for hydra.parsing

Method Summary

Static Methods

Modifier and Type	Method	Description
static Term	parseError(ParseError x)
static <T0> Term	parseResult(Function<T0,Term> a, ParseResult<T0> v1)
static <T0> Term	parseSuccess(Function<T0,Term> a, ParseSuccess<T0> x)

Method Details

parseError

static Term parseError(ParseError x)

parseResult

static <T0> Term parseResult(Function<T0,Term> a,
 ParseResult<T0> v1)

parseSuccess

static <T0> Term parseSuccess(Function<T0,Term> a,
 ParseSuccess<T0> x)