module Definition.ImpList where

import Language.Haskell.TH
import Language.Haskell.ER.Syntax
import Language.Haskell.ER.HaskellRewrite
import Language.Haskell.ER.MiscRewrite
import Language.Haskell.ER.Utils
import Language.Haskell.ER.Frees
import Program.ImpList
import ImpList

dictionary :: [ HaskellRewrite' ]
dictionary = map HaskellRewriteExp
	[ defn_listToMyList
	, defn_myListToList
	, defn_appendListToMyList
	, defn_id
	, defn_myListBuildingToList
	, defn_put
	, defn_put'
	, defn_get
	]

defn_listToMyList :: HaskellRewrite Exp
defn_listToMyList = defn 'ImpList.listToMyList Program.ImpList.defns

defn_myListToList :: HaskellRewrite Exp
defn_myListToList = defn 'ImpList.myListToList Program.ImpList.defns

defn_appendListToMyList :: HaskellRewrite Exp
defn_appendListToMyList = defn 'ImpList.appendListToMyList Program.ImpList.defns

defn_id :: HaskellRewrite Exp
defn_id = defn 'ImpList.id Program.ImpList.defns

defn_myListBuildingToList :: HaskellRewrite Exp
defn_myListBuildingToList = defn 'ImpList.myListBuildingToList Program.ImpList.defns

defn_put :: HaskellRewrite Exp
defn_put = defn 'ImpList.put Program.ImpList.defns

defn_put' :: HaskellRewrite Exp
defn_put' = defn 'ImpList.put' Program.ImpList.defns

defn_get :: HaskellRewrite Exp
defn_get = defn 'ImpList.get Program.ImpList.defns