mirror of
https://github.com/reanimate/reanimate.git
synced 2026-09-16 18:42:21 +00:00
51 lines
2.8 KiB
HTML
51 lines
2.8 KiB
HTML
<html>
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
|
<style type="text/css">
|
|
span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
|
|
span.nottickedoff { background: yellow}
|
|
span.istickedoff { background: white }
|
|
span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
|
|
span.tickonlytrue { margin: -1px; border: 1px solid #60de51; background: #60de51 }
|
|
span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
|
|
span.decl { font-weight: bold }
|
|
span.spaces { background: white }
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<pre>
|
|
<span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
|
|
</pre>
|
|
<pre>
|
|
<span class="lineno"> 1 </span>module Reanimate.Constants
|
|
<span class="lineno"> 2 </span> ( screenWidth
|
|
<span class="lineno"> 3 </span> , screenHeight
|
|
<span class="lineno"> 4 </span> , screenTop
|
|
<span class="lineno"> 5 </span> , screenBottom
|
|
<span class="lineno"> 6 </span> , screenLeft
|
|
<span class="lineno"> 7 </span> , screenRight
|
|
<span class="lineno"> 8 </span> , defaultDPI
|
|
<span class="lineno"> 9 </span> , defaultStrokeWidth
|
|
<span class="lineno"> 10 </span> ) where
|
|
<span class="lineno"> 11 </span>
|
|
<span class="lineno"> 12 </span>import Graphics.SvgTree
|
|
<span class="lineno"> 13 </span>
|
|
<span class="lineno"> 14 </span>screenWidth, screenHeight, screenTop :: Fractional a => a
|
|
<span class="lineno"> 15 </span>screenBottom, screenLeft, screenRight :: Fractional a => a
|
|
<span class="lineno"> 16 </span>
|
|
<span class="lineno"> 17 </span><span class="decl"><span class="istickedoff">screenWidth = 16</span></span>
|
|
<span class="lineno"> 18 </span><span class="decl"><span class="istickedoff">screenHeight = 9</span></span>
|
|
<span class="lineno"> 19 </span><span class="decl"><span class="nottickedoff">screenTop = screenHeight/2</span></span>
|
|
<span class="lineno"> 20 </span><span class="decl"><span class="nottickedoff">screenBottom = -screenHeight/2</span></span>
|
|
<span class="lineno"> 21 </span><span class="decl"><span class="nottickedoff">screenLeft = -screenWidth/2</span></span>
|
|
<span class="lineno"> 22 </span><span class="decl"><span class="nottickedoff">screenRight = screenWidth/2</span></span>
|
|
<span class="lineno"> 23 </span>
|
|
<span class="lineno"> 24 </span>defaultDPI :: Dpi
|
|
<span class="lineno"> 25 </span><span class="decl"><span class="nottickedoff">defaultDPI = 96</span></span>
|
|
<span class="lineno"> 26 </span>
|
|
<span class="lineno"> 27 </span>defaultStrokeWidth :: Double
|
|
<span class="lineno"> 28 </span><span class="decl"><span class="istickedoff">defaultStrokeWidth = 0.05</span></span>
|
|
|
|
</pre>
|
|
</body>
|
|
</html>
|