From d3a9803cf89ea94975934dd8abb18bbc12408a7e Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 6 Dec 2014 00:32:49 +1100 Subject: All newtype stubs now in their own files in their own subdir --- src/Grasp/IP.hs | 47 ----------------------------------------------- 1 file changed, 47 deletions(-) delete mode 100644 src/Grasp/IP.hs (limited to 'src/Grasp/IP.hs') diff --git a/src/Grasp/IP.hs b/src/Grasp/IP.hs deleted file mode 100644 index 4f042a1..0000000 --- a/src/Grasp/IP.hs +++ /dev/null @@ -1,47 +0,0 @@ -module Grasp.IP ( - IP, - - singleton, - empty, - isEmpty, - peek, - push, - pop, - shift - ) where - - - - -import Grasp.GNode( GNode ) - - - - -newtype IP = IP [GNode] - deriving (Eq, Show) - - - - -singleton :: GNode -> IP -singleton n = IP [n] - -empty :: IP -empty = IP [] - -isEmpty :: IP -> Bool -isEmpty (IP p) = (length p == 0) - -peek :: IP -> Maybe GNode -peek (IP p) = if (length p == 0) then Nothing else Just (head p) - -push :: GNode -> IP -> IP -push n (IP p) = IP (n:p) - -pop :: IP -> IP -pop (IP p) = if (length p == 0) then empty else IP (tail p) - -shift :: GNode -> IP -> IP -shift n (IP p) = if (length p == 0) then empty else IP (n:(tail p)) - -- cgit