diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-22 20:06:24 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-22 20:06:24 +1000 |
| commit | eebc6a7216895d8e4d6ad38af09cd295099a256c (patch) | |
| tree | 9d48383cf7bd97a59a96cfb87a12c2d6354777ac | |
| parent | 814d1f9bae352d52a8aec40a8e0d864b222d8c84 (diff) | |
Added standard AbsTerm and AppTerm datatypes
| -rw-r--r-- | Test/DataTypes.hs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Test/DataTypes.hs b/Test/DataTypes.hs index d0fbfde..28db135 100644 --- a/Test/DataTypes.hs +++ b/Test/DataTypes.hs @@ -10,7 +10,9 @@ module Test.DataTypes( stdVar, stdVarTerm, altVar, - altVarTerm + altVarTerm, + stdAbsTerm, + stdAppTerm ) where @@ -56,4 +58,11 @@ altVar s = Var (stdName s) altTypeVar altVarTerm :: String -> Term altVarTerm s = TVar (altVar s) +stdAbsTerm :: String -> Term +stdAbsTerm s = TAbs (stdVarTerm s) stdConstTerm + +stdAppTerm :: String -> Term +stdAppTerm s = TApp (stdAbsTerm s) stdConstTerm + + |