{-# OPTIONS -XEmptyDataDecls #-} module NET.System.Collections.Generic.Dictionary.ValueCollection ( module NET.System.Collections.Generic.Dictionary.ValueCollection ) where import qualified NET import NET.System.Collections.Generic.Dictionary.ValueCollection.Type as NET.System.Collections.Generic.Dictionary.ValueCollection import qualified NET.System.Array import qualified Data.Int import qualified NET.System.Object -- getEnumerator :: (NET.Type gTKey, NET.Type gTValue) => ValueCollection obj gTKey gTValue -> IO (NET.System.Collections.Generic.Dictionary.ValueCollection+Enumerator.Enumerator a0 gTKey gTValue) -- getEnumerator obj = NET.invokeGeneric "GetEnumerator" ( NET.tyNameCons ( {-D-}NET.t32 $ NET.t11 obj) $ NET.tyNameCons ( {-D-}NET.t33 $ NET.t11 obj) $ NET.tyMethSplit $ []) () obj copyTo :: (NET.Type gTKey, NET.Type gTValue, NET.Arg gTValue) => NET.System.Array.Array (gTValue) -> Data.Int.Int32 -> ValueCollection obj gTKey gTValue -> IO (()) copyTo arg0 arg1 obj = NET.invokeGeneric "CopyTo" ( NET.tyNameCons ( {-D-}NET.t32 $ NET.t11 obj) $ NET.tyNameCons ( {-D-}NET.t33 $ NET.t11 obj) $ []) (arg0, arg1) obj get_Count :: (NET.Type gTKey, NET.Type gTValue) => ValueCollection obj gTKey gTValue -> IO (Data.Int.Int32) get_Count obj = NET.invokeGeneric "get_Count" ( NET.tyNameCons ( {-D-}NET.t32 $ NET.t11 obj) $ NET.tyNameCons ( {-D-}NET.t33 $ NET.t11 obj) $ []) () obj