blob: efb904d01a1bcbeff2853b5b7a9e4102fd959613 (
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
|
module Grasp.IP (
IP,
singleton,
peek,
push,
pop,
isEmpty
) where
import Grasp.Types( GNode )
newtype IP = IP [GNode]
deriving (Eq, Show)
singleton :: GNode -> IP
singleton n = IP [n]
peek :: IP -> GNode
peek (IP p) = head p
push :: GNode -> IP -> IP
push n (IP p) = IP (n:p)
pop :: IP -> IP
pop (IP p) = IP (tail p)
isEmpty :: IP -> Bool
isEmpty (IP p) = (length p == 0)
|
