[all packages] [package pizza.lang] [class hierarchy] [index]

public class pizza.lang.MatchError

(source file: pizza/lang/MatchError.pizza)
java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Error
                   |
                   +----pizza.lang.MatchError
The pure class interface. 
public class MatchError
  extends Error
A class for errors due to missing patterns.

See also:
pizza.lang.List, pizza.util.Option

Constuctor Index

O MatchError(String)
O MatchError()

Constructors

O MatchError
public MatchError();

O MatchError

public MatchError(String s);

[all packages] [package pizza.lang] [class hierarchy] [index]
pizza.lang.MatchError.html