module Data.Derive.Is(makeIs) where
import Language.Haskell
import Data.Derive.Internal.Derivation
makeIs :: Derivation
makeIs = derivationCustom "Is" $ \(_,d) -> Right $ concatMap (makeIsCtor d) $ dataDeclCtors d
makeIsCtor :: DataDecl -> CtorDecl -> [Decl]
makeIsCtor d c =
[TypeSig sl [name nam] (dataDeclType d `TyFun` tyCon "Bool")
,FunBind $ match : [defMatch | length (dataDeclCtors d) > 1]]
where
nam = "is" ++ ctorDeclName c
match = Match sl (name nam) [PParen $ PRec (qname $ ctorDeclName c) []] Nothing (UnGuardedRhs $ con "True") (BDecls [])
defMatch = Match sl (name nam) [PWildCard] Nothing (UnGuardedRhs $ con "False") (BDecls [])