The derive-topdown package

[ Tags: bsd3, development, library ] [ Propose Tags ]

This package will make it easier to derive class instance for complex composited data types by using Template Haskell.

[Skip to Readme]


Dependencies base (>=4.8 && <5.0), mtl (>=2.1.0), primitive (>=0.6.2), syb (>=0.4), template-haskell (>=2.10), th-expand-syns (>=0.4.3), transformers (>=0.4.2) [details]
License BSD3
Copyright (C) songzh
Author songzh <>
Maintainer songzh <>
Category Development
Home page
Source repository head: git clone git://
Uploaded Wed Oct 11 12:17:47 UTC 2017 by songzh
Distributions NixOS:
Downloads 376 total (45 in the last 30 days)
Rating 2.0 (1 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-10-11 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for derive-topdown-

[back to package description]


This is a Haskell project which will derive type class instances from top for a composite data type

standalone deriving

{-# LANGUAGE StandaloneDeriving,
    -- You maybe need a lot of other extensions like FlexibleInstances and DerivingStrategies.
{-# OPTIONS_GHC -ddump-splices #-}

import Data.Derive.TopDown
import GHC.Generics
import Data.Binary
imoprt Data.Aeson
import Data.Aeson.TH

data Gender = Male | Female
type Age = Int
data Person a = P {name :: String , age :: Int, gender :: Gender}
data Department a = D {dname :: String , 
                       head :: Person a, 
                       staff :: [Person a]}
data Company a = C {cname :: String, 
                    departments :: [Department a]}

derivings [''Eq, ''Ord, ''Generic] ''Company

You will get:

    derivings [''Eq, ''Ord, ''Generic] ''Company
    deriving instance Eq Gender
    deriving instance Eq (Person a_acKV)
    deriving instance Eq a_acKU => Eq (Department a_acKU)
    deriving instance Eq a_acKT => Eq (Company a_acKT)
    deriving instance Ord Gender
    deriving instance Ord (Person a_acKV)
    deriving instance Ord a_acKU => Ord (Department a_acKU)
    deriving instance Ord a_acKT => Ord (Company a_acKT)
    deriving instance Generic Gender
    deriving instance Generic (Person a_acKV)
    deriving instance Generic (Department a_acKU)
    deriving instance Generic (Company a_acKT)

For empty class instances deriving we can use it in this way. With DeriveAnyClasses and Generic class, we can use standalone deriving to do it. However, this is no reason to prevent you from doing this.

    instances [''Binary] ''Company
    instance Binary Gender
    instance Binary (Person a_af50)
    instance Binary a_af4Z => Binary (Department a_af4Z)
    instance Binary a_af4Y => Binary (Company a_af4Y)

For generating instances with a template Haskell function, derivingTHs can be used:

      [(''ToJSON, deriveToJSON defaultOptions),
       (''FromJSON, deriveFromJSON defaultOptions)]
    instance ToJSON Gender where
        = \ value_amQG
            -> case value_amQG of {
                 Male -> String (text- "Male")
                 Female -> String (text- "Female") }
        = \ value_amQH
            -> case value_amQH of {
                   -> Data.Aeson.Encoding.Internal.text
                        (text- "Male")
                   -> Data.Aeson.Encoding.Internal.text
                        (text- "Female") }
    instance ToJSON a_amqg => ToJSON (Person a_amqg) where
        = \ value_amQy

You can use this function with derive( package. It can handle more type classes, like Arbitrary in QuickCheck, especially.