diff options
Diffstat (limited to 'src/Grasp/Types/IP.hs')
-rw-r--r-- | src/Grasp/Types/IP.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/Grasp/Types/IP.hs b/src/Grasp/Types/IP.hs index c7d3e4b..a548cc3 100644 --- a/src/Grasp/Types/IP.hs +++ b/src/Grasp/Types/IP.hs @@ -7,7 +7,9 @@ module Grasp.Types.IP ( peek, push, pop, - shift + shift, + + toList ) where @@ -45,3 +47,6 @@ 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)) +toList :: IP -> [GNode] +toList (IP p) = p + |