120 lines
3.2 KiB
Standard ML
120 lines
3.2 KiB
Standard ML
signature APP_WITH =
|
|
sig
|
|
val windowResize: AppType.app_type * int * int -> AppType.app_type
|
|
val triangleStage: AppType.app_type * AppType.triangle_stage
|
|
-> AppType.app_type
|
|
val newTriangle:
|
|
AppType.app_type
|
|
* Real32.real
|
|
* Real32.real
|
|
* Real32.real
|
|
* Real32.real
|
|
* Real32.real
|
|
* Real32.real
|
|
-> AppType.app_type
|
|
end
|
|
|
|
structure AppWith :> APP_WITH =
|
|
struct
|
|
open AppType
|
|
|
|
fun triangleStage (app: app_type, newTriangleStage: triangle_stage) : app_type =
|
|
let
|
|
val
|
|
{ triangleStage = _
|
|
, triangles
|
|
, xClickPoints
|
|
, yClickPoints
|
|
, windowWidth
|
|
, windowHeight
|
|
, graphLines
|
|
} = app
|
|
in
|
|
{ triangleStage = newTriangleStage
|
|
, triangles = triangles
|
|
, xClickPoints = xClickPoints
|
|
, yClickPoints = yClickPoints
|
|
, windowWidth = windowWidth
|
|
, windowHeight = windowHeight
|
|
, graphLines = graphLines
|
|
}
|
|
end
|
|
|
|
fun newTriangle (app: app_type, x1, y1, x2, y2, x3, y3) : app_type =
|
|
let
|
|
val
|
|
{ triangles
|
|
, triangleStage = _
|
|
, xClickPoints
|
|
, yClickPoints
|
|
, windowWidth
|
|
, windowHeight
|
|
, graphLines
|
|
} = app
|
|
|
|
val newTriangle = {x1 = x1, y1 = y1, x2 = x2, y2 = y2, x3 = x3, y3 = y3}
|
|
val newTriangles = newTriangle :: triangles
|
|
in
|
|
{ triangleStage = NO_TRIANGLE
|
|
, triangles = newTriangles
|
|
, xClickPoints = xClickPoints
|
|
, yClickPoints = yClickPoints
|
|
, windowWidth = windowWidth
|
|
, windowHeight = windowHeight
|
|
, graphLines = graphLines
|
|
}
|
|
end
|
|
|
|
fun helpWindowResize
|
|
(app: app_type, windowWidth, windowHeight, wStart, wFinish, hStart, hFinish) :
|
|
app_type =
|
|
let
|
|
val
|
|
{ xClickPoints = _
|
|
, yClickPoints = _
|
|
, windowWidth = _
|
|
, windowHeight = _
|
|
, graphLines = _
|
|
, triangles
|
|
, triangleStage
|
|
} = app
|
|
val xClickPoints = ClickPoints.generate (wStart, wFinish)
|
|
val yClickPoints = ClickPoints.generate (hStart, hFinish)
|
|
val graphLines =
|
|
GraphLines.generate
|
|
(windowWidth, windowHeight, xClickPoints, yClickPoints)
|
|
in
|
|
{ xClickPoints = xClickPoints
|
|
, yClickPoints = yClickPoints
|
|
, graphLines = graphLines
|
|
, triangles = triangles
|
|
, triangleStage = triangleStage
|
|
, windowWidth = windowWidth
|
|
, windowHeight = windowHeight
|
|
}
|
|
end
|
|
|
|
fun windowResize (app: app_type, windowWidth, windowHeight) =
|
|
if windowWidth = windowHeight then
|
|
helpWindowResize
|
|
(app, windowWidth, windowHeight, 0, windowWidth, 0, windowHeight)
|
|
else if windowWidth > windowHeight then
|
|
let
|
|
val difference = windowWidth - windowHeight
|
|
val wStart = difference div 2
|
|
val wFinish = wStart + windowHeight
|
|
in
|
|
helpWindowResize
|
|
(app, windowWidth, windowHeight, wStart, wFinish, 0, windowHeight)
|
|
end
|
|
else
|
|
let
|
|
val difference = windowHeight - windowWidth
|
|
val hStart = difference div 2
|
|
val hFinish = hStart + windowWidth
|
|
in
|
|
helpWindowResize
|
|
(app, windowWidth, windowHeight, 0, windowWidth, hStart, hFinish)
|
|
end
|
|
end
|