Sha256: a87558755a519e816e303c36538027633baff1ea9c5eb4653c5f9efe3e3a4667

Contents?: true

Size: 1.03 KB

Versions: 8

Compression:

Stored size: 1.03 KB

Contents

# Let's define a Tree
Tree = Algebrick.type do |tree|
  variants Empty = atom,
           Leaf  = type { fields Integer },
           Node  = type { fields tree, tree }
end                                                # => Tree(Empty | Leaf | Node)

# Now types `Tree(Empty | Leaf | Node)`, `Empty`, `Leaf(Integer)` and `Node(Tree, Tree)` are defined.
# Let's add a method, don't miss the **pattern matching** example.
module Tree
  # compute depth of a tree
  def depth
    match self,
          (on Empty, 0),
          (on Leaf, 1),
          # ~ will store and pass matched parts to variables left and right
          (on Node.(~any, ~any) do |left, right|
            1 + [left.depth, right.depth].max
          end)
  end
end 

# Method defined in module `Tree` are passed down to **all** values of type Tree.
Empty.depth                                        # => 0
Leaf[10].depth                                     # => 1
Node[Leaf[4], Empty].depth                         # => 2
Node[Empty, Node[Leaf[1], Empty]].depth            # => 3

Version data entries

8 entries across 8 versions & 1 rubygems

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