1 definition module mTaskLCD
13 :: Button = RightButton | UpButton | DownButton | LeftButton | SelectButton | NoButton
16 begin :: (v LCD Expr) (v Int p) (v Int q) -> v () Expr
17 print :: (v LCD Expr) (v t p) -> v Int Expr | stringQuotes t // returns bytes written
18 setCursor :: (v LCD Expr) (v Int p) (v Int q) -> v () Expr
19 liquidCrystal0 :: [DigitalPin] ((v LCD Expr)->Main (v b q)) -> Main (v b q)
20 LCD :: Int Int [DigitalPin] ((v LCD Expr)->Main (v b q)) -> Main (v b q)
21 scrollLeft :: (v LCD Expr) -> v () Expr
22 scrollRight :: (v LCD Expr) -> v () Expr
23 pressed :: (v Button Expr) -> v Bool Expr
28 printAt :: (v LCD Expr) (v Int b) (v Int c) (v t e) -> v Int Stmt | lcd, seq v & stringQuotes t
29 keySwitch :: (a Int b) (a c d,a c e,a c f,a c g,a c h,a c a0) -> a c Stmt | arith, boolExpr, seq a & If a h a0 b0 & If a g b0 c0 & If a f c0 d0 & If a e d0 e0 & If a d e0 f0 & type c
31 derive toGenDynamic LCD
32 derive fromGenDynamic LCD
34 instance toCode Button
42 rightButton :== lit RightButton
43 upButton :== lit UpButton
44 downButton :== lit DownButton
45 leftButton :== LeftButton
46 selectButton :== lit SelectButton
47 noButton :== lit NoButton