<div dir="ltr">Hi all<br>I have the following code :<br><br>data CmdTiming  = RAS Time | CAS Time | PCH Time | ACT Time deriving (Ord,Show,Eq)<br><br>data Command  = <br>  RD_CMD {bank :: Int, col :: Int }  |<br>  WR_CMD {bank :: Int, col :: Int}  |<br>
  ACT_CMD {bank :: Int, row :: Int} |<br>  PCH_CMD {bank :: Int} deriving Show<br><br>I&#39;d like to have something like :<br>RD_CMD {bank :: Int, col :: Int,timing :: RAS Time }<br>to limit possible values to RAS Time .<br>
<br>The reason I use constructors is differentiate whether current value is applicable to some function , getting CmdTiming as parameter or not .<br> <br>I am not sure this is valid definition since RAS Time is not type .<br>
<br>Regards,<br>Lev<br><input id="gwProxy" type="hidden"><input onclick="jsCall();" id="jsProxy" type="hidden"><div id="refHTML"></div></div>