Class: Algebrick::DSL::TypeDefinitionScope

Inherits:

Object

• Object
• Algebrick::DSL::TypeDefinitionScope

show all

Includes:

Shortcuts, TypeCheck

Defined in:

lib/algebrick/dsl.rb

Instance Attribute Summary (collapse)

• - (Object) new_type readonly

  Returns the value of attribute new_type.

Instance Method Summary (collapse)

• - (Object) all_field_readers (also: #all_readers)
• - (Object) field_readers(*names) (also: #readers)
• - (Object) fields(*fields)
• - (Object) fields!(*fields)
• - (Object) final!
• - (TypeDefinitionScope) initialize(new_type, &block) constructor

  A new instance of TypeDefinitionScope.

• - (Object) variants(*variants)

Methods included from TypeCheck

#Child!, #Child?, #Match!, #Match?, #Type!, #Type?, error

Methods included from Shortcuts

#atom, #type

33
34
35
36
37

# File 'lib/algebrick/dsl.rb', line 33

def initialize(new_type, &block)
  @new_type = Type! new_type, ProductVariant, ParametrizedType
  instance_exec @new_type, &block
  @new_type.kind if @new_type.is_a? ProductVariant
end

31
32
33

# File 'lib/algebrick/dsl.rb', line 31

def new_type
  @new_type
end

66
67
68
69

# File 'lib/algebrick/dsl.rb', line 66

def all_field_readers
  @new_type.add_all_field_method_readers
  self
end

59
60
61
62

# File 'lib/algebrick/dsl.rb', line 59

def field_readers(*names)
  @new_type.add_field_method_readers *names
  self
end

39
40
41
42

# File 'lib/algebrick/dsl.rb', line 39

def fields(*fields)
  @new_type.set_fields fields.first.is_a?(Hash) ? fields.first : fields
  self
end

44
45
46
47

# File 'lib/algebrick/dsl.rb', line 44

def fields!(*fields)
  fields(*fields)
  all_readers
end

49
50
51
52

# File 'lib/algebrick/dsl.rb', line 49

def final!
  @new_type.final!
  self
end

54
55
56
57

# File 'lib/algebrick/dsl.rb', line 54

def variants(*variants)
  @new_type.set_variants *variants
  self
end