Module: SFRP::Raw

Defined in:: lib/sfrp/raw/dsl.rb,
lib/sfrp/raw/set.rb,
lib/sfrp/raw/elements.rb,
lib/sfrp/raw/exception.rb,
lib/sfrp/raw/namespace.rb,
lib/sfrp/raw/expression.rb

Defined Under Namespace

Modules: SugarExp Classes: AmbiguousNameError, FuncCallExp, FuncTypeAnnotation, Function, IfExp, IllegalSideEffectError, Import, Infix, Init, Input, LetExp, MatchExp, NameError, Namespace, Node, NodeRefExp, Output, PrimTConst, Ref, SequenceExp, Set, TConst, TypeAnnotationType, TypeAnnotationVar, VConst, VConstCallExp, VarRefExp



29
30
31

# File 'lib/sfrp/raw/dsl.rb', line 29

def call_e(func_ref, args, sp = nil)
  FuncCallExp.new(func_ref, args, sp)
end



17
18
19

# File 'lib/sfrp/raw/dsl.rb', line 17

def ft(ret_t, arg_ts)
  FuncTypeAnnotation.new(ret_t, arg_ts)
end



25
26
27

# File 'lib/sfrp/raw/dsl.rb', line 25

def nr_e(node_ref, last, sp = nil)
  NodeRefExp.new(node_ref, last, sp)
end



5
6
7

# File 'lib/sfrp/raw/dsl.rb', line 5

def r(rname, qualifier = nil)
  Ref.new(rname, qualifier)
end



37
38
39

# File 'lib/sfrp/raw/dsl.rb', line 37

def seq_e(exps, func_refs, sp = nil)
  SequenceExp.new(exps, func_refs, sp)
end



9
10
11

# File 'lib/sfrp/raw/dsl.rb', line 9

def t(tconst_ref, args, sp = nil)
  TypeAnnotationType.new(tconst_ref, args, sp)
end



13
14
15

# File 'lib/sfrp/raw/dsl.rb', line 13

def tv(var_str, sp = nil)
  TypeAnnotationVar.new(var_str, sp)
end



21
22
23

# File 'lib/sfrp/raw/dsl.rb', line 21

def v_e(var_str, sp = nil)
  VarRefExp.new(var_str, sp)
end



33
34
35

# File 'lib/sfrp/raw/dsl.rb', line 33

def vc_call_e(vconst_ref, args, sp = nil)
  VConstCallExp.new(vconst_ref, args, sp)
end