view interps/rhotor/Misc.hs @ 11113:aa8e4791536e

<oerjan> learn print_args_or_input Is a utility command that makes it easy to create a shell script that can be used either as a pipe or directly as a HackEgo command. Use as print_args_or_input "$@" | yourShellCode . See also shebang_args_or_input.
author HackBot
date Sat, 22 Jul 2017 00:45:19 +0000
parents 859f9b4339e6
children
line wrap: on
line source

module Misc (
	stringToNodeTree,
	nodeTreeToString,
	numberToNodeTree,
	nodeTreeToNumber,
	apply
)
where

import Node


stringToNodeTree		:: String -> Node
stringToNodeTree ""		= Nil
stringToNodeTree (c:t)	= Cons (numberToNodeTree (fromEnum c)) (stringToNodeTree t)

nodeTreeToString			:: Node -> String
nodeTreeToString Nil		= ""
nodeTreeToString (Cons a b)	= (toEnum (nodeTreeToNumber a):nodeTreeToString b)

numberToNodeTree 		:: (Integral a) => a -> Node
numberToNodeTree 0		= Nil
numberToNodeTree (n+1) 	= Cons Nil (numberToNodeTree n)

nodeTreeToNumber				:: (Integral a) => Node -> a
nodeTreeToNumber Nil			= 0
nodeTreeToNumber (Cons Nil a)	= (nodeTreeToNumber a) + 1


apply		:: Node -> Node -> Node
apply a b	= (Application a b)