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