<htmlxmlns="http://www.w3.org/1999/xhtml"><head><linkrel="stylesheet"type="text/css"href="style.css"/><scripttype="text/javascript"src="highlight.js"></script></head><body><pre><spanclass="hs-pragma">{-# LANGUAGE Haskell2010 #-}</span><span></span><spanid="line-2"></span><spanclass="hs-keyword">module</span><span></span><spanclass="hs-identifier">Identifiers</span><span></span><spanclass="hs-keyword">where</span><span></span><spanid="line-3"></span><span></span><spanid="line-4"></span><span></span><spanid="line-5"></span><spanclass="annot"><ahref="Identifiers.html#foo"><spanclass="hs-identifier hs-type">foo</span></a></span><spanclass="hs-special">,</span><span></span><spanclass="annot"><ahref="Identifiers.html#bar"><spanclass="hs-identifier hs-type">bar</span></a></span><spanclass="hs-special">,</span><span></span><spanclass="annot"><ahref="Identifiers.html#baz"><spanclass="hs-identifier hs-type">baz</span></a></span><span></span><spanclass="hs-glyph">::</span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanclass="hs-glyph">-></span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanclass="hs-glyph">-></span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanid="line-6"></span><spanid="foo"><spanclass="annot"><spanclass="annottext">foo :: Int -> Int -> Int
</span><ahref="Identifiers.html#foo"><spanclass="hs-identifier hs-var hs-var">foo</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">+</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">*</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
</span><ahref="Identifiers.html#bar"><spanclass="hs-identifier hs-var">bar</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">*</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">+</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanid="line-7"></span><spanid="bar"><spanclass="annot"><spanclass="annottext">bar :: Int -> Int -> Int
</span><ahref="Identifiers.html#bar"><spanclass="hs-identifier hs-var hs-var">bar</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">+</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-glyph hs-var">-</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
</span><ahref="Identifiers.html#baz"><spanclass="hs-identifier hs-var">baz</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-glyph hs-var">-</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">+</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanid="line-8"></span><spanid="baz"><spanclass="annot"><spanclass="annottext">baz :: Int -> Int -> Int
</span><ahref="Identifiers.html#baz"><spanclass="hs-identifier hs-var hs-var">baz</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">*</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">*</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">*</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
forall a. Num a => a -> a -> a
</span><spanclass="hs-operator hs-var">*</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanid="line-9"></span><span></span><spanid="line-10"></span><spanclass="annot"><ahref="Identifiers.html#quux"><spanclass="hs-identifier hs-type">quux</span></a></span><span></span><spanclass="hs-glyph">::</span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanclass="hs-glyph">-></span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanid="line-11"></span><spanid="quux"><spanclass="annot"><spanclass="annottext">quux :: Int -> Int
</span><ahref="Identifiers.html#quux"><spanclass="hs-identifier hs-var hs-var">quux</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
</span><ahref="Identifiers.html#foo"><spanclass="hs-identifier hs-var">foo</span></a></span><span></span><spanclass="hs-special">(</span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
</span><ahref="Identifiers.html#bar"><spanclass="hs-identifier hs-var">bar</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><spanclass="hs-special">)</span><span></span><spanclass="hs-special">(</span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
</span><ahref="Identifiers.html#bar"><spanclass="hs-identifier hs-var">bar</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><spanclass="hs-special">)</span><span></span><spanid="line-12"></span><span></span><spanid="line-13"></span><spanclass="annot"><ahref="Identifiers.html#norf"><spanclass="hs-identifier hs-type">norf</span></a></span><span></span><spanclass="hs-glyph">::</span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanclass="hs-glyph">-></span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanclass="hs-glyph">-></span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanclass="hs-glyph">-></span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">Int</span></span><span></span><spanid="line-14"></span><spanid="norf"><spanclass="annot"><spanclass="annottext">norf :: Int -> Int -> Int -> Int
</span><ahref="Identifiers.html#norf"><spanclass="hs-identifier hs-var hs-var">norf</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">z</span></a></span></span><span></span><spanid="line-15"></span><span></span><spanclass="hs-glyph">|</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
</span><spanclass="hs-operator hs-var"><</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><spanclass="hs-number">0</span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int
</span><ahref="Identifiers.html#quux"><spanclass="hs-identifier hs-var">quux</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanid="line-16"></span><span></span><spanclass="hs-glyph">|</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
</span><spanclass="hs-operator hs-var"><</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><spanclass="hs-number">0</span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int
</span><ahref="Identifiers.html#quux"><spanclass="hs-identifier hs-var">quux</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanid="line-17"></span><span></span><spanclass="hs-glyph">|</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">z</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
</span><spanclass="hs-operator hs-var"><</span></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><spanclass="hs-number">0</span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int
</span><ahref="Identifiers.html#quux"><spanclass="hs-identifier hs-var">quux</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">z</span></a></span><span></span><spanid="line-18"></span><span></span><spanclass="hs-glyph">|</span><span></span><spanclass="annot"><spanclass="annottext">Bool
</span><spanclass="hs-identifier hs-var">otherwise</span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int -> Int
</span><ahref="Identifiers.html#norf"><spanclass="hs-identifier hs-var">norf</span></a></span><span></span><spanclass="hs-special">(</span><spanclass="hs-glyph">-</span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><spanclass="hs-special">)</span><span></span><spanclass="hs-special">(</span><spanclass="hs-glyph">-</span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><spanclass="hs-special">)</span><span></span><spanclass="hs-special">(</span><spanclass="hs-glyph">-</span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">z</span></a></span><spanclass="hs-special">)</span><span></span><spanid="line-19"></span><span></span><spanid="line-20"></span><span></span><spanid="line-21"></span><spanclass="annot"><ahref="Identifiers.html#main"><spanclass="hs-identifier hs-type">main</span></a></span><span></span><spanclass="hs-glyph">::</span><span></span><spanclass="annot"><spanclass="hs-identifier hs-type">IO</span></span><span></span><spanclass="hs-special">(</span><spanclass="hs-special">)</span><span></span><spanid="line-22"></span><spanid="main"><spanclass="annot"><spanclass="annottext">main :: IO ()
</span><ahref="Identifiers.html#main"><spanclass="hs-identifier hs-var hs-var">main</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="hs-keyword">do</span><span></span><spanid="line-23"></span><span></span><spanclass="annot"><spanclass="annottext">String -> IO ()
</span><spanclass="hs-identifier hs-var">putStrLn</span></span><span></span><spanclass="annot"><spanclass="annottext">(String -> IO ()) -> (Int -> String) -> Int -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
</span><spanclass="hs-operator hs-var">.</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> String
forall a. Show a => a -> String
</span><spanclass="hs-identifier hs-var">show</span></span><span></span><spanclass="annot"><spanclass="annottext">(Int -> IO ()) -> Int -> IO ()
forall a b. (a -> b) -> a -> b
</span><spanclass="hs-operator hs-var">$</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int
</span><ahref="Identifiers.html#foo"><spanclass="hs-identifier hs-var">foo</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanid="line-24"></span><span></span><spanclass="annot"><spanclass="annottext">String -> IO ()
</span><spanclass="hs-identifier hs-var">putStrLn</span></span><span></span><spanclass="annot"><spanclass="annottext">(String -> IO ()) -> (Int -> String) -> Int -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
</span><spanclass="hs-operator hs-var">.</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> String
forall a. Show a => a -> String
</span><spanclass="hs-identifier hs-var">show</span></span><span></span><spanclass="annot"><spanclass="annottext">(Int -> IO ()) -> Int -> IO ()
forall a b. (a -> b) -> a -> b
</span><spanclass="hs-operator hs-var">$</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int
</span><ahref="Identifiers.html#quux"><spanclass="hs-identifier hs-var">quux</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">z</span></a></span><span></span><spanid="line-25"></span><span></span><spanclass="annot"><spanclass="annottext">String -> IO ()
</span><spanclass="hs-identifier hs-var">putStrLn</span></span><span></span><spanclass="annot"><spanclass="annottext">(String -> IO ()) -> (Int -> String) -> Int -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
</span><spanclass="hs-operator hs-var">.</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> String
forall a. Show a => a -> String
</span><spanclass="hs-identifier hs-var">show</span></span><span></span><spanclass="annot"><spanclass="annottext">(Int -> IO ()) -> Int -> IO ()
forall a b. (a -> b) -> a -> b
</span><spanclass="hs-operator hs-var">$</span></span><span></span><spanclass="annot"><spanclass="annottext">Int -> Int -> Int -> Int
</span><ahref="Identifiers.html#norf"><spanclass="hs-identifier hs-var">Identifiers.norf</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">x</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">y</span></a></span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><ahref="#"><spanclass="hs-identifier hs-var">z</span></a></span><span></span><spanid="line-26"></span><span></span><spanclass="hs-keyword">where</span><span></span><spanid="line-27"></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">x :: Int
</span><ahref="#"><spanclass="hs-identifier hs-var hs-var">x</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><spanclass="hs-number">10</span></span><span></span><spanid="line-28"></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">y :: Int
</span><ahref="#"><spanclass="hs-identifier hs-var hs-var">y</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><spanclass="hs-number">20</span></span><span></span><spanid="line-29"></span><span></span><spanid=""><spanclass="annot"><spanclass="annottext">z :: Int
</span><ahref="#"><spanclass="hs-identifier hs-var hs-var">z</span></a></span></span><span></span><spanclass="hs-glyph">=</span><span></span><spanclass="annot"><spanclass="annottext">Int
</span><spanclass="hs-number">30</span></span><span></span><spanid="line-30"></span></pre></body></html>