feat: Add deinline transformation.

schema.cabal

@@ -28,6 +28,7 @@ library
       Data.Schema
       Data.Schema.Builder
       Data.Schema.C
+      Data.Schema.Deinline
       Data.Schema.Pretty
       Data.Schema.Type
   build-depends:

src/Data/Schema/Deinline.hs

@@ -0,0 +1,19 @@
+module Data.Schema.Deinline (deinline) where
+
+import           Control.Arrow (first)
+import           Data.Fix      (Fix (..), foldFix)
+import           Data.List     (nub)
+import           Data.Schema   (Schema, SchemaF (..), Type (..))
+
+deinline :: Schema -> Schema
+deinline = fst . foldFix getTypes
+
+getTypes :: SchemaF (Schema, [Schema]) -> (Schema, [Schema])
+getTypes (Atom ty)                    = (Fix . Atom $ ty, [])
+getTypes (Sum dt@(Just (_, ty)) cons) = (Fix . Atom . TyName $ ty, Fix (Sum dt (map fst cons)) : concatMap snd cons)
+getTypes (Prod fields)                = (Fix . Prod . map fst $ fields, concatMap snd fields)
+getTypes (Field name ty)              = first (Fix . Field name) ty
+getTypes (Con name ty)                = first (Fix . Con name) ty
+getTypes (List ty)                    = first (Fix . List) ty
+getTypes (Schema mods)                = (Fix . Schema . nub . concatMap snd $ mods, [])
+getTypes x                            = error $ "unhandled: " <> show x