Package hydra.adapt.literals

Interface Literals

public interface Literals

Adapter framework for literal types and terms

Method Summary

Static Methods

Modifier and Type	Method	Description
static Comparison	comparePrecision(Precision p1, Precision p2)
static FloatValue	convertFloatValue(FloatType target, FloatValue fv)
static IntegerValue	convertIntegerValue(IntegerType target, IntegerValue iv)
static String	disclaimer(Boolean lossy, String source, String target)
static <T0, T1> Flow<AdapterContext,Adapter<T0,T1,FloatType,FloatType,FloatValue,FloatValue>>	floatAdapter(FloatType ft)
static <T2, T3, T4> Flow<T2,List<Adapter<T3,T4,FloatType,FloatType,FloatValue,FloatValue>>>	floatAdapter_alts(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2, Function<FloatType,Function<FloatValue,FloatValue>> hydra_adapt_literals_convertFloatValue2, Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2, Function<FloatType,Precision> hydra_reflect_floatTypePrecision2, Function<FloatType,String> hydra_show_core_floatType2, Function<FloatType,List<FloatType>> altTypes, FloatType t)
static <T2, T3, T4> Flow<T2,Adapter<T3,T4,FloatType,FloatType,FloatValue,FloatValue>>	floatAdapter_makeAdapter(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2, Function<FloatType,Function<FloatValue,FloatValue>> hydra_adapt_literals_convertFloatValue2, Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2, Function<FloatType,Precision> hydra_reflect_floatTypePrecision2, Function<FloatType,String> hydra_show_core_floatType2, FloatType source, FloatType target)
static <T5, T6> Coder<T5,T6,FloatValue,FloatValue>	floatAdapter_step(Function<FloatType,Function<FloatValue,FloatValue>> hydra_adapt_literals_convertFloatValue2, FloatType source, FloatType target)
static <T0, T1> Flow<AdapterContext,Adapter<T0,T1,IntegerType,IntegerType,IntegerValue,IntegerValue>>	integerAdapter(IntegerType it)
static <T2, T3, T4> Flow<T2,List<Adapter<T3,T4,IntegerType,IntegerType,IntegerValue,IntegerValue>>>	integerAdapter_alts(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2, Function<IntegerType,Function<IntegerValue,IntegerValue>> hydra_adapt_literals_convertIntegerValue2, Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2, Function<IntegerType,Precision> hydra_reflect_integerTypePrecision2, Function<IntegerType,String> hydra_show_core_integerType2, Function<IntegerType,List<IntegerType>> altTypes, IntegerType t)
static <T2> List<T2>	integerAdapter_interleave(List<T2> xs, List<T2> ys)
static <T2, T3, T4> Flow<T2,Adapter<T3,T4,IntegerType,IntegerType,IntegerValue,IntegerValue>>	integerAdapter_makeAdapter(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2, Function<IntegerType,Function<IntegerValue,IntegerValue>> hydra_adapt_literals_convertIntegerValue2, Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2, Function<IntegerType,Precision> hydra_reflect_integerTypePrecision2, Function<IntegerType,String> hydra_show_core_integerType2, IntegerType source, IntegerType target)
static <T5, T6> Coder<T5,T6,IntegerValue,IntegerValue>	integerAdapter_step(Function<IntegerType,Function<IntegerValue,IntegerValue>> hydra_adapt_literals_convertIntegerValue2, IntegerType source, IntegerType target)
static <T0> Flow<AdapterContext,Adapter<T0,T0,LiteralType,LiteralType,Literal,Literal>>	literalAdapter(LiteralType lt)
static <T4, T5, T6> Flow<T4,Literal>	literalAdapter_adapt(Function<Literal,String> hydra_show_core_literal2, Adapter<T4,T4,T5,T6,IntegerValue,IntegerValue> adapter, CoderDirection dir, Literal lit)
static <T4, T5, T6> Flow<T4,Literal>	literalAdapter_adapt2(Function<Literal,String> hydra_show_core_literal2, Adapter<T4,T4,T5,T6,FloatValue,FloatValue> adapter, CoderDirection dir, Literal l)
static <T1> Flow<AdapterContext,List<Adapter<T1,T1,LiteralType,LiteralType,Literal,Literal>>>	literalAdapter_alts(Function<Literal,String> hydra_show_core_literal2, LiteralType t)
static <T6> Flow<T6,Literal>	literalAdapter_decode(Literal lit)
static <T6> Flow<T6,Literal>	literalAdapter_encode(Literal lit)
static <T1, T2, T3, T4> Flow<T2,List<Adapter<T3,T4,T1,LiteralType,Literal,Literal>>>	literalAdapter_forBinary(T1 t)
static <T1, T2, T3> Flow<AdapterContext,List<Adapter<T2,T3,T1,LiteralType,Literal,Literal>>>	literalAdapter_forBoolean(T1 t)
static <T1, T2> Flow<AdapterContext,List<Adapter<T2,T2,T1,LiteralType,Literal,Literal>>>	literalAdapter_forFloat(Function<Literal,String> hydra_show_core_literal2, T1 t, FloatType ft)
static <T1, T2> Flow<AdapterContext,List<Adapter<T2,T2,T1,LiteralType,Literal,Literal>>>	literalAdapter_forInteger(Function<Literal,String> hydra_show_core_literal2, T1 t, IntegerType it)
static <T5> Flow<T5,Literal>	literalAdapter_matchBinary(Literal lit)
static <T4, T5> Flow<T4,Literal>	literalAdapter_matchBoolean(Coder<T4,T5,IntegerValue,IntegerValue> step_, Literal lit)
static <T4, T5> Flow<T5,Literal>	literalAdapter_matchInteger(Coder<T4,T5,IntegerValue,IntegerValue> step_, Literal lit)
static <T5> Flow<T5,Literal>	literalAdapter_matchString(Literal lit)
static <T3> Coder<T3,T3,Literal,Literal>	literalAdapter_step(Function<Literal,String> hydra_show_core_literal2, Adapter<T3,T3,IntegerType,IntegerType,IntegerValue,IntegerValue> adapter)
static <T6, T7, T8> Coder<T6,T7,IntegerValue,IntegerValue>	literalAdapter_step_(Adapter<T6,T7,T8,IntegerType,IntegerValue,IntegerValue> adapter)
static <T3> Coder<T3,T3,Literal,Literal>	literalAdapter_step2(Function<Literal,String> hydra_show_core_literal2, Adapter<T3,T3,FloatType,FloatType,FloatValue,FloatValue> adapter)
static <T6, T7> Coder<T6,T7,Literal,Literal>	literalAdapter_step3(Coder<T6,T7,IntegerValue,IntegerValue> step_)
static <T5, T6> Coder<T5,T6,Literal,Literal>	literalAdapter_step4()
static <T1, T6, T7, T8, T9> Flow<T9,List<Adapter<T6,T7,T1,LiteralType,Literal,Literal>>>	literalAdapter_withAdapter(T1 t, Adapter<T6,T7,T8,IntegerType,IntegerValue,IntegerValue> adapter)
static <T1, T3> Flow<AdapterContext,List<Adapter<T3,T3,T1,LiteralType,Literal,Literal>>>	literalAdapter_withFloats(FloatType ft, Function<Literal,String> hydra_show_core_literal2, T1 t)
static <T1, T3> Flow<AdapterContext,List<Adapter<T3,T3,T1,LiteralType,Literal,Literal>>>	literalAdapter_withIntegers(Function<Literal,String> hydra_show_core_literal2, IntegerType it, T1 t)
static <T1, T4, T5> Flow<AdapterContext,List<Adapter<T4,T5,T1,LiteralType,Literal,Literal>>>	literalAdapter_withIntegers2(T1 t)
static <T1, T4, T5> List<Adapter<T4,T5,T1,LiteralType,Literal,Literal>>	literalAdapter_withStrings(T1 t)

