diff options
author | Camil Staps | 2018-01-02 22:28:13 +0100 |
---|---|---|
committer | Camil Staps | 2018-01-02 22:28:13 +0100 |
commit | 82b4d838ee16fea80bfc0da630603273f7cba6c2 (patch) | |
tree | 1762a3ae13ae7b9758325606e301176ee1c61a67 /assignment-13/Util.icl | |
parent | Remove value from cashModel; add further explanation to gastje (diff) |
Start with assignment 13
Diffstat (limited to 'assignment-13/Util.icl')
-rw-r--r-- | assignment-13/Util.icl | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/assignment-13/Util.icl b/assignment-13/Util.icl new file mode 100644 index 0000000..7775601 --- /dev/null +++ b/assignment-13/Util.icl @@ -0,0 +1,37 @@ +implementation module Util + +import StdClass +from StdFunc import id, o +import StdInt +import StdList +import StdOverloaded +import StdString + +from Text import class Text(concat), instance Text String + +instance zero PrState +where + zero = + { indent = 0 + , output = [] + } + +printToString :: a -> String | print a +printToString x = concat (print x zero).output + +instance print String where print s = \st -> {st & output=[s:st.output]} +instance print Int where print i = \st -> {st & output=[toString i:st.output]} + +nl :: PrState -> PrState +nl st = {st & output=["\n":repeatn st.indent "\t"] ++ st.output} + +indent :: PrState -> PrState +indent st = {st & indent=max 0 (st.indent - 1)} + +unindent :: PrState -> PrState +unindent st = {st & indent=st.indent + 1} + +prsperse :: a [b] -> PrState -> PrState | print a & print b +prsperse _ [] = id +prsperse _ [x] = print x +prsperse g [x:xs] = print x o print g o prsperse g xs |