{-# OPTIONS -XEmptyDataDecls #-}
module NET.System.DateTime.Type ( module NET.System.DateTime.Type ) where

import NET
import qualified NET.System.ValueType.Type
import qualified NET.System.IComparable.Type
import qualified NET.System.IFormattable.Type
import qualified NET.System.IConvertible.Type
import qualified NET.System.Runtime.Serialization.ISerializable.Type
--import qualified NET.System.IComparable`1[[System.DateTime, mscorlib, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089]].Type
--import qualified NET.System.IEquatable`1[[System.DateTime, mscorlib, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089]].Type

instance NET.System.IComparable.Type.IComparable (DateTime_ a) where
  instanceName_IComparable _ = "NET.System.DateTime.DateTime"

instance NET.System.IFormattable.Type.IFormattable (DateTime_ a) where
  instanceName_IFormattable _ = "NET.System.DateTime.DateTime"

instance NET.System.IConvertible.Type.IConvertible (DateTime_ a) where
  instanceName_IConvertible _ = "NET.System.DateTime.DateTime"

instance NET.System.Runtime.Serialization.ISerializable.Type.ISerializable (DateTime_ a) where
  instanceName_ISerializable _ = "NET.System.DateTime.DateTime"

--instance NET.System.IComparable`1[[System.DateTime, mscorlib, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089]].Type.IComparable`1 (DateTime_ a) where
--  instanceName_IComparable`1 _ = "NET.System.DateTime.DateTime"

--instance NET.System.IEquatable`1[[System.DateTime, mscorlib, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089]].Type.IEquatable`1 (DateTime_ a) where
--  instanceName_IEquatable`1 _ = "NET.System.DateTime.DateTime"

data DateTime_ a
type DateTime a = NET.System.ValueType.Type.ValueType (DateTime_ a)