Contents

# Let's define some types
Maybe = Algebrick.type do
  variants None = atom,
           Some = type { fields Numeric }
end                                                # => Maybe(None | Some)

# where the Maybe actually is:
Maybe.class                                        # => Algebrick::ProductVariant
Maybe.class.superclass                             # => Algebrick::Type
Maybe.class.superclass.superclass                  # => Module
Maybe.class.superclass.superclass.superclass       # => Object

# if there is a circular dependency you can define the dependent types inside the block like this:
Tree = Algebrick.type do |tree|
  variants Empty = type,
           Leaf  = type { fields Integer },
           Node  = type { fields tree, tree }
end                                                # => Tree(Empty | Leaf | Node)
Empty                                              # => Empty
Leaf                                               # => Leaf(Integer)
Node                                               # => Node(Tree, Tree)

Version data entries

8 entries across 8 versions & 1 rubygems

Version	Path
algebrick-0.7.5	doc/type_def.out.rb
algebrick-0.7.4	doc/type_def.out.rb
algebrick-0.7.3	doc/type_def.out.rb
algebrick-0.7.2	doc/type_def.out.rb
algebrick-0.7.1	doc/type_def.out.rb
algebrick-0.7.0	doc/type_def.out.rb
algebrick-0.6.0	doc/type_def.out.rb
algebrick-0.5.0	doc/type_def.out.rb