<div dir="ltr"><div>Hi,</div><div><br></div><div>I am trying to work out how to use the Algebra.Lattice family of Lattice data structures.</div><div><br></div><div>Firstly how do I construct a lattice ?</div><div><br></div><div>What I am wanting to do is to be able to construct a lattice to represent a multiple inheritance hierarchy. Then I to be able to find the Least Upper Bound of a set of classes/types. This is in order to find the type of a multiple case expression.</div><div><br></div><div><div style="background:none;font:400 13px/19.5px sans-serif;outline:transparent 0px;border:0px rgb(34,34,34);width:568px;text-align:left;color:rgb(34,34,34);text-transform:none;text-indent:0px;letter-spacing:normal;overflow:visible;text-decoration:none;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:100%">I am not sure if the Haskell classes are actually applicable ? but if they are how do I apply them to the following problem please ?</div><div style="background:none;font:400 13px/19.5px sans-serif;outline:transparent 0px;border:0px rgb(34,34,34);width:568px;text-align:left;color:rgb(34,34,34);text-transform:none;text-indent:0px;letter-spacing:normal;overflow:visible;text-decoration:none;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:100%"><br></div></div><div>-- <br></div><div class="gmail_signature" dir="ltr"><div dir="ltr"><div><div dir="ltr"><div>Aaron Gray</div><div><br></div><div>Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.<br></div></div></div></div></div></div>