Modulestore-0.7.22Haskell2010

Data.Store.TH.Internal

Contents

Synopsis

TH functions for generating Store instances

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.

valuegetAllInstanceTypes1 :: Name -> Q [Type]

valueisMonoType :: Type -> Bool

1 instance