{-# OPTIONS -XEmptyDataDecls #-}
module NET.System.Collections.ObjectModel.ReadOnlyCollection.Type ( module NET.System.Collections.ObjectModel.ReadOnlyCollection.Type ) where

import qualified NET
import qualified NET.System.Object
import qualified NET.System.Collections.Generic.IList.Type as NET.System.Collections.Generic.IList
import qualified NET.System.Collections.Generic.ICollection.Type as NET.System.Collections.Generic.ICollection
import qualified NET.System.Collections.Generic.IEnumerable.Type as NET.System.Collections.Generic.IEnumerable
import qualified NET.System.Collections.IEnumerable.Type as NET.System.Collections.IEnumerable
import qualified NET.System.Collections.IList.Type as NET.System.Collections.IList
import qualified NET.System.Collections.ICollection.Type as NET.System.Collections.ICollection

instance NET.System.Collections.Generic.IList.IList (ReadOnlyCollection_ a  gT) where
  instanceName_IList _ = "NET.System.Collections.ObjectModel.ReadOnlyCollection`1.ReadOnlyCollection"

instance NET.System.Collections.Generic.ICollection.ICollection (ReadOnlyCollection_ a  gT) where
  instanceName_ICollection _ = "NET.System.Collections.ObjectModel.ReadOnlyCollection`1.ReadOnlyCollection"

instance NET.System.Collections.Generic.IEnumerable.IEnumerable (ReadOnlyCollection_ a  gT) where
  instanceName_IEnumerable _ = "NET.System.Collections.ObjectModel.ReadOnlyCollection`1.ReadOnlyCollection"

instance NET.System.Collections.IEnumerable.IEnumerable (ReadOnlyCollection_ a  gT) where
  instanceName_IEnumerable _ = "NET.System.Collections.ObjectModel.ReadOnlyCollection`1.ReadOnlyCollection"

instance NET.System.Collections.IList.IList (ReadOnlyCollection_ a  gT) where
  instanceName_IList _ = "NET.System.Collections.ObjectModel.ReadOnlyCollection`1.ReadOnlyCollection"

instance NET.System.Collections.ICollection.ICollection (ReadOnlyCollection_ a  gT) where
  instanceName_ICollection _ = "NET.System.Collections.ObjectModel.ReadOnlyCollection`1.ReadOnlyCollection"

data ReadOnlyCollection_ a  gT
instance NET.Type (ReadOnlyCollection_ a  gT) where
   tyName _ = ["System.Collections.ObjectModel.ReadOnlyCollection`1"]
type ReadOnlyCollection a  gT = NET.Object (ReadOnlyCollection_ a  gT)