summaryrefslogtreecommitdiff
path: root/src/Grasp/Types/IP.hs
blob: c7d3e4b839cf559d7a70d3ce4e57b1e6bfd991f3 (plain)
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
module Grasp.Types.IP (
	IP,

    singleton,
    empty,
    isEmpty,
    peek,
    push,
    pop,
    shift
	) where




import Grasp.Types.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))