PageRenderTime 47ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/spire-sxr/spire-2.11-0.9.1/spire/spire/algebra/lattice/Heyting.scala.html

https://github.com/xuwei-k/xuwei-k.github.com
HTML | 34 lines | 28 code | 6 blank | 0 comment | 0 complexity | 4d3872d7cbc6924e9bd29a9459ed578b MD5 | raw file
    

  1. <?xml version="1.0" encoding="utf-8"?>
    2. 

  2. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
    3. 

  3. <html xmlns="http://www.w3.org/1999/xhtml">
    4. 

  4.     <head>
    5. 

  5.         <meta http-equiv="Content-Type" content="text/html;charset=utf-8" ></meta>
    6. 

  6.         <title>spire/spire/algebra/lattice/Heyting.scala</title>
    7. 

  7.         <script type="text/javascript" src="../../../../jquery-all.js"></script>
    8. 

  8.         <script type="text/javascript" src="../../../../linked.js"></script>
    9. 

  9.         <link rel="stylesheet" type="text/css" href="../../../../style.css" title="Style"></link>
    10. 

  10.     </head>
    11. 

  11.     <body>
    12. 

  12.         <pre>
    13. 

  13. package spire.algebra.lattice
    14. 

  14. 

  15. import scala.<span class="delimiter">{</span>specialized =&gt; sp<span class="delimiter">}</span>
    16. 

  16. 

  17. trait <a title="trait Heyting[A] extends Any with spire.algebra.lattice.BoundedLattice[A]" id="spire.algebra.lattice;Heyting">Heyting</a><span class="delimiter">[</span>@sp<span class="delimiter">(</span>Boolean, Byte, Short, Int, Long<span class="delimiter">)</span> <a title="" id="spire.algebra.lattice;Heyting;A">A</a><span class="delimiter">]</span> extends <span title="Any">Any</span> with <a href="Lattice.scala.html#spire.algebra.lattice;BoundedLattice" title="spire.algebra.lattice.BoundedLattice[A]">BoundedLattice</a><span class="delimiter">[</span>A<span class="delimiter">]</span> <span class="delimiter">{</span>
    18. 

  18.   def <a title="(a: A, b: A)A" id="spire.algebra.lattice;Heyting.and">and</a><span class="delimiter">(</span><a title="A" id="spire.algebra.lattice;Heyting.and.a">a</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>, <a title="A" id="spire.algebra.lattice;Heyting.and.b">b</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>
    19. 

  19.   def <a title="(a: A, b: A)A" id="spire.algebra.lattice;Heyting.meet">meet</a><span class="delimiter">(</span><a title="A" id="spire.algebra.lattice;Heyting.meet.a">a</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>, <a title="A" id="spire.algebra.lattice;Heyting.meet.b">b</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a> = <a href="#spire.algebra.lattice;Heyting.and" title="(a: A, b: A)A">and</a><span class="delimiter">(</span><a href="#spire.algebra.lattice;Heyting.meet.a" title="A">a</a>, <a href="#spire.algebra.lattice;Heyting.meet.b" title="A">b</a><span class="delimiter">)</span>
    20. 

  20. 

  21.   def <a title="(a: A, b: A)A" id="spire.algebra.lattice;Heyting.or">or</a><span class="delimiter">(</span><a title="A" id="spire.algebra.lattice;Heyting.or.a">a</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>, <a title="A" id="spire.algebra.lattice;Heyting.or.b">b</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>
    22. 

  22.   def <a title="(a: A, b: A)A" id="spire.algebra.lattice;Heyting.join">join</a><span class="delimiter">(</span><a title="A" id="spire.algebra.lattice;Heyting.join.a">a</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>, <a title="A" id="spire.algebra.lattice;Heyting.join.b">b</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a> = <a href="#spire.algebra.lattice;Heyting.or" title="(a: A, b: A)A">or</a><span class="delimiter">(</span><a href="#spire.algebra.lattice;Heyting.join.a" title="A">a</a>, <a href="#spire.algebra.lattice;Heyting.join.b" title="A">b</a><span class="delimiter">)</span>
    23. 

  23. 

  24.   def <a title="(a: A, b: A)A" id="spire.algebra.lattice;Heyting.imp">imp</a><span class="delimiter">(</span><a title="A" id="spire.algebra.lattice;Heyting.imp.a">a</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>, <a title="A" id="spire.algebra.lattice;Heyting.imp.b">b</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>
    25. 

  25.   def <a title="(a: A)A" id="spire.algebra.lattice;Heyting.complement">complement</a><span class="delimiter">(</span><a title="A" id="spire.algebra.lattice;Heyting.complement.a">a</a>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting;A" title="A">A</a>
    26. 

  26. <span class="delimiter">}</span>
    27. 

  27. 

  28. object <a title="spire.algebra.lattice.Heyting.type" id="spire.algebra.lattice.Heyting">Heyting</a> <a href="#spire.algebra.lattice.Heyting" title="spire.algebra.lattice.Heyting.type" class="delimiter">{</a>
    29. 

  29.   @inline final def <a title="[A](implicit ev: spire.algebra.lattice.Heyting[A])spire.algebra.lattice.Heyting[A]" id="spire.algebra.lattice.Heyting.apply">apply</a><span class="delimiter">[</span>@sp<span class="delimiter">(</span>Boolean, Byte, Short, Int, Long<span class="delimiter">)</span> <a title="" id="spire.algebra.lattice.Heyting.apply;A">A</a><span class="delimiter">]</span><span class="delimiter">(</span>implicit <a title="spire.algebra.lattice.Heyting[A]" id="spire.algebra.lattice.Heyting.apply.ev">ev</a>: <a href="#spire.algebra.lattice;Heyting" title="spire.algebra.lattice.Heyting[A]">Heyting</a><span class="delimiter">[</span>A<span class="delimiter">]</span><span class="delimiter">)</span>: <a href="#spire.algebra.lattice;Heyting" title="spire.algebra.lattice.Heyting[A]">Heyting</a><span class="delimiter">[</span>A<span class="delimiter">]</span> = <a href="#spire.algebra.lattice.Heyting.apply.ev" title="spire.algebra.lattice.Heyting[A]">ev</a>
    30. 

  30. <span class="delimiter">}</span>
    31. 

  31. 

  32.         </pre>
    33. 

  33.     </body>
    34. 

  34. </html>
    35. 

  35.