Created
October 28, 2013 22:21
-
-
Save jsl/7205851 to your computer and use it in GitHub Desktop.
Output of `STRINGS(1)` on the elmi file for Pong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Main | |
Main.$gameHeightgameWidth | |
_Tuple2 | |
number | |
number | |
Main.$halfHeighthalfWidth | |
_Tuple2 | |
number | |
number | |
Main.Ball | |
Float | |
Float | |
Float | |
Float | |
Float | |
Float | |
Float | |
Float | |
Main.Game | |
Main.State | |
Float | |
Float | |
Float | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
ball | |
Float | |
Float | |
Float | |
Float | |
playerL | |
score | |
Float | |
Float | |
Float | |
Float | |
playerR | |
score | |
Float | |
Float | |
Float | |
Float | |
state | |
Main.State | |
Main.Input | |
Bool | |
Float | |
delta | |
Float | |
dirL | |
dirR | |
space | |
Bool | |
Main.Player | |
Float | |
Float | |
Float | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
Main.defaultGame | |
ball | |
Float | |
Float | |
Float | |
Float | |
playerL | |
score | |
Float | |
Float | |
Float | |
Float | |
playerR | |
score | |
Float | |
Float | |
Float | |
Float | |
state | |
Main.State | |
Main.delta | |
Signal.Signal | |
Float | |
Main.display | |
_Tuple2 | |
ball | |
Float | |
Float | |
Float | |
Float | |
playerL | |
score | |
Float | |
Float | |
Float | |
Float | |
playerR | |
score | |
Float | |
Float | |
Float | |
Float | |
state | |
Main.State | |
element | |
Graphics.Element.ElementPrim | |
props | |
color | |
Maybe.Maybe | |
Color.Color | |
height | |
hover | |
_Tuple0 | |
href | |
JavaScript.JSString | |
opacity | |
Float | |
JavaScript.JSString | |
width | |
Main.gameHeight | |
number | |
Main.gameState | |
Signal.Signal | |
ball | |
Float | |
Float | |
Float | |
Float | |
playerL | |
score | |
Float | |
Float | |
Float | |
Float | |
playerR | |
score | |
Float | |
Float | |
Float | |
Float | |
state | |
Main.State | |
Main.gameWidth | |
number | |
Main.halfHeight | |
number | |
Main.halfWidth | |
number | |
Main.input | |
Signal.Signal | |
delta | |
Float | |
dirL | |
dirR | |
space | |
Bool | |
Main.main | |
Signal.Signal | |
element | |
Graphics.Element.ElementPrim | |
props | |
color | |
Maybe.Maybe | |
Color.Color | |
height | |
hover | |
_Tuple0 | |
href | |
JavaScript.JSString | |
opacity | |
Float | |
JavaScript.JSString | |
width | |
Main.make | |
Float | |
Float | |
_List | |
_Tuple2 | |
number | |
number | |
alpha | |
Float | |
form | |
Graphics.Collage.BasicForm | |
scale | |
Float | |
theta | |
Float | |
Float | |
Float | |
Main.make' | |
Float | |
Float | |
_List | |
_Tuple2 | |
number | |
number | |
alpha | |
Float | |
form | |
Graphics.Collage.BasicForm | |
scale | |
Float | |
theta | |
Float | |
Float | |
Float | |
Main.msg | |
String | |
Main.near | |
number | |
number | |
number | |
Bool | |
Main.player | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
Main.pongGreen | |
Color.Color | |
Main.stepBall | |
Float | |
Float | |
Float | |
Float | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
Float | |
Float | |
Float | |
Float | |
Main.stepGame | |
delta | |
Float | |
dirL | |
dirR | |
space | |
Bool | |
ball | |
Float | |
Float | |
Float | |
Float | |
playerL | |
score | |
Float | |
Float | |
Float | |
Float | |
playerR | |
score | |
Float | |
Float | |
Float | |
Float | |
state | |
Main.State | |
ball | |
Float | |
Float | |
Float | |
Float | |
playerL | |
score | |
Float | |
Float | |
Float | |
Float | |
playerR | |
score | |
Float | |
Float | |
Float | |
Float | |
state | |
Main.State | |
Main.stepObj | |
number | |
number | |
number | |
number | |
number | |
number | |
number | |
number | |
number | |
Main.stepPlyr | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
score | |
Float | |
Float | |
Float | |
Float | |
Main.stepV | |
number | |
Bool | |
Bool | |
number | |
Main.textGreen | |
Color.Color | |
Main.txt | |
Text.Text | |
Text.Text | |
String | |
element | |
Graphics.Element.ElementPrim | |
props | |
color | |
Maybe.Maybe | |
Color.Color | |
height | |
hover | |
_Tuple0 | |
href | |
JavaScript.JSString | |
opacity | |
Float | |
JavaScript.JSString | |
width | |
Main.within | |
number | |
number | |
number | |
number | |
Bool | |
Text | |
Text | |
Text | |
link | |
color | |
height | |
Basics | |
Signal | |
List | |
Maybe | |
Time | |
Prelude | |
Graphics.Element | |
Color | |
Graphics.Collage | |
Keyboard | |
Keyboard | |
Window | |
Window | |
Main.State | |
Main.Play | |
Main.Pause | |
Main.Input | |
space | |
Bool | |
dirL | |
dirR | |
delta | |
Time.Time | |
Main.Ball | |
Float | |
Float | |
Float | |
Float | |
Main.Player | |
Float | |
Float | |
Float | |
Float | |
score | |
Main.Game | |
state | |
Main.State | |
ball | |
Main.Ball | |
playerL | |
Main.Player | |
playerR | |
Main.Player |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment