separate the parser

[fp.git] / src / Lambda / Term.hs

diff --git a/src/Lambda/Term.hs b/src/Lambda/Term.hs
new file mode 100644 (file)
index 0000000..e3682c1
--- /dev/null
+++ b/src/Lambda/Term.hs
@@ -0,0 +1,24 @@
+{-# LANGUAGE PatternSynonyms #-}
+
+-- |
+-- Module      :  Lambda.Term
+-- Copyright   :  Tomáš Musil 2014
+-- License     :  BSD-3
+--
+-- Maintainer  :  tomik.musil@gmail.com
+-- Stability   :  experimental
+--
+-- Data types for λ terms.
+
+
+module Lambda.Term where
+
+type VarName = String
+
+data Term = Var VarName | Lambda VarName Term | App Term Term deriving (Eq)
+
+pattern RedEx x t s = App (Lambda x t) s
+pattern AppApp a b c = App a (App b c)
+pattern EmLambda x y t = Lambda x (Lambda y t)
+
+