/usr/share/doc/libghc-constraints-doc/html/Data-Constraint-Symbol.html is in libghc-constraints-doc 0.9.1-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!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" /><title>Data.Constraint.Symbol</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Constraint-Symbol.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Constraint-Symbol.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">constraints-0.9.1: Constraint manipulation</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.Constraint.Symbol</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Utilities for working with <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a></code> constraints.</p><p>This module is only available on GHC 8.0 or later.</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:-43--43-" class="def">(++)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> <span class="keyword">where ...</span> <a href="src/Data-Constraint-Symbol.html#%2B%2B" class="link">Source</a> <a href="#t:-43--43-" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Take" class="def">Take</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> <span class="keyword">where ...</span> <a href="src/Data-Constraint-Symbol.html#Take" class="link">Source</a> <a href="#t:Take" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Drop" class="def">Drop</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> <span class="keyword">where ...</span> <a href="src/Data-Constraint-Symbol.html#Drop" class="link">Source</a> <a href="#t:Drop" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Length" class="def">Length</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Nat">Nat</a> <span class="keyword">where ...</span> <a href="src/Data-Constraint-Symbol.html#Length" class="link">Source</a> <a href="#t:Length" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:appendSymbol" class="def">appendSymbol</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> b) <a href="Data-Constraint.html#t::-45-">:-</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> (a <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> b) <a href="src/Data-Constraint-Symbol.html#appendSymbol" class="link">Source</a> <a href="#v:appendSymbol" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:appendUnit1" class="def">appendUnit1</a> :: <span class="keyword">forall</span> a. <a href="Data-Constraint.html#t:Dict">Dict</a> (("" <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> a) ~ a) <a href="src/Data-Constraint-Symbol.html#appendUnit1" class="link">Source</a> <a href="#v:appendUnit1" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:appendUnit2" class="def">appendUnit2</a> :: <span class="keyword">forall</span> a. <a href="Data-Constraint.html#t:Dict">Dict</a> ((a <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> "") ~ a) <a href="src/Data-Constraint-Symbol.html#appendUnit2" class="link">Source</a> <a href="#v:appendUnit2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:appendAssociates" class="def">appendAssociates</a> :: <span class="keyword">forall</span> a b c. <a href="Data-Constraint.html#t:Dict">Dict</a> (((a <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> b) <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> c) ~ (a <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> (b <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> c))) <a href="src/Data-Constraint-Symbol.html#appendAssociates" class="link">Source</a> <a href="#v:appendAssociates" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:takeSymbol" class="def">takeSymbol</a> :: <span class="keyword">forall</span> n a. (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> a) <a href="Data-Constraint.html#t::-45-">:-</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> n a) <a href="src/Data-Constraint-Symbol.html#takeSymbol" class="link">Source</a> <a href="#v:takeSymbol" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:dropSymbol" class="def">dropSymbol</a> :: <span class="keyword">forall</span> n a. (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> n, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> a) <a href="Data-Constraint.html#t::-45-">:-</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> n a) <a href="src/Data-Constraint-Symbol.html#dropSymbol" class="link">Source</a> <a href="#v:dropSymbol" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:takeAppendDrop" class="def">takeAppendDrop</a> :: <span class="keyword">forall</span> n a. <a href="Data-Constraint.html#t:Dict">Dict</a> ((<a href="Data-Constraint-Symbol.html#t:Take">Take</a> n a <a href="Data-Constraint-Symbol.html#t:-43--43-">++</a> <a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> n a) ~ a) <a href="src/Data-Constraint-Symbol.html#takeAppendDrop" class="link">Source</a> <a href="#v:takeAppendDrop" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lengthSymbol" class="def">lengthSymbol</a> :: <span class="keyword">forall</span> a. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownSymbol">KnownSymbol</a> a <a href="Data-Constraint.html#t::-45-">:-</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:KnownNat">KnownNat</a> (<a href="Data-Constraint-Symbol.html#t:Length">Length</a> a) <a href="src/Data-Constraint-Symbol.html#lengthSymbol" class="link">Source</a> <a href="#v:lengthSymbol" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:takeLength" class="def">takeLength</a> :: <span class="keyword">forall</span> n a. (<a href="Data-Constraint-Symbol.html#t:Length">Length</a> a <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:-60--61-"><=</a> n) <a href="Data-Constraint.html#t::-45-">:-</a> (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> n a ~ a) <a href="src/Data-Constraint-Symbol.html#takeLength" class="link">Source</a> <a href="#v:takeLength" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:take0" class="def">take0</a> :: <span class="keyword">forall</span> a. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> 0 a ~ "") <a href="src/Data-Constraint-Symbol.html#take0" class="link">Source</a> <a href="#v:take0" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:takeEmpty" class="def">takeEmpty</a> :: <span class="keyword">forall</span> n. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> n "" ~ "") <a href="src/Data-Constraint-Symbol.html#takeEmpty" class="link">Source</a> <a href="#v:takeEmpty" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:dropLength" class="def">dropLength</a> :: <span class="keyword">forall</span> n a. (<a href="Data-Constraint-Symbol.html#t:Length">Length</a> a <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:-60--61-"><=</a> n) <a href="Data-Constraint.html#t::-45-">:-</a> (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> n a ~ "") <a href="src/Data-Constraint-Symbol.html#dropLength" class="link">Source</a> <a href="#v:dropLength" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:drop0" class="def">drop0</a> :: <span class="keyword">forall</span> a. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> 0 a ~ a) <a href="src/Data-Constraint-Symbol.html#drop0" class="link">Source</a> <a href="#v:drop0" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:dropEmpty" class="def">dropEmpty</a> :: <span class="keyword">forall</span> n. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> n "" ~ "") <a href="src/Data-Constraint-Symbol.html#dropEmpty" class="link">Source</a> <a href="#v:dropEmpty" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lengthTake" class="def">lengthTake</a> :: <span class="keyword">forall</span> n a. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Length">Length</a> (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> n a) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:-60--61-"><=</a> n) <a href="src/Data-Constraint-Symbol.html#lengthTake" class="link">Source</a> <a href="#v:lengthTake" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lengthDrop" class="def">lengthDrop</a> :: <span class="keyword">forall</span> n a. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Length">Length</a> a <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:-60--61-"><=</a> (<a href="Data-Constraint-Symbol.html#t:Length">Length</a> (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> n a) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:-43-">+</a> n)) <a href="src/Data-Constraint-Symbol.html#lengthDrop" class="link">Source</a> <a href="#v:lengthDrop" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:dropDrop" class="def">dropDrop</a> :: <span class="keyword">forall</span> n m a. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> n (<a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> m a) ~ <a href="Data-Constraint-Symbol.html#t:Drop">Drop</a> (n <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:-43-">+</a> m) a) <a href="src/Data-Constraint-Symbol.html#dropDrop" class="link">Source</a> <a href="#v:dropDrop" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:takeTake" class="def">takeTake</a> :: <span class="keyword">forall</span> n m a. <a href="Data-Constraint.html#t:Dict">Dict</a> (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> n (<a href="Data-Constraint-Symbol.html#t:Take">Take</a> m a) ~ <a href="Data-Constraint-Symbol.html#t:Take">Take</a> (<a href="Data-Constraint-Nat.html#t:Min">Min</a> n m) a) <a href="src/Data-Constraint-Symbol.html#takeTake" class="link">Source</a> <a href="#v:takeTake" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|