huckleberry 0.9.0.1 → 0.9.0.2
raw patch · 5 files changed
+1124/−1127 lines, 5 filesdep ~HUnitdep ~basedep ~bytestring
Dependency ranges changed: HUnit, base, bytestring, mtl, serialport
Files
- IchigoJam.hs +0/−93
- Language/Huckleberry/V10101.hs +0/−1014
- huckleberry.cabal +17/−20
- src/IchigoJam.hs +93/−0
- src/Language/Huckleberry/V10101.hs +1014/−0
− IchigoJam.hs
@@ -1,93 +0,0 @@-module IchigoJam (- Handle(Handle)- ,open- ,opend- ,close- ,send- ,recv- ,led- ,play- ,btn- ) where---import qualified Data.ByteString.Char8 as B-import qualified System.Hardware.Serialport as S-import Control.Monad(forM_,foldM,forever)-import Control.Concurrent(ThreadId,forkIO,killThread,threadDelay)-----led :: Handle -> Bool -> IO ()-led h on = do- let flag = case on of- True -> "1"- False -> "0"- send h $ "LED " ++ flag ++ "\n"- r <- recv h 4- return ()---play :: Handle -> String -> IO ()-play h score = do- send h $ "PLAY \"" ++ score ++ "\"\n"- r <- recv h 4- return ()- --btn :: Handle -> IO Bool-btn h = do- send h $ "PRINT BTN ()\n"- r <- recv h 4 -- [TODO] convert to Bool- putStrLn r- return True------defaultSendDelay = 50 * 1000-defaultRecvDelay = 50 * 1000---data Handle = Handle- { port :: S.SerialPort- , sendDelay :: Int- , recvDelay :: Int- }---open :: FilePath -> Int -> Int -> IO Handle-open path sd rd = do- p <- S.openSerial path S.defaultSerialSettings {- S.commSpeed = S.CS115200- }- return $ Handle p sd rd--opend path = open path defaultSendDelay defaultRecvDelay---close :: Handle -> IO()-close (Handle p sd rd) = do- S.closeSerial p---send :: Handle -> String -> IO()-send (Handle p sd _) s = do- forM_ s (\c -> do- S.send p $ B.singleton c- S.flush p- threadDelay sd- )---recv :: Handle -> Int -> IO String-recv (Handle p _ rd) l = do- bs <- foldM( \acc _-> do- b <- S.recv p 1- threadDelay rd- return $ acc `B.append` b- ) B.empty [1..l]- return $ B.unpack bs-
− Language/Huckleberry/V10101.hs
@@ -1,1014 +0,0 @@-{-# LANGUAGE GADTs #-}--{-|-The EDSL Provides bridge between IchigoJam BASIC and Haskell.--References for IchigoJam BASIC are available at-<http://ichigojam.net/IchigoJam-1.0.1.html>.---For example,-\"Jumping rome girl Sacchan\" <http://pcn.club/ns/diprogram.en.html>-could be expressed like this.--@-sacchan = do- label 10 $ y=:25 >> v=:99 >> x=:17 >> u=:5 >> s=:0- label 20 $ ifThen (v\/=99) $ y=:y+v >> v=:v+1- label 30 $ ifThen (25\<y) $ y=:25 >> v=:99 >> s=:s+1- label 40 $ x=:x+u- label 50 $ ifThen (17\<x) $ u=:u-1- label 60 $ ifThen (x\<17) $ u=:u+1- label 70 $ k=:inkey- label 80 $ ifThen (k==32) $ v=:(-3)- label 90 $ cls- label 100 $ locate 17 y >> print "\@"- label 110 $ locate x 25 >> print \"-\"- label 120 $ locate 0 0 >> print (\"SCORE:\" ++ s)- label 130 $ ifThen (pre(y==25)*pre(x==17)) end- label 140 $ wait 2- label 150 $ goto 20-@---Get IchigoJam BASIC code like this.--@-showSacchan = putStr $ translate sacchan-@--Also, you can send the code to IchigoJam directly.--@-sendSacchan = do- h \<- IJ.opend "\/dev\/ttyUSB0"- IJ.send h $ translate sacchan- IJ.close h-@---To use this, your code should begin with this code block.--@-\{\-\# LANGUAGE OverloadedStrings \#\-\}-import Prelude hiding (print,(++),(+),(-),(*),(\/),(%),(==),(\/=),(>=),(>),(\<=),(\<),(&&),(||),not,abs,return)-import qualified Prelude as P-import qualified IchigoJam as IJ-import Language.Huckleberry.V10101-@--For more example.-<https://github.com/mitsuji/huckleberry>---() is 'pre'.--Put line number by 'label'.--\[n\] is 'arr'.--LET is 'let''.--\= is '=:'.--\; is '++'.--IN is 'in''.--& is '.&.'.--| is '.|.'.--^ is 'xor'.--\>\> is 'shiftR'.--\<\< is 'shiftL'.--~ is 'complement'.---}-module Language.Huckleberry.V10101 (- translate- ,pre- ,label- ,ifThenElse- ,ifThen- ,forStepNext- ,forNext- ,a- ,b- ,c- ,d- ,e- ,f- ,g- ,h- ,i- ,j- ,k- ,l- ,m- ,n- ,o- ,p- ,q- ,r- ,s- ,t- ,u- ,v- ,w- ,x- ,y- ,z- ,arr- -- * Commands for beginners- ,let'- ,(=:)- ,print- ,(++)- ,led- ,wait- ,run- ,list- ,list'- ,goto- ,end- ,btn- ,new- ,locate- ,cls- ,rnd- ,save- ,save'- ,load- ,load'- ,files- ,beep- ,beep'- ,play- ,play'- ,tempo- ,(+)- ,(-)- ,(*)- ,(/)- ,(%)- ,input- ,tick- ,clt- ,inkey- ,chr- ,chr'- ,asc- ,scroll- ,scr- ,scr'- ,vpeek- ,vpeek'- ,(==)- ,(/=)- ,(>=)- ,(>)- ,(<=)- ,(<)- ,(&&)- ,(||)- ,not- -- * Commands for experts- ,clv- ,clear- ,clk- ,abs- ,gosub- ,return- ,sound- ,free- ,ver- ,renum- ,renum'- ,lrun- ,file- ,sleep- ,video- ,peek- ,poke- ,clp- ,help- ,ana- ,out- ,out'- ,in'- ,in''- ,hex- ,hex'- ,bin- ,bin'- ,(.&.)- ,(.|.)- ,xor- ,shiftR- ,shiftL- ,complement- ,bps- ,i2cr- ,i2cw- ,usr-) where---import Prelude hiding (print,(++),(+),(-),(*),(/),(%),(==),(/=),(>=),(>),(<=),(<),(&&),(||),not,abs,return)-import Data.Int(Int16)-import Data.List(intercalate)-import qualified Prelude as P-import qualified Data.String as S-import Control.Monad.Writer(Writer,execWriter,tell)--import qualified IchigoJam as IJ------data Expr r where- - Number :: (Num r) => r -> Expr r- Str :: (S.IsString r) => r -> Expr r- - -- Bracket operator- Pre :: Expr Int16 -> Expr Int16-- A :: Expr Int16- B :: Expr Int16- C :: Expr Int16- D :: Expr Int16- E :: Expr Int16- F :: Expr Int16- G :: Expr Int16- H :: Expr Int16- I :: Expr Int16- J :: Expr Int16- K :: Expr Int16- L :: Expr Int16- M :: Expr Int16- N :: Expr Int16- O :: Expr Int16- P :: Expr Int16- Q :: Expr Int16- R :: Expr Int16- S :: Expr Int16- T :: Expr Int16- U :: Expr Int16- V :: Expr Int16- W :: Expr Int16- X :: Expr Int16- Y :: Expr Int16- Z :: Expr Int16- Array :: Expr Int16 -> Expr Int16-- Concat :: (Show a, Show b, S.IsString c) => Expr a -> Expr b -> Expr c--- --- -- Commands for beginners- ---- -- [TODO] [num]：0(button)/UP/DOWN/RIGHT/LEFT/SPACE, defautl 0- Btn :: Expr Int16 -> Expr Int16-- Rnd :: Expr Int16 -> Expr Int16- - Add :: Expr Int16 -> Expr Int16 -> Expr Int16- Subtract :: Expr Int16 -> Expr Int16 -> Expr Int16- Multiply :: Expr Int16 -> Expr Int16 -> Expr Int16- Divide :: Expr Int16 -> Expr Int16 -> Expr Int16- Remind :: Expr Int16 -> Expr Int16 -> Expr Int16- - Tick :: Expr Int16- Inkey :: Expr Int16- - Chr :: [Expr Int16] -> Expr String- - Asc :: String -> Expr Int16-- Scr :: Expr Int16 -> Expr Int16 -> Expr Int16- Scr' :: Expr Int16- - Equal :: Expr Int16 -> Expr Int16 -> Expr Int16- NotEqual :: Expr Int16 -> Expr Int16 -> Expr Int16- GreaterThanEqual :: Expr Int16 -> Expr Int16 -> Expr Int16- GreaterThan :: Expr Int16 -> Expr Int16 -> Expr Int16- LessThanEqual :: Expr Int16 -> Expr Int16 -> Expr Int16- LessThan :: Expr Int16 -> Expr Int16 -> Expr Int16- And :: Expr Int16 -> Expr Int16 -> Expr Int16- Or :: Expr Int16 -> Expr Int16 -> Expr Int16- Not :: Expr Int16 -> Expr Int16--- --- -- Commands for experts- --- Abs :: Expr Int16 -> Expr Int16- Sound :: Expr Int16- Free :: Expr Int16- Ver :: Expr Int16- File :: Expr Int16- Peek :: Expr Int16 -> Expr Int16- Ana :: Expr Int16 -> Expr Int16-- In' :: Expr Int16 -> Expr Int16- In'' :: Expr Int16-- Hex :: Expr Int16 -> Expr Int16 -> Expr String- Hex' :: Expr Int16 -> Expr String-- Bin :: Expr Int16 -> Expr Int16 -> Expr String- Bin' :: Expr Int16 -> Expr String-- BitAnd :: Expr Int16 -> Expr Int16 -> Expr Int16- BitOr :: Expr Int16 -> Expr Int16 -> Expr Int16- XOr :: Expr Int16 -> Expr Int16 -> Expr Int16- ShiftR :: Expr Int16 -> Expr Int16 -> Expr Int16- ShiftL :: Expr Int16 -> Expr Int16 -> Expr Int16- Complement :: Expr Int16 -> Expr Int16-- I2CR :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16- I2CW :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16- USR :: Expr Int16 -> Expr Int16 -> Expr Int16- ---- Num Literal-instance (Num a) => Num (Expr a) where- (+) (Number n1) (Number n2) = Number (n1 P.+ n2)- (-) (Number n1) (Number n2) = Number (n1 P.- n2)- (*) (Number n1) (Number n2) = Number (n1 P.* n2)- negate (Number n) = Number (negate n)- abs (Number n) = Number (P.abs n)- signum (Number n) = Number (signum n)- fromInteger n = Number (fromInteger n)- ---- OverloadedStrings-instance (S.IsString a) => S.IsString (Expr a) where- fromString s = Str (S.fromString s)-----data Stmt where-- Label :: Int16 -> [Stmt] -> Stmt-- -- IF could be nested- IfThenElse :: Expr Int16 -> [Stmt] -> [Stmt] -> Stmt- IfThen :: Expr Int16 -> [Stmt] -> Stmt- ForStepNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> [Stmt] -> Stmt- ForNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> [Stmt] -> Stmt- -- --- -- Commands for beginners- --- Let' :: Expr Int16 -> [Expr Int16] -> Stmt- Assign :: Expr Int16 -> Expr Int16 -> Stmt-- Print :: (Show r) => Expr r -> Stmt-- Led :: Expr Int16 -> Stmt- Wait :: Expr Int16 -> Stmt- Run :: Stmt-- List :: Expr Int16 -> Expr Int16 -> Stmt- List' :: Stmt-- - Goto :: Expr Int16 -> Stmt- End :: Stmt-- New :: Stmt- Locate :: Expr Int16 -> Expr Int16 -> Stmt- Cls :: Stmt-- Save :: Expr Int16 -> Stmt- Save' :: Stmt- - Load :: Expr Int16 -> Stmt- Load' :: Stmt- - Files :: Expr Int16 -> Stmt-- Beep :: Expr Int16 -> Expr Int16 -> Stmt- Beep' :: Stmt-- Play :: String -> Stmt- Play' :: Stmt- - Tempo :: Expr Int16 -> Stmt-- Input :: String -> Expr Int16 -> Stmt- Clt :: Stmt-- Scroll :: Expr Int16 -> Stmt--- --- -- Commands for experts- --- Clv :: Stmt- Clk :: Stmt-- Gosub :: Expr Int16 -> Stmt- Return :: Stmt-- Renum :: Expr Int16 -> Stmt- Renum' :: Stmt- - LRun :: Expr Int16 -> Stmt-- Sleep :: Stmt- Video :: Expr Int16 -> Stmt- Poke :: Expr Int16 -> Expr Int16 -> Stmt- Clp :: Stmt- Help :: Stmt-- Out :: Expr Int16 -> Expr Int16 -> Stmt- Out' :: Expr Int16 -> Stmt-- Bps :: Expr Int16 -> Stmt- -----reify :: (Show r) => Expr r -> String--reify (Number v) = show v-reify (Str v) = show v--reify (Pre v) = concat ["(", reify v, ")"]--reify (A) = "A"-reify (B) = "B"-reify (C) = "C"-reify (D) = "D"-reify (E) = "E"-reify (F) = "F"-reify (G) = "G"-reify (H) = "H"-reify (I) = "I"-reify (J) = "J"-reify (K) = "K"-reify (L) = "L"-reify (M) = "M"-reify (N) = "N"-reify (O) = "O"-reify (P) = "P"-reify (Q) = "Q"-reify (R) = "R"-reify (S) = "S"-reify (T) = "T"-reify (U) = "U"-reify (V) = "V"-reify (W) = "W"-reify (X) = "X"-reify (Y) = "Y"-reify (Z) = "Z"-reify (Array i) = concat ["[", reify i, "]"]--reify (Concat v1 v2) = concat [reify v1, ";", reify v2]--reify (Btn v) = concat ["BTN(", reify v, ")"]-reify (Rnd v) = concat ["RND(", reify v, ")"]--reify (Add v1 v2) = concat [reify v1, "+", reify v2]-reify (Subtract v1 v2) = concat [reify v1, "-", reify v2]-reify (Multiply v1 v2) = concat [reify v1, "*", reify v2]-reify (Divide v1 v2) = concat [reify v1, "/", reify v2]-reify (Remind v1 v2) = concat [reify v1, "%", reify v2]--reify (Tick) = "TICK()"-reify (Inkey) = "INKEY()"-reify (Chr v) = concat ["CHR$(",(intercalate "," (fmap reify v)), ")"]-reify (Asc v) = concat ["ASC(\"", v, "\")"]-reify (Scr') = concat ["SCR()"]-reify (Scr v1 v2) = concat ["SCR(", reify v1, ",", reify v2, ")"]--reify (Equal v1 v2) = concat [reify v1, "=", reify v2]-reify (NotEqual v1 v2) = concat [reify v1, "!=", reify v2]-reify (GreaterThanEqual v1 v2) = concat [reify v1, ">=", reify v2]-reify (GreaterThan v1 v2) = concat [reify v1, ">", reify v2]-reify (LessThanEqual v1 v2) = concat [reify v1, "<=", reify v2]-reify (LessThan v1 v2) = concat [reify v1, "<", reify v2]-reify (And v1 v2) = concat [reify v1, "AND", reify v2]-reify (Or v1 v2) = concat [reify v1, "OR", reify v2]-reify (Not v) = concat ["!", reify v]--reify (Abs v) = concat ["ABS(", reify v, ")"]-reify (Sound) = "SOUND()"-reify (Free) = "FREE()"-reify (Ver) = "VER()"-reify (File) = "FILE()"-reify (Peek v) = concat ["PEEK(", reify v, ")"]-reify (Ana v) = concat ["ANA(", reify v, ")"]-reify (In' v) = concat ["IN(", reify v, ")"]-reify (In'') = concat ["IN()"]-reify (Hex v1 v2) = concat ["HEX$(", reify v1, ",", reify v2, ")"]-reify (Hex' v) = concat ["HEX$(", reify v, ")"]-reify (Bin v1 v2) = concat ["BIN$(", reify v1, ",", reify v2, ")"]-reify (Bin' v) = concat ["BIN$(", reify v, ")"]--reify (BitAnd v1 v2) = concat [reify v1, "&", reify v2]-reify (BitOr v1 v2) = concat [reify v1, "|", reify v2]-reify (XOr v1 v2) = concat [reify v1, "^", reify v2]-reify (ShiftR v1 v2) = concat [reify v1, ">>", reify v2]-reify (ShiftL v1 v2) = concat [reify v1, "<<", reify v2]-reify (Complement v) = concat ["~", reify v]--reify (I2CR v1 v2 v3 v4 v5) = concat ["I2CR(", reify v1, ",", reify v2, ",", reify v3, ",", reify v4, ",", reify v5, ")"]-reify (I2CW v1 v2 v3 v4 v5) = concat ["I2CW(", reify v1, ",", reify v2, ",", reify v3, ",", reify v4, ",", reify v5, ")"]-reify (USR v1 v2) = concat ["USR(", reify v1, ",", reify v2, ")"]----lToString :: [Stmt] -> String-lToString st = intercalate ":" $ map toString st-- -toString :: Stmt -> String--toString (Label n st) = concat [(show n), " ", lToString st]-toString (IfThenElse c st1 st2) = concat ["IF", reify c, lToString st1, "ELSE", lToString st2]-toString (IfThen c st) = concat ["IF", reify c, lToString st]-toString (ForStepNext v ini inc step st) = concat ["FOR", reify v, "=", reify ini, "TO", reify inc, "STEP", reify step, ":", lToString st, ":NEXT"]-toString (ForNext v ini inc st) = concat ["FOR", reify v, "=", reify ini, "TO", reify inc, ":", lToString st, ":NEXT"]-toString (Let' v1 v2) = concat ["LET", reify v1, ",", (intercalate "," (fmap reify v2))]-toString (Assign v1 v2) = concat [reify v1, "=", reify v2]-toString (Print v) = concat ["?", reify v]-toString (Led v) = concat ["LED", reify v]-toString (Wait v) = concat ["WAIT", reify v]-toString (Run) = "RUN"-toString (List v1 v2) = concat ["LIST", reify v1, ",", reify v2]-toString (List') = "LIST"-toString (Goto v) = concat ["GOTO", reify v]-toString (End) = "END"-toString (New) = "NEW"-toString (Locate v1 v2) = concat ["LC", reify v1, ",", reify v2]-toString (Cls) = "CLS"-toString (Save v) = concat ["SAVE", reify v]-toString (Save') = "SAVE"-toString (Load v) = concat ["LOAD", reify v]-toString (Load') = "LOAD"-toString (Files v) = concat ["FILES", reify v]-toString (Beep v1 v2) = concat ["BEEP", reify v1, ",", reify v2]-toString (Beep') = "BEEP"-toString (Play v) = concat ["PLAY\"", v, "\""]-toString (Play') = "PLAY"-toString (Tempo v) = concat ["TEMPO", reify v]-toString (Input v1 v2) = concat ["INPUT\"", v1, "\",", reify v2]-toString (Clt) = "CLT"-toString (Scroll v) = concat ["SCROLL", reify v]-toString (Clv) = "CLV"-toString (Clk) = "CLK"-toString (Gosub v) = concat ["GOSUB", reify v]-toString (Return) = "RETURN"-toString (Renum v) = concat ["RENUM", reify v]-toString (Renum') = "RENUM"-toString (LRun v) = concat ["LRUN", reify v]-toString (Sleep) = "SLEEP"-toString (Video v) = concat ["VIDEO", reify v]-toString (Poke v1 v2) = concat ["POKE", reify v1, ",", reify v2]-toString (Clp) = "CLP"-toString (Help) = "HELP"-toString (Out v1 v2) = concat ["OUT", reify v1, ",", reify v2]-toString (Out' v) = concat ["OUT", reify v]-toString (Bps v) = concat ["BPS", reify v]-----type Code = Writer [Stmt]--{-| Translate huckleberry code to IchigoJam BASIC code.---}-translate :: Code() -> String-translate c = (intercalate "\n" $ map toString (execWriter c)) P.++ "\n"--{-| Bracket operator.--the expression--@-pre(y==25)*pre(x==17)-@--evaluated as this expression in IchigoJam BASIC. --@-(Y=25)*(X=17)-@---}-pre = Pre--{-| Line number statement.--this expression--@-label 40 $ x=:x+u-@--evaluated as this statement in IchigoJam BASIC.--@-40 X=X+U-@---}-label :: Int16 -> Code() -> Code()-label l st = tell [Label l (execWriter st)]--{-| IF .. THEN .. ELSE .. statement.---}-ifThenElse :: Expr Int16 -> Code() -> Code() -> Code()-ifThenElse c st1 st2 = tell [IfThenElse c (execWriter st1) (execWriter st2)]--{-| IF .. THEN .. statement.---}-ifThen :: Expr Int16 -> Code() -> Code()-ifThen c st = tell [IfThen c (execWriter st)]--{-| FOR .. = .. TO .. STEP .. .. NEXT statement.---}-forStepNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Code() -> Code()-forStepNext v ini inc step st = tell [ForStepNext v ini inc step (execWriter st)]--{-| FOR .. = .. TO .. .. NEXT statement.---}-forNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Code() -> Code()-forNext v ini inc st = tell [ForNext v ini inc (execWriter st)]---a = A-b = B-c = C-d = D-e = E-f = F-g = G-h = H-i = I-j = J-k = K-l = L-m = M-n = N-o = O-p = P-q = Q-r = R-s = S-t = T-u = U-v = V-w = W-x = X-y = Y-z = Z--{-| Array valiables expression.--This expression--@-arr 3-@--evaluated as this expression in IchigoJam BASIC.--@-\[3\]-@--}-arr = Array--------- Commands for beginners-----{-| LET statement.--This expression--@-let' a [3]-@--evaluated as this statement in IchigoJam BASIC. --@-LET A,3-@--Also, this expression--@-let' (arr 3) [11,12,13]-@--evaluated as this statement in IchigoJam BASIC.--@-LET[3],11,12,13-@--}-let' :: Expr Int16 -> [Expr Int16] -> Code()-let' v1 v2 = tell [Let' v1 v2]--{-| Assignment operator.(\=)--This expression--@-x =: x+u-@--evaluated as this statement in IchigoJam BASIC.--@-X=X+U-@---}-(=:) :: Expr Int16 -> Expr Int16 -> Code()-(=:) v1 v2 = tell [Assign v1 v2]-infix 2 =:--{-| PRINT statement.---}-print :: (Show r) => Expr r -> Code()-print x = tell [Print x]--{-| Concatation operator.(;)---}-(++) :: (Show a, Show b, S.IsString c) => Expr a -> Expr b -> Expr c-(++) = Concat-infixl 2 ++--led :: Expr Int16 -> Code()-led s = tell [Led s]--wait :: Expr Int16 -> Code()-wait t = tell [Wait t]--run :: Code()-run = tell [Run]--list :: Expr Int16 -> Expr Int16 -> Code()-list v1 v2 = tell [List v1 v2]--list' :: Code()-list' = tell [List']--goto :: Expr Int16 -> Code()-goto t = tell [Goto t]--end :: Code()-end = tell [End]--btn = Btn--new :: Code()-new = tell [New]--locate :: Expr Int16 -> Expr Int16 -> Code()-locate v1 v2 = tell [Locate v1 v2]--cls :: Code()-cls = tell [Cls]--rnd = Rnd--save :: Expr Int16 -> Code()-save v = tell [Save v]-save' :: Code()-save' = tell [Save']--load :: Expr Int16 -> Code()-load v = tell [Load v]-load' :: Code()-load' = tell [Load']--files :: Expr Int16 -> Code()-files v = tell [Files v]--beep :: Expr Int16 -> Expr Int16 -> Code()-beep v1 v2 = tell [Beep v1 v2]-beep' :: Code()-beep' = tell [Beep']--play :: String -> Code()-play c = tell [Play c]-play' :: Code()-play' = tell [Play']--tempo :: Expr Int16 -> Code()-tempo t = tell [Tempo t]--(+) = Add-infixl 6 +--(-) = Subtract-infixl 6 ---(*) = Multiply-infixl 7 *--(/) = Divide-infixl 7 /--(%) = Remind-infixl 7 %--input :: String -> Expr Int16 -> Code()-input s v = tell [Input s v]--tick = Tick--clt :: Code()-clt = tell [Clt]--inkey = Inkey--chr :: Expr Int16 -> Expr String-chr v = Chr [v]--{-|---}-chr' :: [Expr Int16] -> Expr String-chr' = Chr--asc = Asc--scroll :: Expr Int16 -> Code()-scroll v = tell [Scroll v]--scr = Scr-scr' = Scr'-vpeek = scr -- alias-vpeek' = scr' -- alias--(==) = Equal-infix 5 ==--(/=) = NotEqual-infix 5 /=--(>=) = GreaterThanEqual-infix 5 >=--(>) = GreaterThan-infix 5 >--(<=) = LessThanEqual-infix 5 <=--(<) = LessThan-infix 5 <--(&&) = And-infixr 4 &&--(||) = Or-infixr 3 ||--not = Not--------- Commands for experts-----clv :: Code()-clv = tell [Clv]-clear = clv -- alias--clk :: Code()-clk = tell [Clk]--abs = Abs--gosub :: Expr Int16 -> Code()-gosub t = tell [Gosub t]--return :: Code()-return = tell [Return]--sound = Sound--free = Free--ver = Ver--renum :: Expr Int16 -> Code()-renum v = tell [Renum v]-renum' :: Code()-renum' = tell [Renum']--lrun :: Expr Int16 -> Code()-lrun v = tell [LRun v]--file = File--sleep :: Code()-sleep = tell [Sleep]--video :: Expr Int16 -> Code()-video sw = tell [Video sw]--peek = Peek--poke :: Expr Int16 -> Expr Int16 -> Code()-poke v1 v2 = tell [Poke v1 v2]--clp :: Code()-clp = tell [Clp]--help :: Code()-help = tell [Help]--ana = Ana--out :: Expr Int16 -> Expr Int16 -> Code()-out v1 v2 = tell [Out v1 v2]-out' :: Expr Int16 -> Code()-out' v = tell [Out' v]--{-| IN expression.---}-in' = In'-in'' = In''--hex = Hex-hex' = Hex'--bin = Bin-bin' = Bin'--{-| Bitwise AND operator (&)---}-(.&.) = BitAnd-infixl 7 .&.--{-| Bitwise OR operator (|)---}-(.|.) = BitOr-infixl 6 .|.--{-| Bitwise XOR expression (^)---}-xor = XOr-infixl 7 `xor`--{-| Right shift expression (>>)---}-shiftR = ShiftR-infixl 7 `shiftR`--{-| Left shift expression (\<\<)---}-shiftL = ShiftL-infixl 7 `shiftL`--{-| Complement expression (~)---}-complement = Complement--bps :: Expr Int16 -> Code()-bps s = tell [Bps s]--i2cr = I2CR--i2cw = I2CW--usr = USR-
huckleberry.cabal view
@@ -1,40 +1,37 @@--- Initial huckleberry.cabal generated by cabal init. For further --- documentation, see http://haskell.org/cabal/users-guide/- name: huckleberry-version: 0.9.0.1+version: 0.9.0.2 synopsis: IchigoJam BASIC expressed in Haskell. description: The EDSL Provides bridge between IchigoJam BASIC and Haskell. license: BSD3 license-file: LICENSE author: Takamasa Mitsuji maintainer: tkms@mitsuji.org--- copyright: +-- copyright: 2010 Author Here category: Language build-type: Simple--- extra-source-files: +-- extra-source-files: cabal-version: >=1.10 library+ hs-source-dirs: src exposed-modules: IchigoJam, Language.Huckleberry.V10101- -- other-modules: other-extensions: GADTs- build-depends: base >=4.7 && <4.8, bytestring >=0.10 && <0.11, serialport >=0.4 && <0.5, mtl >=2.1- -- hs-source-dirs: + build-depends: base >= 4.7 && < 5+ , mtl+ , bytestring+ , serialport default-language: Haskell2010 +test-suite huckleberry-test+ type: exitcode-stdio-1.0+ hs-source-dirs: test+ main-is: test_Huckleberry_V10101.hs+ build-depends: base+ , huckleberry+ , HUnit+ ghc-options: -threaded -rtsopts -with-rtsopts=-N+ default-language: Haskell2010 source-repository head type: git location: https://github.com/mitsuji/huckleberry.git---test-suite test- hs-source-dirs: test- main-is: test_Huckleberry_V10101.hs- type: exitcode-stdio-1.0- build-depends: base,- HUnit >= 1.2.0.0,- huckleberry- default-language: Haskell2010-
+ src/IchigoJam.hs view
@@ -0,0 +1,93 @@+module IchigoJam (+ Handle(Handle)+ ,open+ ,opend+ ,close+ ,send+ ,recv+ ,led+ ,play+ ,btn+ ) where+++import qualified Data.ByteString.Char8 as B+import qualified System.Hardware.Serialport as S+import Control.Monad(forM_,foldM,forever)+import Control.Concurrent(ThreadId,forkIO,killThread,threadDelay)+++++led :: Handle -> Bool -> IO ()+led h on = do+ let flag = case on of+ True -> "1"+ False -> "0"+ send h $ "LED " ++ flag ++ "\n"+ r <- recv h 4+ return ()+++play :: Handle -> String -> IO ()+play h score = do+ send h $ "PLAY \"" ++ score ++ "\"\n"+ r <- recv h 4+ return ()+ ++btn :: Handle -> IO Bool+btn h = do+ send h $ "PRINT BTN ()\n"+ r <- recv h 4 -- [TODO] convert to Bool+ putStrLn r+ return True++++++defaultSendDelay = 50 * 1000+defaultRecvDelay = 50 * 1000+++data Handle = Handle+ { port :: S.SerialPort+ , sendDelay :: Int+ , recvDelay :: Int+ }+++open :: FilePath -> Int -> Int -> IO Handle+open path sd rd = do+ p <- S.openSerial path S.defaultSerialSettings {+ S.commSpeed = S.CS115200+ }+ return $ Handle p sd rd++opend path = open path defaultSendDelay defaultRecvDelay+++close :: Handle -> IO()+close (Handle p sd rd) = do+ S.closeSerial p+++send :: Handle -> String -> IO()+send (Handle p sd _) s = do+ forM_ s (\c -> do+ S.send p $ B.singleton c+ S.flush p+ threadDelay sd+ )+++recv :: Handle -> Int -> IO String+recv (Handle p _ rd) l = do+ bs <- foldM( \acc _-> do+ b <- S.recv p 1+ threadDelay rd+ return $ acc `B.append` b+ ) B.empty [1..l]+ return $ B.unpack bs+
+ src/Language/Huckleberry/V10101.hs view
@@ -0,0 +1,1014 @@+{-# LANGUAGE GADTs #-}++{-|+The EDSL Provides bridge between IchigoJam BASIC and Haskell.++References for IchigoJam BASIC are available at+<http://ichigojam.net/IchigoJam-1.0.1.html>.+++For example,+\"Jumping rome girl Sacchan\" <http://pcn.club/ns/diprogram.en.html>+could be expressed like this.++@+sacchan = do+ label 10 $ y=:25 >> v=:99 >> x=:17 >> u=:5 >> s=:0+ label 20 $ ifThen (v\/=99) $ y=:y+v >> v=:v+1+ label 30 $ ifThen (25\<y) $ y=:25 >> v=:99 >> s=:s+1+ label 40 $ x=:x+u+ label 50 $ ifThen (17\<x) $ u=:u-1+ label 60 $ ifThen (x\<17) $ u=:u+1+ label 70 $ k=:inkey+ label 80 $ ifThen (k==32) $ v=:(-3)+ label 90 $ cls+ label 100 $ locate 17 y >> print "\@"+ label 110 $ locate x 25 >> print \"-\"+ label 120 $ locate 0 0 >> print (\"SCORE:\" ++ s)+ label 130 $ ifThen (pre(y==25)*pre(x==17)) end+ label 140 $ wait 2+ label 150 $ goto 20+@+++Get IchigoJam BASIC code like this.++@+showSacchan = putStr $ translate sacchan+@++Also, you can send the code to IchigoJam directly.++@+sendSacchan = do+ h \<- IJ.opend "\/dev\/ttyUSB0"+ IJ.send h $ translate sacchan+ IJ.close h+@+++To use this, your code should begin with this code block.++@+\{\-\# LANGUAGE OverloadedStrings \#\-\}+import Prelude hiding (print,(++),(+),(-),(*),(\/),(%),(==),(\/=),(>=),(>),(\<=),(\<),(&&),(||),not,abs,return)+import qualified Prelude as P+import qualified IchigoJam as IJ+import Language.Huckleberry.V10101+@++For more example.+<https://github.com/mitsuji/huckleberry>+++() is 'pre'.++Put line number by 'label'.++\[n\] is 'arr'.++LET is 'let''.++\= is '=:'.++\; is '++'.++IN is 'in''.++& is '.&.'.++| is '.|.'.++^ is 'xor'.++\>\> is 'shiftR'.++\<\< is 'shiftL'.++~ is 'complement'.++-}+module Language.Huckleberry.V10101 (+ translate+ ,pre+ ,label+ ,ifThenElse+ ,ifThen+ ,forStepNext+ ,forNext+ ,a+ ,b+ ,c+ ,d+ ,e+ ,f+ ,g+ ,h+ ,i+ ,j+ ,k+ ,l+ ,m+ ,n+ ,o+ ,p+ ,q+ ,r+ ,s+ ,t+ ,u+ ,v+ ,w+ ,x+ ,y+ ,z+ ,arr+ -- * Commands for beginners+ ,let'+ ,(=:)+ ,print+ ,(++)+ ,led+ ,wait+ ,run+ ,list+ ,list'+ ,goto+ ,end+ ,btn+ ,new+ ,locate+ ,cls+ ,rnd+ ,save+ ,save'+ ,load+ ,load'+ ,files+ ,beep+ ,beep'+ ,play+ ,play'+ ,tempo+ ,(+)+ ,(-)+ ,(*)+ ,(/)+ ,(%)+ ,input+ ,tick+ ,clt+ ,inkey+ ,chr+ ,chr'+ ,asc+ ,scroll+ ,scr+ ,scr'+ ,vpeek+ ,vpeek'+ ,(==)+ ,(/=)+ ,(>=)+ ,(>)+ ,(<=)+ ,(<)+ ,(&&)+ ,(||)+ ,not+ -- * Commands for experts+ ,clv+ ,clear+ ,clk+ ,abs+ ,gosub+ ,return+ ,sound+ ,free+ ,ver+ ,renum+ ,renum'+ ,lrun+ ,file+ ,sleep+ ,video+ ,peek+ ,poke+ ,clp+ ,help+ ,ana+ ,out+ ,out'+ ,in'+ ,in''+ ,hex+ ,hex'+ ,bin+ ,bin'+ ,(.&.)+ ,(.|.)+ ,xor+ ,shiftR+ ,shiftL+ ,complement+ ,bps+ ,i2cr+ ,i2cw+ ,usr+) where+++import Prelude hiding (print,(++),(+),(-),(*),(/),(%),(==),(/=),(>=),(>),(<=),(<),(&&),(||),not,abs,return)+import Data.Int(Int16)+import Data.List(intercalate)+import qualified Prelude as P+import qualified Data.String as S+import Control.Monad.Writer(Writer,execWriter,tell)++import qualified IchigoJam as IJ++++++data Expr r where+ + Number :: (Num r) => r -> Expr r+ Str :: (S.IsString r) => r -> Expr r+ + -- Bracket operator+ Pre :: Expr Int16 -> Expr Int16++ A :: Expr Int16+ B :: Expr Int16+ C :: Expr Int16+ D :: Expr Int16+ E :: Expr Int16+ F :: Expr Int16+ G :: Expr Int16+ H :: Expr Int16+ I :: Expr Int16+ J :: Expr Int16+ K :: Expr Int16+ L :: Expr Int16+ M :: Expr Int16+ N :: Expr Int16+ O :: Expr Int16+ P :: Expr Int16+ Q :: Expr Int16+ R :: Expr Int16+ S :: Expr Int16+ T :: Expr Int16+ U :: Expr Int16+ V :: Expr Int16+ W :: Expr Int16+ X :: Expr Int16+ Y :: Expr Int16+ Z :: Expr Int16+ Array :: Expr Int16 -> Expr Int16++ Concat :: (Show a, Show b, S.IsString c) => Expr a -> Expr b -> Expr c+++ --+ -- Commands for beginners+ --++ -- [TODO] [num]：0(button)/UP/DOWN/RIGHT/LEFT/SPACE, defautl 0+ Btn :: Expr Int16 -> Expr Int16++ Rnd :: Expr Int16 -> Expr Int16+ + Add :: Expr Int16 -> Expr Int16 -> Expr Int16+ Subtract :: Expr Int16 -> Expr Int16 -> Expr Int16+ Multiply :: Expr Int16 -> Expr Int16 -> Expr Int16+ Divide :: Expr Int16 -> Expr Int16 -> Expr Int16+ Remind :: Expr Int16 -> Expr Int16 -> Expr Int16+ + Tick :: Expr Int16+ Inkey :: Expr Int16+ + Chr :: [Expr Int16] -> Expr String+ + Asc :: String -> Expr Int16++ Scr :: Expr Int16 -> Expr Int16 -> Expr Int16+ Scr' :: Expr Int16+ + Equal :: Expr Int16 -> Expr Int16 -> Expr Int16+ NotEqual :: Expr Int16 -> Expr Int16 -> Expr Int16+ GreaterThanEqual :: Expr Int16 -> Expr Int16 -> Expr Int16+ GreaterThan :: Expr Int16 -> Expr Int16 -> Expr Int16+ LessThanEqual :: Expr Int16 -> Expr Int16 -> Expr Int16+ LessThan :: Expr Int16 -> Expr Int16 -> Expr Int16+ And :: Expr Int16 -> Expr Int16 -> Expr Int16+ Or :: Expr Int16 -> Expr Int16 -> Expr Int16+ Not :: Expr Int16 -> Expr Int16+++ --+ -- Commands for experts+ --+ Abs :: Expr Int16 -> Expr Int16+ Sound :: Expr Int16+ Free :: Expr Int16+ Ver :: Expr Int16+ File :: Expr Int16+ Peek :: Expr Int16 -> Expr Int16+ Ana :: Expr Int16 -> Expr Int16++ In' :: Expr Int16 -> Expr Int16+ In'' :: Expr Int16++ Hex :: Expr Int16 -> Expr Int16 -> Expr String+ Hex' :: Expr Int16 -> Expr String++ Bin :: Expr Int16 -> Expr Int16 -> Expr String+ Bin' :: Expr Int16 -> Expr String++ BitAnd :: Expr Int16 -> Expr Int16 -> Expr Int16+ BitOr :: Expr Int16 -> Expr Int16 -> Expr Int16+ XOr :: Expr Int16 -> Expr Int16 -> Expr Int16+ ShiftR :: Expr Int16 -> Expr Int16 -> Expr Int16+ ShiftL :: Expr Int16 -> Expr Int16 -> Expr Int16+ Complement :: Expr Int16 -> Expr Int16++ I2CR :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16+ I2CW :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16+ USR :: Expr Int16 -> Expr Int16 -> Expr Int16+ ++-- Num Literal+instance (Num a) => Num (Expr a) where+ (+) (Number n1) (Number n2) = Number (n1 P.+ n2)+ (-) (Number n1) (Number n2) = Number (n1 P.- n2)+ (*) (Number n1) (Number n2) = Number (n1 P.* n2)+ negate (Number n) = Number (negate n)+ abs (Number n) = Number (P.abs n)+ signum (Number n) = Number (signum n)+ fromInteger n = Number (fromInteger n)+ ++-- OverloadedStrings+instance (S.IsString a) => S.IsString (Expr a) where+ fromString s = Str (S.fromString s)+++++data Stmt where++ Label :: Int16 -> [Stmt] -> Stmt++ -- IF could be nested+ IfThenElse :: Expr Int16 -> [Stmt] -> [Stmt] -> Stmt+ IfThen :: Expr Int16 -> [Stmt] -> Stmt+ ForStepNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> [Stmt] -> Stmt+ ForNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> [Stmt] -> Stmt+ ++ --+ -- Commands for beginners+ --+ Let' :: Expr Int16 -> [Expr Int16] -> Stmt+ Assign :: Expr Int16 -> Expr Int16 -> Stmt++ Print :: (Show r) => Expr r -> Stmt++ Led :: Expr Int16 -> Stmt+ Wait :: Expr Int16 -> Stmt+ Run :: Stmt++ List :: Expr Int16 -> Expr Int16 -> Stmt+ List' :: Stmt++ + Goto :: Expr Int16 -> Stmt+ End :: Stmt++ New :: Stmt+ Locate :: Expr Int16 -> Expr Int16 -> Stmt+ Cls :: Stmt++ Save :: Expr Int16 -> Stmt+ Save' :: Stmt+ + Load :: Expr Int16 -> Stmt+ Load' :: Stmt+ + Files :: Expr Int16 -> Stmt++ Beep :: Expr Int16 -> Expr Int16 -> Stmt+ Beep' :: Stmt++ Play :: String -> Stmt+ Play' :: Stmt+ + Tempo :: Expr Int16 -> Stmt++ Input :: String -> Expr Int16 -> Stmt+ Clt :: Stmt++ Scroll :: Expr Int16 -> Stmt+++ --+ -- Commands for experts+ --+ Clv :: Stmt+ Clk :: Stmt++ Gosub :: Expr Int16 -> Stmt+ Return :: Stmt++ Renum :: Expr Int16 -> Stmt+ Renum' :: Stmt+ + LRun :: Expr Int16 -> Stmt++ Sleep :: Stmt+ Video :: Expr Int16 -> Stmt+ Poke :: Expr Int16 -> Expr Int16 -> Stmt+ Clp :: Stmt+ Help :: Stmt++ Out :: Expr Int16 -> Expr Int16 -> Stmt+ Out' :: Expr Int16 -> Stmt++ Bps :: Expr Int16 -> Stmt+ +++++reify :: (Show r) => Expr r -> String++reify (Number v) = show v+reify (Str v) = show v++reify (Pre v) = concat ["(", reify v, ")"]++reify (A) = "A"+reify (B) = "B"+reify (C) = "C"+reify (D) = "D"+reify (E) = "E"+reify (F) = "F"+reify (G) = "G"+reify (H) = "H"+reify (I) = "I"+reify (J) = "J"+reify (K) = "K"+reify (L) = "L"+reify (M) = "M"+reify (N) = "N"+reify (O) = "O"+reify (P) = "P"+reify (Q) = "Q"+reify (R) = "R"+reify (S) = "S"+reify (T) = "T"+reify (U) = "U"+reify (V) = "V"+reify (W) = "W"+reify (X) = "X"+reify (Y) = "Y"+reify (Z) = "Z"+reify (Array i) = concat ["[", reify i, "]"]++reify (Concat v1 v2) = concat [reify v1, ";", reify v2]++reify (Btn v) = concat ["BTN(", reify v, ")"]+reify (Rnd v) = concat ["RND(", reify v, ")"]++reify (Add v1 v2) = concat [reify v1, "+", reify v2]+reify (Subtract v1 v2) = concat [reify v1, "-", reify v2]+reify (Multiply v1 v2) = concat [reify v1, "*", reify v2]+reify (Divide v1 v2) = concat [reify v1, "/", reify v2]+reify (Remind v1 v2) = concat [reify v1, "%", reify v2]++reify (Tick) = "TICK()"+reify (Inkey) = "INKEY()"+reify (Chr v) = concat ["CHR$(",(intercalate "," (fmap reify v)), ")"]+reify (Asc v) = concat ["ASC(\"", v, "\")"]+reify (Scr') = concat ["SCR()"]+reify (Scr v1 v2) = concat ["SCR(", reify v1, ",", reify v2, ")"]++reify (Equal v1 v2) = concat [reify v1, "=", reify v2]+reify (NotEqual v1 v2) = concat [reify v1, "!=", reify v2]+reify (GreaterThanEqual v1 v2) = concat [reify v1, ">=", reify v2]+reify (GreaterThan v1 v2) = concat [reify v1, ">", reify v2]+reify (LessThanEqual v1 v2) = concat [reify v1, "<=", reify v2]+reify (LessThan v1 v2) = concat [reify v1, "<", reify v2]+reify (And v1 v2) = concat [reify v1, "AND", reify v2]+reify (Or v1 v2) = concat [reify v1, "OR", reify v2]+reify (Not v) = concat ["!", reify v]++reify (Abs v) = concat ["ABS(", reify v, ")"]+reify (Sound) = "SOUND()"+reify (Free) = "FREE()"+reify (Ver) = "VER()"+reify (File) = "FILE()"+reify (Peek v) = concat ["PEEK(", reify v, ")"]+reify (Ana v) = concat ["ANA(", reify v, ")"]+reify (In' v) = concat ["IN(", reify v, ")"]+reify (In'') = concat ["IN()"]+reify (Hex v1 v2) = concat ["HEX$(", reify v1, ",", reify v2, ")"]+reify (Hex' v) = concat ["HEX$(", reify v, ")"]+reify (Bin v1 v2) = concat ["BIN$(", reify v1, ",", reify v2, ")"]+reify (Bin' v) = concat ["BIN$(", reify v, ")"]++reify (BitAnd v1 v2) = concat [reify v1, "&", reify v2]+reify (BitOr v1 v2) = concat [reify v1, "|", reify v2]+reify (XOr v1 v2) = concat [reify v1, "^", reify v2]+reify (ShiftR v1 v2) = concat [reify v1, ">>", reify v2]+reify (ShiftL v1 v2) = concat [reify v1, "<<", reify v2]+reify (Complement v) = concat ["~", reify v]++reify (I2CR v1 v2 v3 v4 v5) = concat ["I2CR(", reify v1, ",", reify v2, ",", reify v3, ",", reify v4, ",", reify v5, ")"]+reify (I2CW v1 v2 v3 v4 v5) = concat ["I2CW(", reify v1, ",", reify v2, ",", reify v3, ",", reify v4, ",", reify v5, ")"]+reify (USR v1 v2) = concat ["USR(", reify v1, ",", reify v2, ")"]++++lToString :: [Stmt] -> String+lToString st = intercalate ":" $ map toString st++ +toString :: Stmt -> String++toString (Label n st) = concat [(show n), " ", lToString st]+toString (IfThenElse c st1 st2) = concat ["IF", reify c, lToString st1, "ELSE", lToString st2]+toString (IfThen c st) = concat ["IF", reify c, lToString st]+toString (ForStepNext v ini inc step st) = concat ["FOR", reify v, "=", reify ini, "TO", reify inc, "STEP", reify step, ":", lToString st, ":NEXT"]+toString (ForNext v ini inc st) = concat ["FOR", reify v, "=", reify ini, "TO", reify inc, ":", lToString st, ":NEXT"]+toString (Let' v1 v2) = concat ["LET", reify v1, ",", (intercalate "," (fmap reify v2))]+toString (Assign v1 v2) = concat [reify v1, "=", reify v2]+toString (Print v) = concat ["?", reify v]+toString (Led v) = concat ["LED", reify v]+toString (Wait v) = concat ["WAIT", reify v]+toString (Run) = "RUN"+toString (List v1 v2) = concat ["LIST", reify v1, ",", reify v2]+toString (List') = "LIST"+toString (Goto v) = concat ["GOTO", reify v]+toString (End) = "END"+toString (New) = "NEW"+toString (Locate v1 v2) = concat ["LC", reify v1, ",", reify v2]+toString (Cls) = "CLS"+toString (Save v) = concat ["SAVE", reify v]+toString (Save') = "SAVE"+toString (Load v) = concat ["LOAD", reify v]+toString (Load') = "LOAD"+toString (Files v) = concat ["FILES", reify v]+toString (Beep v1 v2) = concat ["BEEP", reify v1, ",", reify v2]+toString (Beep') = "BEEP"+toString (Play v) = concat ["PLAY\"", v, "\""]+toString (Play') = "PLAY"+toString (Tempo v) = concat ["TEMPO", reify v]+toString (Input v1 v2) = concat ["INPUT\"", v1, "\",", reify v2]+toString (Clt) = "CLT"+toString (Scroll v) = concat ["SCROLL", reify v]+toString (Clv) = "CLV"+toString (Clk) = "CLK"+toString (Gosub v) = concat ["GOSUB", reify v]+toString (Return) = "RETURN"+toString (Renum v) = concat ["RENUM", reify v]+toString (Renum') = "RENUM"+toString (LRun v) = concat ["LRUN", reify v]+toString (Sleep) = "SLEEP"+toString (Video v) = concat ["VIDEO", reify v]+toString (Poke v1 v2) = concat ["POKE", reify v1, ",", reify v2]+toString (Clp) = "CLP"+toString (Help) = "HELP"+toString (Out v1 v2) = concat ["OUT", reify v1, ",", reify v2]+toString (Out' v) = concat ["OUT", reify v]+toString (Bps v) = concat ["BPS", reify v]+++++type Code = Writer [Stmt]++{-| Translate huckleberry code to IchigoJam BASIC code.++-}+translate :: Code() -> String+translate c = (intercalate "\n" $ map toString (execWriter c)) P.++ "\n"++{-| Bracket operator.++the expression++@+pre(y==25)*pre(x==17)+@++evaluated as this expression in IchigoJam BASIC. ++@+(Y=25)*(X=17)+@++-}+pre = Pre++{-| Line number statement.++this expression++@+label 40 $ x=:x+u+@++evaluated as this statement in IchigoJam BASIC.++@+40 X=X+U+@++-}+label :: Int16 -> Code() -> Code()+label l st = tell [Label l (execWriter st)]++{-| IF .. THEN .. ELSE .. statement.++-}+ifThenElse :: Expr Int16 -> Code() -> Code() -> Code()+ifThenElse c st1 st2 = tell [IfThenElse c (execWriter st1) (execWriter st2)]++{-| IF .. THEN .. statement.++-}+ifThen :: Expr Int16 -> Code() -> Code()+ifThen c st = tell [IfThen c (execWriter st)]++{-| FOR .. = .. TO .. STEP .. .. NEXT statement.++-}+forStepNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Expr Int16 -> Code() -> Code()+forStepNext v ini inc step st = tell [ForStepNext v ini inc step (execWriter st)]++{-| FOR .. = .. TO .. .. NEXT statement.++-}+forNext :: Expr Int16 -> Expr Int16 -> Expr Int16 -> Code() -> Code()+forNext v ini inc st = tell [ForNext v ini inc (execWriter st)]+++a = A+b = B+c = C+d = D+e = E+f = F+g = G+h = H+i = I+j = J+k = K+l = L+m = M+n = N+o = O+p = P+q = Q+r = R+s = S+t = T+u = U+v = V+w = W+x = X+y = Y+z = Z++{-| Array valiables expression.++This expression++@+arr 3+@++evaluated as this expression in IchigoJam BASIC.++@+\[3\]+@+-}+arr = Array++++--+-- Commands for beginners+--++{-| LET statement.++This expression++@+let' a [3]+@++evaluated as this statement in IchigoJam BASIC. ++@+LET A,3+@++Also, this expression++@+let' (arr 3) [11,12,13]+@++evaluated as this statement in IchigoJam BASIC.++@+LET[3],11,12,13+@+-}+let' :: Expr Int16 -> [Expr Int16] -> Code()+let' v1 v2 = tell [Let' v1 v2]++{-| Assignment operator.(\=)++This expression++@+x =: x+u+@++evaluated as this statement in IchigoJam BASIC.++@+X=X+U+@++-}+(=:) :: Expr Int16 -> Expr Int16 -> Code()+(=:) v1 v2 = tell [Assign v1 v2]+infix 2 =:++{-| PRINT statement.++-}+print :: (Show r) => Expr r -> Code()+print x = tell [Print x]++{-| Concatation operator.(;)++-}+(++) :: (Show a, Show b, S.IsString c) => Expr a -> Expr b -> Expr c+(++) = Concat+infixl 2 ++++led :: Expr Int16 -> Code()+led s = tell [Led s]++wait :: Expr Int16 -> Code()+wait t = tell [Wait t]++run :: Code()+run = tell [Run]++list :: Expr Int16 -> Expr Int16 -> Code()+list v1 v2 = tell [List v1 v2]++list' :: Code()+list' = tell [List']++goto :: Expr Int16 -> Code()+goto t = tell [Goto t]++end :: Code()+end = tell [End]++btn = Btn++new :: Code()+new = tell [New]++locate :: Expr Int16 -> Expr Int16 -> Code()+locate v1 v2 = tell [Locate v1 v2]++cls :: Code()+cls = tell [Cls]++rnd = Rnd++save :: Expr Int16 -> Code()+save v = tell [Save v]+save' :: Code()+save' = tell [Save']++load :: Expr Int16 -> Code()+load v = tell [Load v]+load' :: Code()+load' = tell [Load']++files :: Expr Int16 -> Code()+files v = tell [Files v]++beep :: Expr Int16 -> Expr Int16 -> Code()+beep v1 v2 = tell [Beep v1 v2]+beep' :: Code()+beep' = tell [Beep']++play :: String -> Code()+play c = tell [Play c]+play' :: Code()+play' = tell [Play']++tempo :: Expr Int16 -> Code()+tempo t = tell [Tempo t]++(+) = Add+infixl 6 +++(-) = Subtract+infixl 6 -++(*) = Multiply+infixl 7 *++(/) = Divide+infixl 7 /++(%) = Remind+infixl 7 %++input :: String -> Expr Int16 -> Code()+input s v = tell [Input s v]++tick = Tick++clt :: Code()+clt = tell [Clt]++inkey = Inkey++chr :: Expr Int16 -> Expr String+chr v = Chr [v]++{-|++-}+chr' :: [Expr Int16] -> Expr String+chr' = Chr++asc = Asc++scroll :: Expr Int16 -> Code()+scroll v = tell [Scroll v]++scr = Scr+scr' = Scr'+vpeek = scr -- alias+vpeek' = scr' -- alias++(==) = Equal+infix 5 ==++(/=) = NotEqual+infix 5 /=++(>=) = GreaterThanEqual+infix 5 >=++(>) = GreaterThan+infix 5 >++(<=) = LessThanEqual+infix 5 <=++(<) = LessThan+infix 5 <++(&&) = And+infixr 4 &&++(||) = Or+infixr 3 ||++not = Not++++--+-- Commands for experts+--++clv :: Code()+clv = tell [Clv]+clear = clv -- alias++clk :: Code()+clk = tell [Clk]++abs = Abs++gosub :: Expr Int16 -> Code()+gosub t = tell [Gosub t]++return :: Code()+return = tell [Return]++sound = Sound++free = Free++ver = Ver++renum :: Expr Int16 -> Code()+renum v = tell [Renum v]+renum' :: Code()+renum' = tell [Renum']++lrun :: Expr Int16 -> Code()+lrun v = tell [LRun v]++file = File++sleep :: Code()+sleep = tell [Sleep]++video :: Expr Int16 -> Code()+video sw = tell [Video sw]++peek = Peek++poke :: Expr Int16 -> Expr Int16 -> Code()+poke v1 v2 = tell [Poke v1 v2]++clp :: Code()+clp = tell [Clp]++help :: Code()+help = tell [Help]++ana = Ana++out :: Expr Int16 -> Expr Int16 -> Code()+out v1 v2 = tell [Out v1 v2]+out' :: Expr Int16 -> Code()+out' v = tell [Out' v]++{-| IN expression.++-}+in' = In'+in'' = In''++hex = Hex+hex' = Hex'++bin = Bin+bin' = Bin'++{-| Bitwise AND operator (&)++-}+(.&.) = BitAnd+infixl 7 .&.++{-| Bitwise OR operator (|)++-}+(.|.) = BitOr+infixl 6 .|.++{-| Bitwise XOR expression (^)++-}+xor = XOr+infixl 7 `xor`++{-| Right shift expression (>>)++-}+shiftR = ShiftR+infixl 7 `shiftR`++{-| Left shift expression (\<\<)++-}+shiftL = ShiftL+infixl 7 `shiftL`++{-| Complement expression (~)++-}+complement = Complement++bps :: Expr Int16 -> Code()+bps s = tell [Bps s]++i2cr = I2CR++i2cw = I2CW++usr = USR+