module Network.DNS.Named.Sanity
    ( SaneAnswerType
    , SaneAnswerClass
    )
    where

import Network.DNS.Message


class SaneAnswerType q ans
instance (RecordType q dt) => SaneAnswerType q q
instance (RecordType q dt) => SaneAnswerType q CNAME
instance (RecordType ans dt) => SaneAnswerType ANY ans
instance (RecordType ans dt) => SaneAnswerType AXFR ans
instance SaneAnswerType MAILB MR
instance SaneAnswerType MAILB MB
instance SaneAnswerType MAILB MG
instance SaneAnswerType MAILB MINFO


class SaneAnswerClass q ans
instance RecordClass q => SaneAnswerClass q q
instance RecordClass ans => SaneAnswerClass ANY ans