Package hydra.lib.literals

Class BigfloatToFloat64

  • public class BigfloatToFloat64
extends PrimitiveFunction
    Primitive function which converts a bigfloat (arbitrary-precision decimal) to a float64 (64-bit floating-point). This conversion may result in loss of precision.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static java.lang.Double apply​(java.math.BigDecimal value)
      Converts a BigDecimal value to a Double (64-bit).
      protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<Context,​java.util.function.Function<Graph,​Either<InContext<Error_>,​Term>>>> implementation()
      Provides the implementation of this primitive function.
      Name name()
      Returns the unique name identifying this primitive function.
      TypeScheme type()
      Returns the type scheme for this function: bigfloat -> float64.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • BigfloatToFloat64

        public BigfloatToFloat64()

    • Method Detail

      • name

        public Name name()
        Returns the unique name identifying this primitive function.
        Specified by:
        name in class PrimitiveFunction
        Returns:
        the function name "hydra.lib.literals.bigfloatToFloat64"

      • type

        public TypeScheme type()
        Returns the type scheme for this function: bigfloat -> float64.
        Specified by:
        type in class PrimitiveFunction
        Returns:
        the type scheme representing the function signature

      • implementation

        protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<Context,​java.util.function.Function<Graph,​Either<InContext<Error_>,​Term>>>> implementation()
        Provides the implementation of this primitive function.
        Specified by:
        implementation in class PrimitiveFunction
        Returns:
        a function that converts bigfloat terms to float64 terms

      • apply

        public static java.lang.Double apply​(java.math.BigDecimal value)
        Converts a BigDecimal value to a Double (64-bit).
        Parameters:
        value - the BigDecimal value to convert
        Returns:
        the Double representation of the value