Initial commit (and most likely last one)

Author: Kirill Saksin

Diff for: .gitignore

@@ -0,0 +1,2 @@
+.stack-work
+.history

Diff for: LICENSE

@@ -0,0 +1,30 @@
+Copyright Author name here (c) 2017
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Author name here nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

Diff for: README.md

@@ -0,0 +1,28 @@
+# calc
+
+Experiments in Haskell: command line calculator.
+
+## Usage
+
+```bash
+$ stack build
+$ stack exec calc-exe
+```
+
+### As library
+
+```haskell
+import Term
+
+computed = eval $ Sum (ValueF 10) (Pi)
+```
+
+
+```haskell
+import Term
+import Text.Parsec
+
+parseCalculation text = fmap toExpr $ parse termsP "my calc" text
+execParsed parsed = fmap eval parsed
+```
+

Diff for: Setup.hs

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

Diff for: app/Main.hs

@@ -0,0 +1,11 @@
+module Main where
+
+import CalcRepl
+
+import Control.Monad
+import System.IO
+import System.Console.Repline
+import Control.Monad.Trans
+
+main :: IO ()
+main = evalRepl "> " (\x -> liftIO $ replBody x) [] (Word $ const $ return []) (return ())

Diff for: calc.cabal

@@ -0,0 +1,47 @@
+name:                calc
+version:             0.1.0.0
+-- synopsis:
+-- description:
+homepage:            https://github.com/saksmt/experimental-hs-calc#readme
+license:             BSD3
+license-file:        LICENSE
+author:              Kirill Saksin
+maintainer:          [email protected]
+copyright:           2017 Kirill Saksin
+category:            Console
+build-type:          Simple
+extra-source-files:  README.md
+cabal-version:       >=1.10
+
+library
+  hs-source-dirs:      src
+  exposed-modules:     Term, Expr, CalcRepl
+  other-modules:       Term.Def, Term.Parser, Term.ToExpr, Util.Predicate, Util.List
+  build-depends:       base >= 4.7 && < 5
+                     , parsec
+                     , parsec-numbers
+                     , derive
+  default-language:    Haskell2010
+
+executable calc-exe
+  hs-source-dirs:      app
+  main-is:             Main.hs
+  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
+  build-depends:       base
+                     , calc
+                     , repline
+                     , mtl
+  default-language:    Haskell2010
+
+test-suite calc-test
+  type:                exitcode-stdio-1.0
+  hs-source-dirs:      test
+  main-is:             Spec.hs
+  build-depends:       base
+                     , calc
+  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
+  default-language:    Haskell2010
+
+source-repository head
+  type:     git
+  location: https://github.com/saksmt/experimental-hs-calc

Diff for: src/CalcRepl.hs

@@ -0,0 +1,11 @@
+module CalcRepl where
+
+import Term
+import Expr
+import Text.Parsec
+
+import Control.Monad
+import System.IO
+
+replBody raw = either ((hPutStrLn stderr) . show) print $ fmap (eval . toExpr) $ parse termsP "(interactive)" raw
+

Diff for: src/Expr.hs

