{-# OPTIONS -XEmptyDataDecls #-} module NET.System.Collections.IEnumerator ( module NET.System.Collections.IEnumerator ) where import qualified NET import NET.System.Collections.IEnumerator.Type as NET.System.Collections.IEnumerator import qualified NET.System.Object moveNext :: (IEnumerator obj) => NET.Object obj -> IO (Bool) moveNext = NET.invoke "MoveNext" () get_Current :: (IEnumerator obj) => NET.Object obj -> IO (NET.System.Object.Object a0) get_Current = NET.invoke "get_Current" () reset :: (IEnumerator obj) => NET.Object obj -> IO (()) reset = NET.invoke "Reset" ()