module Definition.Iterator 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.Iterator
import Iterator

dictionary :: [ HaskellRewrite' ]
dictionary = map HaskellRewriteExp
	[ defn_listToIterator
	, defn_iteratorToList
	, defn_next
	, defn_iteratorCase
	, defn_iteratorToIterator'
	, defn_iterator'ToList
	, defn_iteratorCase'
	]

defn_listToIterator :: HaskellRewrite Exp
defn_listToIterator = defn 'Iterator.listToIterator Program.Iterator.defns

defn_iteratorToList :: HaskellRewrite Exp
defn_iteratorToList = defn 'Iterator.iteratorToList Program.Iterator.defns

defn_next :: HaskellRewrite Exp
defn_next = defn 'Iterator.next Program.Iterator.defns

defn_iteratorCase :: HaskellRewrite Exp
defn_iteratorCase = defn 'Iterator.iteratorCase Program.Iterator.defns

defn_iteratorToIterator' :: HaskellRewrite Exp
defn_iteratorToIterator' = defn 'Iterator.iteratorToIterator' Program.Iterator.defns

defn_iterator'ToList :: HaskellRewrite Exp
defn_iterator'ToList = defn 'Iterator.iterator'ToList Program.Iterator.defns

defn_iteratorCase' :: HaskellRewrite Exp
defn_iteratorCase' = defn 'Iterator.iteratorCase' Program.Iterator.defns