Fleshed-out Data instance for AttributeKey.

1 files changed, 0 insertions, 29 deletions

diff --git a/AttributeData.hs b/AttributeData.hs
index 59b9e6d..d962a06 100644
--- a/AttributeData.hs
+++ b/AttributeData.hs
@@ -41,35 +41,6 @@ import Control.Monad.State.Lazy
 
 import MaskableStream
 
-data Witness c = c => Witness
-
-tagTypable :: TypeTag c -> Witness (Typeable c)
-tagTypable TypeBool  = Witness
-tagTypable TypeV2B   = Witness
-tagTypable TypeV3B   = Witness
-tagTypable TypeV4B   = Witness
-tagTypable TypeWord  = Witness
-tagTypable TypeV2U   = Witness
-tagTypable TypeV3U   = Witness
-tagTypable TypeV4U   = Witness
-tagTypable TypeInt   = Witness
-tagTypable TypeV2I   = Witness
-tagTypable TypeV3I   = Witness
-tagTypable TypeV4I   = Witness
-tagTypable TypeFloat = Witness
-tagTypable TypeV2F   = Witness
-tagTypable TypeV3F   = Witness
-tagTypable TypeV4F   = Witness
-tagTypable TypeM22F  = Witness
-tagTypable TypeM23F  = Witness
-tagTypable TypeM24F  = Witness
-tagTypable TypeM32F  = Witness
-tagTypable TypeM33F  = Witness
-tagTypable TypeM34F  = Witness
-tagTypable TypeM42F  = Witness
-tagTypable TypeM43F  = Witness
-tagTypable TypeM44F  = Witness
-
 
 lookupAttrKeys :: forall attrkeys. Data attrkeys => (String -> Maybe (Some AttributeKey)) -> Maybe attrkeys
 lookupAttrKeys lookupA = do