Moving IsTerm Id instance (from logic tutor)

ideas-edu · Jul 22, 2021 · 440dbd9 · 440dbd9
1 parent 1b50b07
commit 440dbd9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Ideas/Common/Rewriting/Term.hs b/src/Ideas/Common/Rewriting/Term.hs
@@ -162,6 +162,10 @@ instance IsTerm Bool where
       | s == falseSymbol = return False
    fromTerm _ = fail "fromTerm: not a Bool"
 
+instance IsTerm Id where
+   toTerm   = toTerm . show
+   fromTerm = fmap (newId :: String -> Id) . fromTerm
+
 instance IsTerm a => IsTerm [a] where
    toTerm = toTermList
    fromTerm = fromTermList