From 45cada8eade7242eb7f29af7b92858e9a1a7f68b Mon Sep 17 00:00:00 2001 From: Charles Date: Fri, 5 Jun 2020 11:37:58 +0200 Subject: Added print environment command, prompt editing and history with haskeline --- .stylish-haskell.yaml | 229 ++++++++++++++++++++++++++++++++++++++++++++++++++ README.md | 4 +- src/Expr.hs | 12 +-- src/Main.hs | 60 +++++++------ src/parser/Expr.hs | 6 +- 5 files changed, 273 insertions(+), 38 deletions(-) create mode 100644 .stylish-haskell.yaml diff --git a/.stylish-haskell.yaml b/.stylish-haskell.yaml new file mode 100644 index 0000000..2074d0b --- /dev/null +++ b/.stylish-haskell.yaml @@ -0,0 +1,229 @@ +# stylish-haskell configuration file +# ================================== + +# The stylish-haskell tool is mainly configured by specifying steps. These steps +# are a list, so they have an order, and one specific step may appear more than +# once (if needed). Each file is processed by these steps in the given order. +steps: + # Convert some ASCII sequences to their Unicode equivalents. This is disabled + # by default. + # - unicode_syntax: + # # In order to make this work, we also need to insert the UnicodeSyntax + # # language pragma. If this flag is set to true, we insert it when it's + # # not already present. You may want to disable it if you configure + # # language extensions using some other method than pragmas. Default: + # # true. + # add_language_pragma: true + + # Align the right hand side of some elements. This is quite conservative + # and only applies to statements where each element occupies a single + # line. + - simple_align: + cases: true + top_level_patterns: true + records: true + + # Import cleanup + - imports: + # There are different ways we can align names and lists. + # + # - global: Align the import names and import list throughout the entire + # file. + # + # - file: Like global, but don't add padding when there are no qualified + # imports in the file. + # + # - group: Only align the imports per group (a group is formed by adjacent + # import lines). + # + # - none: Do not perform any alignment. + # + # Default: global. + align: global + + # The following options affect only import list alignment. + # + # List align has following options: + # + # - after_alias: Import list is aligned with end of import including + # 'as' and 'hiding' keywords. + # + # > import qualified Data.List as List (concat, foldl, foldr, head, + # > init, last, length) + # + # - with_alias: Import list is aligned with start of alias or hiding. + # + # > import qualified Data.List as List (concat, foldl, foldr, head, + # > init, last, length) + # + # - new_line: Import list starts always on new line. + # + # > import qualified Data.List as List + # > (concat, foldl, foldr, head, init, last, length) + # + # Default: after_alias + list_align: after_alias + + # Right-pad the module names to align imports in a group: + # + # - true: a little more readable + # + # > import qualified Data.List as List (concat, foldl, foldr, + # > init, last, length) + # > import qualified Data.List.Extra as List (concat, foldl, foldr, + # > init, last, length) + # + # - false: diff-safe + # + # > import qualified Data.List as List (concat, foldl, foldr, init, + # > last, length) + # > import qualified Data.List.Extra as List (concat, foldl, foldr, + # > init, last, length) + # + # Default: true + pad_module_names: true + + # Long list align style takes effect when import is too long. This is + # determined by 'columns' setting. + # + # - inline: This option will put as much specs on same line as possible. + # + # - new_line: Import list will start on new line. + # + # - new_line_multiline: Import list will start on new line when it's + # short enough to fit to single line. Otherwise it'll be multiline. + # + # - multiline: One line per import list entry. + # Type with constructor list acts like single import. + # + # > import qualified Data.Map as M + # > ( empty + # > , singleton + # > , ... + # > , delete + # > ) + # + # Default: inline + long_list_align: inline + + # Align empty list (importing instances) + # + # Empty list align has following options + # + # - inherit: inherit list_align setting + # + # - right_after: () is right after the module name: + # + # > import Vector.Instances () + # + # Default: inherit + empty_list_align: inherit + + # List padding determines indentation of import list on lines after import. + # This option affects 'long_list_align'. + # + # - : constant value + # + # - module_name: align under start of module name. + # Useful for 'file' and 'group' align settings. + list_padding: 4 + + # Separate lists option affects formatting of import list for type + # or class. The only difference is single space between type and list + # of constructors, selectors and class functions. + # + # - true: There is single space between Foldable type and list of it's + # functions. + # + # > import Data.Foldable (Foldable (fold, foldl, foldMap)) + # + # - false: There is no space between Foldable type and list of it's + # functions. + # + # > import Data.Foldable (Foldable(fold, foldl, foldMap)) + # + # Default: true + separate_lists: true + + # Space surround option affects formatting of import lists on a single + # line. The only difference is single space after the initial + # parenthesis and a single space before the terminal parenthesis. + # + # - true: There is single space associated with the enclosing + # parenthesis. + # + # > import Data.Foo ( foo ) + # + # - false: There is no space associated with the enclosing parenthesis + # + # > import Data.Foo (foo) + # + # Default: false + space_surround: false + + # Language pragmas + - language_pragmas: + # We can generate different styles of language pragma lists. + # + # - vertical: Vertical-spaced language pragmas, one per line. + # + # - compact: A more compact style. + # + # - compact_line: Similar to compact, but wrap each line with + # `{-#LANGUAGE #-}'. + # + # Default: vertical. + style: vertical + + # Align affects alignment of closing pragma brackets. + # + # - true: Brackets are aligned in same column. + # + # - false: Brackets are not aligned together. There is only one space + # between actual import and closing bracket. + # + # Default: true + align: true + + # stylish-haskell can detect redundancy of some language pragmas. If this + # is set to true, it will remove those redundant pragmas. Default: true. + remove_redundant: true + + # Replace tabs by spaces. This is disabled by default. + # - tabs: + # # Number of spaces to use for each tab. Default: 8, as specified by the + # # Haskell report. + # spaces: 8 + + # Remove trailing whitespace + - trailing_whitespace: {} + + # Squash multiple spaces between the left and right hand sides of some + # elements into single spaces. Basically, this undoes the effect of + # simple_align but is a bit less conservative. + # - squash: {} + +# A common setting is the number of columns (parts of) code will be wrapped +# to. Different steps take this into account. Default: 80. +columns: 100 + +# By default, line endings are converted according to the OS. You can override +# preferred format here. +# +# - native: Native newline format. CRLF on Windows, LF on other OSes. +# +# - lf: Convert to LF ("\n"). +# +# - crlf: Convert to CRLF ("\r\n"). +# +# Default: native. +newline: native + +# Sometimes, language extensions are specified in a cabal file or from the +# command line instead of using language pragmas in the file. stylish-haskell +# needs to be aware of these, so it can parse the file correctly. +# +# No language extensions are enabled by default. +# language_extensions: + # - TemplateHaskell + # - QuasiQuotes diff --git a/README.md b/README.md index 0fd44fb..84ccf7f 100644 --- a/README.md +++ b/README.md @@ -72,5 +72,5 @@ Uses eager evaluation, variable value is known after assignment, function value - Bonus - [ ] Better error message - [ ] Builtin functions (sin, cos, ...) - - [ ] Add realline library - - [ ] Command to print environment + - [x] Add realline library + - [x] Command to print environment diff --git a/src/Expr.hs b/src/Expr.hs index 96c2fe6..852ee47 100644 --- a/src/Expr.hs +++ b/src/Expr.hs @@ -1,23 +1,25 @@ module Expr where +import Control.Monad import Data.List -import qualified Data.Map as M -import Control.Monad +import qualified Data.Map as M data Expr - = Rational Float + = Rational Float -- values | Imaginary Float | Complex Float Float | Matrix [[Expr]] - | Add Expr Expr + + | Add Expr Expr --- ops | Sub Expr Expr | Mul Expr Expr | Div Expr Expr | Mod Expr Expr | Exp Expr Expr | Dot Expr Expr - | Variable String + + | Variable String -- lables | Function String Expr deriving (Eq) diff --git a/src/Main.hs b/src/Main.hs index 1f99b39..f54cf7a 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -1,55 +1,48 @@ import Data.Char -import qualified Data.Map as M -import System.IO +import qualified Data.Map as M +import System.Console.Haskeline -import Expr as E +import Expr as E import Parser.Core import Parser.Statement main :: IO () -main = promptLoop (Context M.empty M.empty) +main = runInputT defaultSettings $ promptLoop (Context M.empty M.empty) -promptLoop :: Context -> IO () +promptLoop :: Context -> InputT IO () promptLoop context = do - putStr "> " - hFlush stdout - eof <- isEOF - if eof - then return () - else do line <- getLine - if line /= "exit" - then loop line context >>= promptLoop - else return () + minput <- getInputLine "> " + case minput of + Nothing -> return () + Just "exit" -> return () + Just "env" -> putEnv context >>= promptLoop -loop :: String -> Context -> IO Context -loop input context = - do - case runParserStrict statementP (filter (not . isSpace) input) of - Left err -> putStrLn ("Error parsing: " ++ err) >> return context - Right s -> Main.eval s context + Just input -> do + case runParserStrict statementP (filter (not . isSpace) input) of + Left err -> outputStrLn ("Error parsing: " ++ err) >> promptLoop context + Right s -> Main.eval s context >>= promptLoop - -eval :: Statement -> Context -> IO Context +eval :: Statement -> Context -> InputT IO Context eval (Evaluation e) c = do case E.eval e c of - Just evaluated -> putStrLn $ show evaluated - Nothing -> putStrLn "Error: couldn't evaluate expression" + Just evaluated -> outputStrLn $ show evaluated + Nothing -> outputStrLn "Error: couldn't evaluate expression" return c eval (VariableDeclaration name value) (Context vars funcs) = case E.eval value context of - Just e -> do putStrLn $ show e + Just e -> do outputStrLn $ show e return $ Context (M.insert name e vars) funcs - Nothing -> putStrLn "Error: couldn't evaluate expression" >> return context + Nothing -> outputStrLn "Error: couldn't evaluate expression" >> return context where context = Context vars funcs eval (FunctionDeclaration name argName e) (Context vars funcs) = -- case evalIgnore e context argName of - -- Just e -> do putStrLn $ show e + -- Just e -> do outputStrLn $ show e -- return $ Context vars (M.insert name (argName, e) funcs) - -- Nothing -> putStrLn "Error: couldn't evaluate expression" >> return context + -- Nothing -> outputStrLn "Error: couldn't evaluate expression" >> return context -- -- where context = Context vars funcs return $ Context vars (M.insert name (argName, e) funcs) @@ -59,3 +52,14 @@ eval _ c = return c -- r <- eval right + +putEnv :: Context -> InputT IO Context +putEnv (Context vars funcs) = do + outputStrLn "Variables:" + outputStr $ M.foldrWithKey (foldFunc fmtVariable) "" vars + outputStrLn "Functions:" + outputStr $ M.foldrWithKey (foldFunc fmtFunction) "" funcs + return (Context vars funcs) + where foldFunc fmt k v acc = acc ++ fmt k v ++ "\n" + fmtVariable k v = k ++ " = " ++ show v + fmtFunction k (arg, v) = k ++ "(" ++ arg ++ ") = " ++ show v diff --git a/src/parser/Expr.hs b/src/parser/Expr.hs index 221d669..5334578 100644 --- a/src/parser/Expr.hs +++ b/src/parser/Expr.hs @@ -1,9 +1,9 @@ module Parser.Expr (exprP) where -import Control.Applicative +import Control.Applicative -import Parser.Core -import Expr +import Expr +import Parser.Core -- Parse expression separated by one infix operator of the operator list -- cgit