Method Details

comparePrecision

static Comparison comparePrecision(Precision p1,
 Precision p2)

convertFloatValue

static FloatValue convertFloatValue(FloatType target,
 FloatValue fv)

convertIntegerValue

static IntegerValue convertIntegerValue(IntegerType target,
 IntegerValue iv)

disclaimer

static String disclaimer(Boolean lossy,
 String source,
 String target)

literalAdapter

static <T0>
Flow<AdapterContext,Adapter<T0,T0,LiteralType,LiteralType,Literal,Literal>> literalAdapter(LiteralType lt)

literalAdapter_forBinary

static <T1,
T2,
T3,
T4>
Flow<T2,List<Adapter<T3,T4,T1,LiteralType,Literal,Literal>>> literalAdapter_forBinary(T1 t)

literalAdapter_forBoolean

static <T1,
T2,
T3>
Flow<AdapterContext,List<Adapter<T2,T3,T1,LiteralType,Literal,Literal>>> literalAdapter_forBoolean(T1 t)

literalAdapter_forFloat

static <T1,
T2>
Flow<AdapterContext,List<Adapter<T2,T2,T1,LiteralType,Literal,Literal>>> literalAdapter_forFloat(Function<Literal,String> hydra_show_core_literal2,
 T1 t,
 FloatType ft)

