Package hydra.eval.lib.maybes

Interface Maybes

public interface Maybes

Evaluation-level implementations of Maybe functions for the Hydra interpreter.

Method Summary

Static Methods

Modifier and Type	Method	Description
static <T0> Flow<T0,Term>	apply(Term funOptTerm, Term argOptTerm)
static <T0> Flow<T0,Term>	bind(Term optTerm, Term funTerm)
static <T0> Flow<T0,Term>	cases(Term optTerm, Term defaultTerm, Term funTerm)
static <T0> Flow<T0,Term>	compose(Term funF, Term funG, Term xTerm)
static <T0> Flow<T0,Term>	map(Term funTerm, Term optTerm)
static Flow<Graph,Term>	mapMaybe(Term funTerm, Term listTerm)
static <T0> Flow<T0,Term>	maybe(Term defaultTerm, Term funTerm, Term optTerm)

Method Details

apply

static <T0> Flow<T0,Term> apply(Term funOptTerm,
 Term argOptTerm)

bind

static <T0> Flow<T0,Term> bind(Term optTerm,
 Term funTerm)

cases

static <T0> Flow<T0,Term> cases(Term optTerm,
 Term defaultTerm,
 Term funTerm)

compose

static <T0> Flow<T0,Term> compose(Term funF,
 Term funG,
 Term xTerm)

map

static <T0> Flow<T0,Term> map(Term funTerm,
 Term optTerm)

mapMaybe

static Flow<Graph,Term> mapMaybe(Term funTerm,
 Term listTerm)

maybe

static <T0> Flow<T0,Term> maybe(Term defaultTerm,
 Term funTerm,
 Term optTerm)