Modulestore-0.7.20Haskell2010

Data.Store.TH.Internal

TH functions for generating Store instances

8 declarations

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

valuederiveTupleStoreInstance :: Int -> Dec

valuederiveGenericInstance :: Cxt -> Type -> Dec

valuederiveGenericInstanceFromName :: Name -> Q Dec

valuederiveManyStorePrimVector :: Q [Dec]

valuederiveManyStoreUnboxVector :: Q [Dec]

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

valuemakeStore :: 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.

2 declarations

valuegetAllInstanceTypes1 :: Name -> Q [Type]

valueisMonoType :: Type -> Bool

1 instance