forked from GitHub/gf-core
18 lines
310 B
Plaintext
18 lines
310 B
Plaintext
abstract Smart = {
|
|
|
|
flags startcat = Command ;
|
|
|
|
cat
|
|
Command ;
|
|
Kind ;
|
|
Action Kind ;
|
|
Device Kind ;
|
|
fun
|
|
CAction : (k : Kind) -> Action k -> Device k -> Command ;
|
|
DKindOne : (k : Kind) -> Device k ;
|
|
light, fan : Kind ;
|
|
switchOn, switchOff : (k : Kind) -> Action k ;
|
|
dim : Action light ;
|
|
}
|
|
|