orc.runtime.values
Class SomeValue

java.lang.Object
  orc.runtime.values.Value
      orc.runtime.values.OptionValue
          orc.runtime.values.SomeValue

All Implemented Interfaces:

Future

public class SomeValue
extends OptionValue

Field Summary

Value

content

Constructor Summary

SomeValue(Value content)

Method Summary

boolean	isSome() Test whether this value inhabits one of the option or list types.
Value	untag() Return the contained value v of an option some(v).

Methods inherited from class orc.runtime.values.OptionValue

accept

Methods inherited from class orc.runtime.values.Value

forceArg, forceCall, head, isCons, isNil, isNone, signal, tail

Methods inherited from class java.lang.Object

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

Field Detail

content

public Value content

Constructor Detail

SomeValue

public SomeValue(Value content)

Method Detail

isSome

public boolean isSome()

Description copied from class: Value

Test whether this value inhabits one of the option or list types.

Overrides:

isSome in class Value

untag

public Value untag()

Description copied from class: Value

Return the contained value v of an option some(v). This method must throw an exception iff isSome() returns false.

Overrides:

untag in class Value