module Generic.Everything where

-- Typechecking this module typechecks every module in the ff-generics library.
import Generic.Base
import Generic.CanonicalJson
import Generic.CanonicalNativeJson
import Generic.Certified
import Generic.Core
import Generic.CorrectnessTests
import Generic.Default
import Generic.Examples
import Generic.Family
import Generic.Json
import Generic.Macro
import Generic.Macro.Family
import Generic.Macro.NegativeTests
import Generic.NativeJson
import Generic.PrimAtom
import Generic.PrimAtom.WebEditor
import Generic.ReflectionTerm
import Generic.ReflectionTermNativeJson
import Generic.Tests