Data.Store.TH.Internal

TH functions for generating Store instances

deriveManyStoreFromStorable :: (Type -> Bool) -> Q [Dec]

deriveTupleStoreInstance :: Int -> Dec

deriveGenericInstance :: Cxt -> Type -> Dec

deriveGenericInstanceFromName :: Name -> Q Dec

deriveManyStorePrimVector :: Q [Dec]

deriveManyStoreUnboxVector :: Q [Dec]

deriveStore :: Cxt -> Type -> [DataCon] -> Q Dec

makeStore :: Name -> Q [Dec]

Given the name of a type, generate a Store instance for it, assuming that all type variables also need to be Store instances.

Note that when used with datatypes that require type variables, the ScopedTypeVariables extension is required.

Misc utilties used in Store test

getAllInstanceTypes1 :: Name -> Q [Type]

isMonoType :: Type -> Bool

Orphan instances

Deriver (Store a)

Methods

runDeriver :: Proxy (Store a) -> Cxt -> Type -> Q [Dec]