frege.runtime

Class Ref<A>

java.lang.Object

frege.runtime.Ref<A>

public final class Ref<A>
extends java.lang.Object

Boxed references.

This is not a pure type.

Field Summary

Fields

Modifier and Type	Field and Description
private A	j Mutable reference to a frege object.

Constructor Summary

Constructors

Constructor and Description
Ref(A a) Construct a reference.

Method Summary

Methods

Modifier and Type	Method and Description
A	get() getter
void	put(A a) setter

Methods inherited from class java.lang.Object

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

Field Detail

j

private A j

Mutable reference to a frege object.

This is used for the IORef type in the Prelude.

Constructor Detail

Ref

public Ref(A a)

Construct a reference. Because this is a native function, the type is correct.

Method Detail

get

public A get()

getter

put

public void put(A a)

setter