literalAdapter_forInteger

static <T1,
T2>
Flow<AdapterContext,List<Adapter<T2,T2,T1,LiteralType,Literal,Literal>>> literalAdapter_forInteger(Function<Literal,String> hydra_show_core_literal2,
 T1 t,
 IntegerType it)

literalAdapter_alts

static <T1>
Flow<AdapterContext,List<Adapter<T1,T1,LiteralType,LiteralType,Literal,Literal>>> literalAdapter_alts(Function<Literal,String> hydra_show_core_literal2,
 LiteralType t)

literalAdapter_withIntegers

static <T1,
T3>
Flow<AdapterContext,List<Adapter<T3,T3,T1,LiteralType,Literal,Literal>>> literalAdapter_withIntegers(Function<Literal,String> hydra_show_core_literal2,
 IntegerType it,
 T1 t)

literalAdapter_adapt

static <T4,
T5,
T6> Flow<T4,Literal> literalAdapter_adapt(Function<Literal,String> hydra_show_core_literal2,
 Adapter<T4,T4,T5,T6,IntegerValue,IntegerValue> adapter,
 CoderDirection dir,
 Literal lit)

literalAdapter_step

static <T3> Coder<T3,T3,Literal,Literal> literalAdapter_step(Function<Literal,String> hydra_show_core_literal2,
 Adapter<T3,T3,IntegerType,IntegerType,IntegerValue,IntegerValue> adapter)

literalAdapter_withFloats

static <T1,
T3>
Flow<AdapterContext,List<Adapter<T3,T3,T1,LiteralType,Literal,Literal>>> literalAdapter_withFloats(FloatType ft,
 Function<Literal,String> hydra_show_core_literal2,
 T1 t)

literalAdapter_adapt2

static <T4,
T5,
T6> Flow<T4,Literal> literalAdapter_adapt2(Function<Literal,String> hydra_show_core_literal2,
 Adapter<T4,T4,T5,T6,FloatValue,FloatValue> adapter,
 CoderDirection dir,
 Literal l)

literalAdapter_step2

static <T3> Coder<T3,T3,Literal,Literal> literalAdapter_step2(Function<Literal,String> hydra_show_core_literal2,
 Adapter<T3,T3,FloatType,FloatType,FloatValue,FloatValue> adapter)

literalAdapter_matchBoolean

static <T4,
T5> Flow<T4,Literal> literalAdapter_matchBoolean(Coder<T4,T5,IntegerValue,IntegerValue> step_,
 Literal lit)

literalAdapter_matchInteger

static <T4,
T5> Flow<T5,Literal> literalAdapter_matchInteger(Coder<T4,T5,IntegerValue,IntegerValue> step_,
 Literal lit)

literalAdapter_withIntegers2

static <T1,
T4,
T5>
Flow<AdapterContext,List<Adapter<T4,T5,T1,LiteralType,Literal,Literal>>> literalAdapter_withIntegers2(T1 t)

literalAdapter_withStrings

static <T1,
T4,
T5>
List<Adapter<T4,T5,T1,LiteralType,Literal,Literal>> literalAdapter_withStrings(T1 t)

literalAdapter_encode

static <T6> Flow<T6,Literal> literalAdapter_encode(Literal lit)

literalAdapter_decode

static <T6> Flow<T6,Literal> literalAdapter_decode(Literal lit)

literalAdapter_withAdapter

static <T1,
T6,
T7,
T8,
T9>
Flow<T9,List<Adapter<T6,T7,T1,LiteralType,Literal,Literal>>> literalAdapter_withAdapter(T1 t,
 Adapter<T6,T7,T8,IntegerType,IntegerValue,IntegerValue> adapter)

