{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# OPTIONS_GHC -Wno-orphans #-}

-----------------------------------------------------------------------------

-----------------------------------------------------------------------------

-- |
-- Module      :  Disco.Data
-- Copyright   :  disco team and contributors
-- Maintainer  :  byorgey@gmail.com
--
-- Some orphan 'Data' instances.
module Disco.Data where

import Unbound.Generics.LocallyNameless.Bind
import Unbound.Generics.LocallyNameless.Embed
import Unbound.Generics.LocallyNameless.Name

import Data.Data (Data)
import Unbound.Generics.LocallyNameless.Rebind

------------------------------------------------------------
-- Some orphan instances
------------------------------------------------------------

deriving instance (Data a, Data b) => Data (Bind a b)
deriving instance Data t => Data (Embed t)
deriving instance (Data a, Data b) => Data (Rebind a b)
deriving instance Data a => Data (Name a)