Interface LLFNode

public interface LLFNode
The top level interface for all AST nodes.

Variable Index

o APP
o FIRST
o FUNCTION_TYPE
o IDENTIFIER
o LAMBDA
o LINEAR_APP
o LINEAR_LAMBDA
o LOLLIPOP
o PAIR
o SECOND
o TOP
o TYPE_FAMILY_CONSTANT
o TYPE_FAMILY_INSTANTIATION
o UNIT
o VARIABLE
o WITH

Method Index

o astString(int)
o type()

Variables

o APP 
 public static final int APP
o FIRST 
 public static final int FIRST
o FUNCTION_TYPE 
 public static final int FUNCTION_TYPE
o IDENTIFIER 
 public static final int IDENTIFIER
o LAMBDA 
 public static final int LAMBDA
o LINEAR_APP 
 public static final int LINEAR_APP
o LINEAR_LAMBDA 
 public static final int LINEAR_LAMBDA
o LOLLIPOP 
 public static final int LOLLIPOP
o PAIR 
 public static final int PAIR
o SECOND 
 public static final int SECOND
o TOP 
 public static final int TOP
o TYPE_FAMILY_CONSTANT 
 public static final int TYPE_FAMILY_CONSTANT
o TYPE_FAMILY_INSTANTIATION 
 public static final int TYPE_FAMILY_INSTANTIATION
o UNIT 
 public static final int UNIT
o VARIABLE 
 public static final int VARIABLE
o WITH 
 public static final int WITH

Methods

o astString 
 public abstract String astString(int indent)
o type 
 public abstract int type()