{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_HADDOCK hide #-}

module Data.Type.Instances where

import Data.Type.Framework
import Data.Type.Generated
import Data.Type.TH

import Prelude
import qualified Data.Bool
import qualified Data.Char
import qualified Data.Int
import qualified Data.Word
import qualified Data.Complex
import qualified Data.Ratio
import qualified Data.Maybe
import qualified Data.Either
import qualified Data.List
import qualified Data.Set
import qualified Data.Tree
import qualified Data.Map
import qualified Data.IntMap
import qualified Data.IntSet
import qualified Data.IORef
import qualified Control.Concurrent.MVar
import qualified System.IO

$(deriveTyped__ "base" ''() ''Type)
$(deriveTyped__ "base" ''(->) ''TypeXX)
$(deriveTyped__ "base" ''Integer ''Type)
$(deriveTyped__ "base" ''Float ''Type)
$(deriveTyped__ "base" ''Double ''Type)
$(deriveTyped__ "base" ''Data.Bool.Bool ''Type)
$(deriveTyped__ "base" ''Data.Char.Char ''Type)
$(deriveTyped__ "base" ''Data.Int.Int ''Type)
$(deriveTyped__ "base" ''Data.Int.Int8 ''Type)
$(deriveTyped__ "base" ''Data.Int.Int16 ''Type)
$(deriveTyped__ "base" ''Data.Int.Int32 ''Type)
$(deriveTyped__ "base" ''Data.Int.Int64 ''Type)
$(deriveTyped__ "base" ''Data.Word.Word ''Type)
$(deriveTyped__ "base" ''Data.Word.Word8 ''Type)
$(deriveTyped__ "base" ''Data.Word.Word16 ''Type)
$(deriveTyped__ "base" ''Data.Word.Word32 ''Type)
$(deriveTyped__ "base" ''Data.Word.Word64 ''Type)
$(deriveTyped__ "base" ''Data.Complex.Complex ''TypeX)
$(deriveTyped__ "base" ''Data.Ratio.Ratio ''TypeX)
$(deriveTyped__ "base" ''Data.Maybe.Maybe ''TypeX)
$(deriveTyped__ "base" ''Data.Either.Either ''TypeXX)
$(deriveTyped__ "base" ''[] ''TypeX)
$(deriveTyped__ "base" ''Data.IORef.IORef ''TypeX)
$(deriveTyped__ "base" ''System.IO.IO ''TypeX)
$(deriveTyped__ "base" ''Control.Concurrent.MVar.MVar ''TypeX)

$(deriveTyped__ "containers" ''Data.Set.Set ''TypeX)
$(deriveTyped__ "containers" ''Data.Tree.Tree ''TypeX)
$(deriveTyped__ "containers" ''Data.Map.Map ''TypeXX)
$(deriveTyped__ "containers" ''Data.IntMap.IntMap ''TypeX)
$(deriveTyped__ "containers" ''Data.IntSet.IntSet ''Type)