git.iko.soy/Idris-dev
on df5bf81 help sign in
Idris-dev/java/org/idris/rts/IdrisObject.java
19 lines 386 B history raw
1package org.idris.rts;
3public class IdrisObject {
4 private final int constructorId;
5 private final Object data[];
6
7 public IdrisObject(final int constructorId, final Object ... data) {
8 this.constructorId = constructorId;
9 this.data = data;
10 }
12 public int getConstructorId() {
13 return constructorId;
14 }
16 public Object[] getData() {
17 return data;
18 }