module DomainCereal where

import DomainCereal.Prelude
import qualified DomainCereal.TH as TH
import qualified DomainCore.Deriver as Deriver

serializeDeriver :: Deriver.Deriver
serializeDeriver :: Deriver
serializeDeriver =
  (TypeDec -> [Dec]) -> Deriver
Deriver.effectless (forall (f :: * -> *) a. Applicative f => a -> f a
pure forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. TypeDec -> Dec
TH.serializeInstanceD)