Mercurial > repo
view interps/rhotor/Misc.hs @ 1366:04e265f16aad
<coppro> addquote <coppro> GreyKnight: for instance, you can form a poset category from a bunch of tiles <GreyKnight> oh, that\'s why somebody was conflating category theory with bathroom interior design the other day :-D
author | HackBot |
---|---|
date | Fri, 11 Jan 2013 01:14:43 +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)