literalAdapter_step_

static <T6,
T7,
T8>
Coder<T6,T7,IntegerValue,IntegerValue> literalAdapter_step_(Adapter<T6,T7,T8,IntegerType,IntegerValue,IntegerValue> adapter)

literalAdapter_step3

static <T6,
T7> Coder<T6,T7,Literal,Literal> literalAdapter_step3(Coder<T6,T7,IntegerValue,IntegerValue> step_)

literalAdapter_matchBinary

static <T5> Flow<T5,Literal> literalAdapter_matchBinary(Literal lit)

literalAdapter_matchString

static <T5> Flow<T5,Literal> literalAdapter_matchString(Literal lit)

literalAdapter_step4

static <T5,
T6> Coder<T5,T6,Literal,Literal> literalAdapter_step4()

floatAdapter

static <T0,
T1>
Flow<AdapterContext,Adapter<T0,T1,FloatType,FloatType,FloatValue,FloatValue>> floatAdapter(FloatType ft)

floatAdapter_makeAdapter

static <T2,
T3,
T4>
Flow<T2,Adapter<T3,T4,FloatType,FloatType,FloatValue,FloatValue>> floatAdapter_makeAdapter(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2,
 Function<FloatType,Function<FloatValue,FloatValue>> hydra_adapt_literals_convertFloatValue2,
 Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2,
 Function<FloatType,Precision> hydra_reflect_floatTypePrecision2,
 Function<FloatType,String> hydra_show_core_floatType2,
 FloatType source,
 FloatType target)

floatAdapter_alts

static <T2,
T3,
T4>
Flow<T2,List<Adapter<T3,T4,FloatType,FloatType,FloatValue,FloatValue>>> floatAdapter_alts(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2,
 Function<FloatType,Function<FloatValue,FloatValue>> hydra_adapt_literals_convertFloatValue2,
 Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2,
 Function<FloatType,Precision> hydra_reflect_floatTypePrecision2,
 Function<FloatType,String> hydra_show_core_floatType2,
 Function<FloatType,List<FloatType>> altTypes,
 FloatType t)

floatAdapter_step

static <T5,
T6> Coder<T5,T6,FloatValue,FloatValue> floatAdapter_step(Function<FloatType,Function<FloatValue,FloatValue>> hydra_adapt_literals_convertFloatValue2,
 FloatType source,
 FloatType target)

integerAdapter

static <T0,
T1>
Flow<AdapterContext,Adapter<T0,T1,IntegerType,IntegerType,IntegerValue,IntegerValue>> integerAdapter(IntegerType it)

integerAdapter_interleave

static <T2> List<T2> integerAdapter_interleave(List<T2> xs,
 List<T2> ys)

integerAdapter_makeAdapter

static <T2,
T3,
T4>
Flow<T2,Adapter<T3,T4,IntegerType,IntegerType,IntegerValue,IntegerValue>> integerAdapter_makeAdapter(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2,
 Function<IntegerType,Function<IntegerValue,IntegerValue>> hydra_adapt_literals_convertIntegerValue2,
 Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2,
 Function<IntegerType,Precision> hydra_reflect_integerTypePrecision2,
 Function<IntegerType,String> hydra_show_core_integerType2,
 IntegerType source,
 IntegerType target)

integerAdapter_alts

static <T2,
T3,
T4>
Flow<T2,List<Adapter<T3,T4,IntegerType,IntegerType,IntegerValue,IntegerValue>>> integerAdapter_alts(Function<Precision,Function<Precision,Comparison>> hydra_adapt_literals_comparePrecision2,
 Function<IntegerType,Function<IntegerValue,IntegerValue>> hydra_adapt_literals_convertIntegerValue2,
 Function<Boolean,Function<String,Function<String,String>>> hydra_adapt_literals_disclaimer2,
 Function<IntegerType,Precision> hydra_reflect_integerTypePrecision2,
 Function<IntegerType,String> hydra_show_core_integerType2,
 Function<IntegerType,List<IntegerType>> altTypes,
 IntegerType t)

integerAdapter_step

static <T5,
T6>
Coder<T5,T6,IntegerValue,IntegerValue> integerAdapter_step(Function<IntegerType,Function<IntegerValue,IntegerValue>> hydra_adapt_literals_convertIntegerValue2,
 IntegerType source,
 IntegerType target)