@@ -0,0 +1,56 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module Expr(Expr(..), eval) where
+
+import Data.List(findIndex)
+import Data.Fixed(mod')
+
+data Expr = ValueF Double
+          | Sum Expr Expr
+          | Diff Expr Expr
+          | Pow Expr Expr
+          | Mul Expr Expr
+          | Div Expr Expr
+          | Neg Expr
+          | Mod Expr Expr
+          | Round Expr
+          | Floor Expr
+          | Abs Expr
+          | Sin Expr
+          | Cos Expr
+          | Tan Expr
+          | ASin Expr
+          | ACos Expr
+          | ATan Expr
+          | Pi
+          | Sqrt Expr
+          | Log Expr Expr
+          | Exp Expr
+          | E
+          | Ceil Expr deriving (Show)
+
+eval :: Expr -> Double
+eval (ValueF v) = v
+eval (Sum a b) = eval a + eval b
+eval (Diff a b) = eval a - eval b
+eval (Pow a b) = eval a ** eval b
+eval (Mul a b) = eval a * eval b
+eval (Neg v) = - eval v
+eval (Mod a b) = eval a `mod'` eval b
+eval (Round v) = fromIntegral $ round $ eval v
+eval (Floor v) = fromIntegral $ floor $ eval v
+eval (Ceil v) = fromIntegral $ ceiling $ eval v
+eval (Div a b) = eval a / eval b
+eval (Abs v) = abs $ eval v
+eval (Sin v) = sin $ eval v
+eval (Cos v) = cos $ eval v
+eval (Tan v) = tan $ eval v
+eval (ASin v) = asin $ eval v
+eval (ACos v) = acos $ eval v
+eval (ATan v) = atan $ eval v
+eval (Pi) = pi
+eval (Sqrt v) = sqrt $ eval v
+eval (Log b e) = eval b `logBase` eval e
+eval (Exp v) = exp $ eval v
+eval (E) = exp 1
+

Diff for: src/Term.hs

@@ -0,0 +1,10 @@
+module Term
+    ( termsP
+    , toExpr
+    , Term
+    ) where
+
+import Term.Parser(termsP)
+import Term.Def(Term)
+import Term.ToExpr(toExpr)
+

Diff for: src/Term/Def.hs

@@ -0,0 +1,59 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module Term.Def
+    ( Term(..)
+    , isSumT
+    , isDiffT
+    , isPowT
+    , isMulT
+    , isDivT
+    , isModT
+    , isNegT
+    , isPrioT
+    , isRoundT
+    , isFloorT
+    , isCeilT
+    , isAbsT
+    , isSinT
+    , isCosT
+    , isTanT
+    , isASinT
+    , isACosT
+    , isATanT
+    , isPiT
+    , isSqrtT
+    , isLogT
+    , isExpT
+    , isET
+    ) where
+
+import Data.DeriveTH
+import Data.Derive.Is
+
+data Term = ValueT Double
+          | SumT
+          | DiffT
+          | PowT
+          | MulT
+          | DivT
+          | ModT
+          | NegT Term
+          | PrioT [Term]
+          | RoundT [Term]
+          | FloorT [Term]
+          | AbsT [Term]
+          | SinT [Term]
+          | CosT [Term]
+          | TanT [Term]
+          | ASinT [Term]
+          | ACosT [Term]
+          | ATanT [Term]
+          | PiT
+          | SqrtT [Term]
+          | LogT [Term] [Term]
+          | ExpT [Term]
+          | ET
+          | CeilT [Term] deriving (Show)
+
+$( derive makeIs ''Term )
+

Diff for: src/Term/Parser.hs

@@ -0,0 +1,131 @@
+module Term.Parser
+    ( termsP
+    ) where
+
+import Text.Parsec
+import Text.Parsec.String
+import Text.ParserCombinators.Parsec.Number(floating2)
+
+import Control.Monad
+import Data.Maybe(isJust)
+
+import Term.Def(Term(..))
+
+eP = spaces >> oneOf "eE" >> spaces >> return ET
+piP = spaces >> (string "PI" <|> string "pi" <|> string "Pi" <|> string "π") >> spaces >> return PiT
+valueP = do
+    spaces
+    v <- floating2 True
+    spaces
+    return $ ValueT v
+
+funP :: String -> ([Term] -> Term) -> Parser Term
+funP functionName constructor = do
+    spaces
+    string functionName
+    spaces
+    char '('
+    spaces
+    terms <- termsP <?> "expression or value"
+    spaces
+    char ')'
+    spaces
+    return $ constructor terms
+
+absMP = do
+    spaces
+    char '|'
+    spaces
+    terms <- termsP <?> "expression or value"
+    spaces
+    char '|'
+    spaces
+    return $ AbsT terms
+
+logP = do
+    spaces
+    string "log"
+    spaces
+    char '('
+    base <- termsP
+    spaces
+    char ','
+    spaces
+    exponent <- termsP
+    spaces
+    char ')'
+    spaces
+    return $ LogT base exponent
+
+binaryP :: Char -> Term -> Parser Term
+binaryP sign v = do
+    spaces
+    char sign
+    spaces
+    return v
+
+sumP = binaryP '+' SumT
+difP = binaryP '-' DiffT
+powP = binaryP '^' PowT
+mulP = (binaryP '*' MulT) <|> (binaryP '×' MulT) <|> try (binaryP 'x' MulT)
+divP = (binaryP '/' DivT) <|> (binaryP '÷' DivT)
+modP = binaryP '%' ModT
+
+floorP = funP "floor" FloorT
+ceilP = funP "ceil" CeilT
+prioP = funP "" PrioT
+roundP = funP "round" RoundT
+absP = funP "abs" AbsT
+sinP = funP "sin" SinT
+cosP = funP "cos" CosT
+tanP = funP "tan" TanT
+asinP = funP "asin" ASinT
+acosP = funP "acos" ACosT
+atanP = funP "atan" ATanT
+sqrtP = funP "sqrt" SqrtT
+expP = funP "exp" ExpT
+
+opP =  sumP
+   <|> difP
+   <|> powP
+   <|> mulP
+   <|> divP
+   <|> modP
+
+_unaryP = valueP
+       <|> try piP
+       <|> try expP
+       <|> try eP
+       <|> try prioP
+       <|> try ceilP
+       <|> floorP
+       <|> roundP
+       <|> absMP
+       <|> try absP
+       <|> try sinP
+       <|> try cosP
+       <|> tanP
+       <|> try asinP
+       <|> try acosP
+       <|> try atanP
+       <|> try sqrtP
+       <|> logP
+
+unaryP = do
+    s <- optionMaybe $ char '-'
+    v <- _unaryP
+    if isJust s then
+        return $ NegT v
+    else
+        return v
+
+afterUnaryP = do
+    o <- opP <?> "operator"
+    a <- unaryP <?> "expression or value"
+    return [o, a]
+
+termsP = do
+    u <- unaryP <?> "expression or value"
+    a <- many afterUnaryP
+    return $ u:(join a)
+