{-# LANGUAGE FlexibleContexts #-}

module Step (Step (Step))
       where

import Data.List (intercalate)
import Base
    
data Step τ κ =  Step Ind κ [Arc τ] [Arc τ] deriving (Eq,Ord,Show)
    

-- dst :: Arc
-- instance Show Step where
--   show (Step i c h d) = show i ++ "." ++ show c ++ showHead h ++ showDeps d
--     where showHead [] = ""
--           showHead [a] = "(" ++ showArc a ++ ")"
--           showDeps [] = ""
--           showDeps ds = "[" ++ intercalate " " (map showArc ds) ++ "]"
--           showArc (r,i) = show r ++ ":" ++ show i