BigNatLiterals (THC JVM reference 88d65fb2821f)

java.lang.Object

thc.runtime.BigNatLiterals

public final class BigNatLiterals extends Object

Load-time 64-bit GHC BigNat limbs, least-significant first in native byte order.

Method Summary

Modifier and Type

Method

Description

static int

byteSize(long bits)

static byte[]

decode(String decimal)

static CoreRepresentation

getProof()

static Object

instantiate(byte[] template)

Shared code retains inert limbs; each invoking load or expression owns its guest value.

static CoreRepresentation

proof(List<Object> expression)

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- getProof
  
  public static CoreRepresentation getProof()
- proof
  
  public static CoreRepresentation proof(List<Object> expression)
- byteSize
  
  public static int byteSize(long bits)
- instantiate
  
  public static Object instantiate(byte[] template)
  
  Shared code retains inert limbs; each invoking load or expression owns its guest value.
- decode
  
  public static byte[] decode(String decimal)