docs/doc-index-O.html

<!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 name="viewport" content="width=device-width, initial-scale=1"
     /><title
    >proarrow-0: Category theory with a central role for profunctors (Index - O)</title
    ><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial"
     /><link rel="stylesheet" type="text/css" href="quick-jump.css"
     /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700"
     /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
    ></script
    ><script type="text/x-mathjax-config"
    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script
    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
    ></script
    ></head
  ><body
  ><div id="package-header"
    ><span class="caption"
      >proarrow-0: Category theory with a central role for profunctors</span
      ><ul class="links" id="page-menu"
      ><li
	><a href="https://github.com/sjoerdvisscher/proarrow/"
	  >User Comments</a
	  ></li
	><li
	><a href="index.html"
	  >Contents</a
	  ></li
	><li
	><a href="doc-index.html"
	  >Index</a
	  ></li
	></ul
      ></div
    ><div id="content"
    ><div id="alphabet"
      ><ul
	><li
	  ><a href="doc-index-A.html"
	    >A</a
	    ></li
	  ><li
	  ><a href="doc-index-B.html"
	    >B</a
	    ></li
	  ><li
	  ><a href="doc-index-C.html"
	    >C</a
	    ></li
	  ><li
	  ><a href="doc-index-D.html"
	    >D</a
	    ></li
	  ><li
	  ><a href="doc-index-E.html"
	    >E</a
	    ></li
	  ><li
	  ><a href="doc-index-F.html"
	    >F</a
	    ></li
	  ><li
	  ><a href="doc-index-G.html"
	    >G</a
	    ></li
	  ><li
	  ><a href="doc-index-H.html"
	    >H</a
	    ></li
	  ><li
	  ><a href="doc-index-I.html"
	    >I</a
	    ></li
	  ><li
	  ><a href="doc-index-K.html"
	    >K</a
	    ></li
	  ><li
	  ><a href="doc-index-L.html"
	    >L</a
	    ></li
	  ><li
	  ><a href="doc-index-M.html"
	    >M</a
	    ></li
	  ><li
	  ><a href="doc-index-N.html"
	    >N</a
	    ></li
	  ><li
	  ><a href="doc-index-O.html"
	    >O</a
	    ></li
	  ><li
	  ><a href="doc-index-P.html"
	    >P</a
	    ></li
	  ><li
	  ><a href="doc-index-Q.html"
	    >Q</a
	    ></li
	  ><li
	  ><a href="doc-index-R.html"
	    >R</a
	    ></li
	  ><li
	  ><a href="doc-index-S.html"
	    >S</a
	    ></li
	  ><li
	  ><a href="doc-index-T.html"
	    >T</a
	    ></li
	  ><li
	  ><a href="doc-index-U.html"
	    >U</a
	    ></li
	  ><li
	  ><a href="doc-index-V.html"
	    >V</a
	    ></li
	  ><li
	  ><a href="doc-index-W.html"
	    >W</a
	    ></li
	  ><li
	  ><a href="doc-index-X.html"
	    >X</a
	    ></li
	  ><li
	  ><a href="doc-index-Y.html"
	    >Y</a
	    ></li
	  ><li
	  ><a href="doc-index-Z.html"
	    >Z</a
	    ></li
	  ><li
	  ><a href="doc-index-58.html"
	    >:</a
	    ></li
	  ><li
	  ><a href="doc-index-33.html"
	    >!</a
	    ></li
	  ><li
	  ><a href="doc-index-36.html"
	    >$</a
	    ></li
	  ><li
	  ><a href="doc-index-37.html"
	    >%</a
	    ></li
	  ><li
	  ><a href="doc-index-38.html"
	    >&amp;</a
	    ></li
	  ><li
	  ><a href="doc-index-42.html"
	    >*</a
	    ></li
	  ><li
	  ><a href="doc-index-43.html"
	    >+</a
	    ></li
	  ><li
	  ><a href="doc-index-46.html"
	    >.</a
	    ></li
	  ><li
	  ><a href="doc-index-47.html"
	    >/</a
	    ></li
	  ><li
	  ><a href="doc-index-60.html"
	    >&lt;</a
	    ></li
	  ><li
	  ><a href="doc-index-61.html"
	    >=</a
	    ></li
	  ><li
	  ><a href="doc-index-63.html"
	    >?</a
	    ></li
	  ><li
	  ><a href="doc-index-92.html"
	    >\</a
	    ></li
	  ><li
	  ><a href="doc-index-94.html"
	    >^</a
	    ></li
	  ><li
	  ><a href="doc-index-124.html"
	    >|</a
	    ></li
	  ><li
	  ><a href="doc-index-45.html"
	    >-</a
	    ></li
	  ><li
	  ><a href="doc-index-126.html"
	    >~</a
	    ></li
	  ><li
	  ><a href="doc-index-All.html"
	    >All</a
	    ></li
	  ></ul
	></div
      ><div id="index"
      ><p class="caption"
	>Index - O</p
	><table
	><tr
	  ><td class="src"
	    >O</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory.html#t:O" title="Proarrow.Category.Bicategory"
	      >Proarrow.Category.Bicategory</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >o</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Function)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory.html#v:o" title="Proarrow.Category.Bicategory"
	      >Proarrow.Category.Bicategory</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Function)</td
	    ><td class="module"
	    ><a href="Proarrow-Profunctor-Composition.html#v:o" title="Proarrow.Profunctor.Composition"
	      >Proarrow.Profunctor.Composition</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OB</td
	    ><td class="module"
	    ><a href="Proarrow-Core.html#t:OB" title="Proarrow.Core"
	      >Proarrow.Core</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Ob</td
	    ><td class="module"
	    ><a href="Proarrow-Core.html#t:Ob" title="Proarrow.Core"
	      >Proarrow.Core</a
	      >, <a href="Proarrow-Category.html#t:Ob" title="Proarrow.Category"
	      >Proarrow.Category</a
	      >, Proarrow, Proarrow</td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Ob'</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Object.html#t:Ob-39-" title="Proarrow.Object"
	      >Proarrow.Object</a
	      >, Proarrow</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory.html#t:Ob-39-" title="Proarrow.Category.Bicategory"
	      >Proarrow.Category.Bicategory</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Ob0</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory.html#t:Ob0" title="Proarrow.Category.Bicategory"
	      >Proarrow.Category.Bicategory</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Ob0'</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory.html#t:Ob0-39-" title="Proarrow.Category.Bicategory"
	      >Proarrow.Category.Bicategory</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >ObDual</td
	    ><td class="module"
	    ><a href="Proarrow-Object-Dual.html#t:ObDual" title="Proarrow.Object.Dual"
	      >Proarrow.Object.Dual</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >ObExp</td
	    ><td class="module"
	    ><a href="Proarrow-Object-Exponential.html#t:ObExp" title="Proarrow.Object.Exponential"
	      >Proarrow.Object.Exponential</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >ObExp'</td
	    ><td class="module"
	    ><a href="Proarrow-Object-Exponential.html#t:ObExp-39-" title="Proarrow.Object.Exponential"
	      >Proarrow.Object.Exponential</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Obj</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Core.html#t:Obj" title="Proarrow.Core"
	      >Proarrow.Core</a
	      >, <a href="Proarrow-Object.html#t:Obj" title="Proarrow.Object"
	      >Proarrow.Object</a
	      >, Proarrow</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Object.html#v:Obj" title="Proarrow.Object"
	      >Proarrow.Object</a
	      >, Proarrow</td
	    ></tr
	  ><tr
	  ><td class="src"
	    >obj</td
	    ><td class="module"
	    ><a href="Proarrow-Core.html#v:obj" title="Proarrow.Core"
	      >Proarrow.Core</a
	      >, <a href="Proarrow-Object.html#v:obj" title="Proarrow.Object"
	      >Proarrow.Object</a
	      >, Proarrow</td
	    ></tr
	  ><tr
	  ><td class="src"
	    >obj1</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Strictified.html#v:obj1" title="Proarrow.Category.Bicategory.Strictified"
	      >Proarrow.Category.Bicategory.Strictified</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >obj2</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal.html#v:obj2" title="Proarrow.Category.Monoidal"
	      >Proarrow.Category.Monoidal</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >object</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Function)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Equipment.html#v:object" title="Proarrow.Category.Equipment"
	      >Proarrow.Category.Equipment</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Function)</td
	    ><td class="module"
	    ><a href="Proarrow-Squares.html#v:object" title="Proarrow.Squares"
	      >Proarrow.Squares</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Objs</td
	    ><td class="module"
	    ><a href="Proarrow-Object.html#v:Objs" title="Proarrow.Object"
	      >Proarrow.Object</a
	      >, Proarrow</td
	    ></tr
	  ><tr
	  ><td class="src"
	    >ObLift</td
	    ><td class="module"
	    ><a href="Proarrow-Profunctor-Free.html#t:ObLift" title="Proarrow.Profunctor.Free"
	      >Proarrow.Profunctor.Free</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >ObLiftRetract</td
	    ><td class="module"
	    ><a href="Proarrow-Profunctor-Free.html#t:ObLiftRetract" title="Proarrow.Profunctor.Free"
	      >Proarrow.Profunctor.Free</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >ObRetract</td
	    ><td class="module"
	    ><a href="Proarrow-Profunctor-Free.html#t:ObRetract" title="Proarrow.Profunctor.Free"
	      >Proarrow.Profunctor.Free</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >obs</td
	    ><td class="module"
	    ><a href="Proarrow-Preorder.html#v:obs" title="Proarrow.Preorder"
	      >Proarrow.Preorder</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >On</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Instance-Sub.html#t:On" title="Proarrow.Category.Instance.Sub"
	      >Proarrow.Category.Instance.Sub</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OP</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Op.html#v:OP" title="Proarrow.Category.Bicategory.Op"
	      >Proarrow.Category.Bicategory.Op</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Opposite.html#v:OP" title="Proarrow.Category.Opposite"
	      >Proarrow.Category.Opposite</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Op</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Op.html#t:Op" title="Proarrow.Category.Bicategory.Op"
	      >Proarrow.Category.Bicategory.Op</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Op.html#v:Op" title="Proarrow.Category.Bicategory.Op"
	      >Proarrow.Category.Bicategory.Op</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >3 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Opposite.html#t:Op" title="Proarrow.Category.Opposite"
	      >Proarrow.Category.Opposite</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >4 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Opposite.html#v:Op" title="Proarrow.Category.Opposite"
	      >Proarrow.Category.Opposite</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >opact</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Relative.html#v:opact" title="Proarrow.Category.Bicategory.Relative"
	      >Proarrow.Category.Bicategory.Relative</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Opalgebra</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Relative.html#t:Opalgebra" title="Proarrow.Category.Bicategory.Relative"
	      >Proarrow.Category.Bicategory.Relative</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OPK</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
	      >Proarrow.Category.Bicategory.Op</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OPPOSITE</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Opposite.html#t:OPPOSITE" title="Proarrow.Category.Opposite"
	      >Proarrow.Category.Opposite</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OPT</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#t:OPT" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OPTIC</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#t:OPTIC" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >Optic</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#t:Optic" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#v:Optic" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OpticCat</td
	    ><td
	    >&nbsp;</td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >1 (Type/Class)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#t:OpticCat" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="alt"
	    >2 (Data Constructor)</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#v:OpticCat" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OptL</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#t:OptL" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >OptR</td
	    ><td class="module"
	    ><a href="Proarrow-Category-Monoidal-Optic.html#t:OptR" title="Proarrow.Category.Monoidal.Optic"
	      >Proarrow.Category.Monoidal.Optic</a
	      ></td
	    ></tr
	  ><tr
	  ><td class="src"
	    >out</td
	    ><td class="module"
	    ><a href="Proarrow-Profunctor-Fix.html#v:out" title="Proarrow.Profunctor.Fix"
	      >Proarrow.Profunctor.Fix</a
	      ></td
	    ></tr
	  ></table
	></div
      ></div
    ><div id="footer"
    ><p
      >Produced by <a href="http://www.haskell.org/haddock/"
	>Haddock</a
	> version 2.28.0</p
      ></div
    ></body
  ></html
>