/spire-sxr/spire-2.11-0.9.1/spire/spire/algebra/lattice/Heyting.scala.html
HTML | 34 lines | 28 code | 6 blank | 0 comment | 0 complexity | 4d3872d7cbc6924e9bd29a9459ed578b MD5 | raw file
- <?xml version="1.0" encoding="utf-8"?>
- <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
- <html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta http-equiv="Content-Type" content="text/html;charset=utf-8" ></meta>
- <title>spire/spire/algebra/lattice/Heyting.scala</title>
- <script type="text/javascript" src="../../../../jquery-all.js"></script>
- <script type="text/javascript" src="../../../../linked.js"></script>
- <link rel="stylesheet" type="text/css" href="../../../../style.css" title="Style"></link>
- </head>
- <body>
- <pre>
- package spire.algebra.lattice
- import scala.<span class="delimiter">{</span>specialized => sp<span class="delimiter">}</span>
- 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>
- 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>
- 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>
- 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>
- 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>
- 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>
- 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>
- <span class="delimiter">}</span>
- 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>
- @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>
- <span class="delimiter">}</span>
- </pre>
- </body>
- </html>