21 lines
582 B
Haskell
21 lines
582 B
Haskell
|
{-# 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
|
||
|
|
|