1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
{- ----------------------------------------------------------------------------
Copyright (c) 2021, Daan Leijen
This is free software; you can redistribute it and/or modify it
under the terms of the MIT License. A copy of the license can be
found in the "LICENSE" file at the root of this distribution.
---------------------------------------------------------------------------- -}
import System.Console.Isocline
import Data.List (isPrefixOf)
import Data.Char
import Control.Monad( when )
main :: IO ()
main
= do styleDef "kbd" "gray underline" -- define a style
styleDef "ic-prompt" "#00A060" -- or redefine a system style
putFmtLn welcome
setHistory "history.txt" 200 -- history
enableAutoTab True -- complete as far as possible
interaction
where
welcome = "\n[b]Isocline[/b] sample program:\n" ++
"- Type 'exit' to quit. (or use [kbd]ctrl-d[/]).\n" ++
"- Press [kbd]F1[/] for help on editing commands.\n" ++
"- Use [kbd]shift-tab[/] for multiline input. (or [kbd]ctrl-enter[/], or [kbd]ctrl-j[/])\n" ++
"- Type 'p' (or 'id', 'f', or 'h') followed by tab for completion.\n" ++
"- Type 'fun' or 'int' to see syntax highlighting\n" ++
"- Use [kbd]ctrl-r[/] to search the history.\n"
interaction :: IO ()
interaction
= do s <- readlineEx "hαskell" (Just completer) (Just highlighter)
putStrLn $ unlines ["--------",s,"--------"]
if (s == "" || s == "exit")
then return ()
else interaction
----------------------------------------------------------------------------
-- Tab Completion
----------------------------------------------------------------------------
completer :: CompletionEnv -> String -> IO ()
completer compl input
= do completeFileName compl input Nothing [".","/usr/local"] [] {-any extension-}
completeWord compl input Nothing wordCompletions
wordCompletions :: String -> [Completion]
wordCompletions input0
= let input = map toLower input0
in -- simple completion based on available words
(completionsFor input ["print","printer","println","printsln","prompt"])
++
-- with display versus replacement
(if (input == "id")
then map (\(d,r) -> Completion r d "") $ -- Completion replacement display help
[ ("D — (x) => x", "(x) => x")
, ("Haskell — \\x -> x", "\\x -> x")
, ("Idris — \\x => x", "\\x => x")
, ("Ocaml — fun x -> x", "fun x -> x")
, ("Koka — fn(x) x", "fn(x) x")
, ("Rust — |x| x", "|x| x") ]
else [])
++
-- add many hello isocline completions; we should generate these lazily!
(if (not (null input) && input `isPrefixOf` "hello_isocline_")
then map (\i -> completion ("hello_isocline_" ++ show i)) [1..100000]
else [])
----------------------------------------------------------------------------
-- Syntax highlighting
-- uses a simple tokenizer but a full fledged one probably needs
-- Parsec or regex's for syntax highlighting
----------------------------------------------------------------------------
highlighter :: String -> Fmt
highlighter input
= tokenize input
where
tokenize [] = []
tokenize s@('/':'/':_) -- comment
= let (t,ds) = span (/='\n') s in style "#408700" (plain t) ++ tokenize ds
tokenize s@(c:cs)
| isAlpha c = let (t,ds) = span isAlpha s
in (if (t `elem` ["fun","struct","var","val"])
then style "keyword" t -- builtin style
else if (t `elem` ["return","if","then","else"])
then style "control" t -- builtin style
else if (t `elem` ["int","double","char","void"])
then style "#00AFAF" t -- or use specific colors
else plain t) -- never lose input, all original characters must be present!
++ tokenize ds
| isDigit c = let (t,ds) = span isDigit s
in style "number" t ++ tokenize ds
| otherwise = plain [c] ++ tokenize cs -- never lose input
|
