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