HasCASL.header.hs revision 306763c67bb99228487345b32ab8c5c6cd41f23c
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroederinstance (ATermConvertible t) => ATermConvertible (Qual t)where
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder toShATerm att0 (predlist :=> t) =
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder case toShATerm att0 predlist of { (att1,i1) ->
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder case toShATerm att1 t of { (att2,i2) ->
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder addATerm (ShAAppl "Qual" [i1,i2] []) att2}}
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder fromShATerm att =
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder (ShAAppl "Qual" [i1,i2] _) ->
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder case fromShATerm $ getATermByIndex1 i1 att of { predlist ->
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder case fromShATerm $ getATermByIndex1 i2 att of { t ->
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder predlist :=> t }}
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder u -> fromShATermError "Qual" u
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder where aterm = getATerm att
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder fromATerm _ = error "function \"fromATerm\" not derived (implemented) for data type \"Qual\""
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder toATerm _ = error "function \"toATerm\" not derived (implemented) for data type \"Qual\""