Skip to content

Instantly share code, notes, and snippets.

@edgerunner
edgerunner / SketchSystems.spec
Last active April 30, 2019 14:15
SmartField
SmartField
has default value?
yes? -> selected
no? -> unknown
unknown
FOCUS -> selecting unknown
# here be popups
selecting
SELECT -> selected
selecting unknown
SmartNote
UNFOCUS -> blurred
FOCUS 1 -> SmartField 1
FOCUS 2 -> SmartField 2
FOCUS 3 -> SmartField 3
blurred
FOCUS -> focused
focused
SmartField 1
SELECT -> SmartField 2
@edgerunner
edgerunner / SketchSystems.spec
Last active April 30, 2019 14:28
SmartTime keyboard 2
SmartTime keyboard 2
default
KEY 0 -> digit 0
KEY 1 -> digit 1
KEY 2 -> digit 2
KEY 3-9 -> digit 3-9
digit 0
enter -> t0000
KEY 0-5 -> digit 0 0-5
KEY 6-9 -> hour 06-09
@edgerunner
edgerunner / SketchSystems.spec
Last active October 21, 2019 11:23
SmartTime keyboard 3
SmartTime keyboard 3
# entering the first digit of the hour
digit-1
# assume 00:00
ENTER -> complete
# first digit can be 0,1 or 2
KEY 0-1 -> digit-2
# 2 is the special case because it can only continue with 0-3
@edgerunner
edgerunner / SketchSystems.spec
Last active January 30, 2020 19:37
SmartMessage for calving-completed &
SmartMessage for calving-completed &
Calves
set calves to 1 -> 1 calf
set calves to 2 -> 2 calves
set calves to 3 -> 3 calves
1 calf*
2 calves
set both -> Both
set one-another -> One - another
Both
@edgerunner
edgerunner / SketchSystems.spec
Last active December 9, 2020 09:41
QuickThaw UI
QuickThaw UI
Login
Pending login
correct token -> Logged in
incorrect token -> Login
Login request
submit login request -> Manual token
Manual token
manual token entered -> Pending login
@edgerunner
edgerunner / SketchSystems.spec
Last active August 8, 2019 23:37
CowGrid Cell&
CowGrid Cell&
Focus state
select this cell -> View mode
select range ending on this cell -> View mode
select range including this cell -> Cursor elsewhere
select another cell or range -> Out of selection
Out of selection
In selection
Cursor on cell
select this cell -> Edit mode
@edgerunner
edgerunner / SketchSystems.spec
Created September 10, 2019 12:38
QuickThaw v3
QuickThaw v3
Idle
start process -> Process
Process
Heating
heating setpoint -> Loading
Loading
Ready L
button pressed -> Opening L
Opening L
@edgerunner
edgerunner / spelling.hs
Last active October 17, 2019 11:19
Spelling book generator
speller :: [[Char]] -> [Char]
speller list =
spell (filter ((/=) "") list)
spell :: [[Char]] -> [Char]
spell [] = []
spell [single] =
isFor single
spell [first, second] =
isFor first ++ " and " ++ isFor second