acid-state-0.16.1.2: Add ACID guarantees to any serializable Haskell data structure.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Acid.TemplateHaskell

Synopsis

Documentation

makeAcidic :: Name -> [Name] -> Q [Dec] Source #

Create the control structures required for acid states using Template Haskell.

This code:

myUpdate :: Argument -> Update State Result
myUpdate arg = ...

myQuery :: Argument -> Query State Result
myQuery arg = ...

$(makeAcidic ''State ['myUpdate, 'myQuery])

will make State an instance of IsAcidic and provide the following events:

data MyUpdate = MyUpdate Argument
data MyQuery  = MyQuery Argument

data SerialiserSpec Source #

Specifies how to customise the IsAcidic instance and event data type serialisation instances for a particular serialisation layer.

Constructors

SerialiserSpec 

Fields

safeCopySerialiserSpec :: SerialiserSpec Source #

Default implementation of SerialiserSpec that uses SafeCopy for serialising events.

makeAcidicWithSerialiser :: SerialiserSpec -> Name -> [Name] -> Q [Dec] Source #

A variant on makeAcidic that makes it possible to explicitly choose the serialisation implementation to be used for methods.

makeAcidic' :: SerialiserSpec -> [Name] -> Name -> [TyVarBndrUnit] -> [Con] -> Q [Dec] Source #

makeEvent :: SerialiserSpec -> Name -> Q [Dec] Source #

Given an event name (e.g. 'myUpdate), produce a data type like

data MyUpdate = MyUpdate Argument

along with the Method class instance, Event class instance and the instance of the appropriate serialisation class.

However, if the event data type already exists, this will generate the serialisation instance only. This makes it possible to call makeAcidicWithSerialiser multiple times on the same events but with different SerialiserSpecs, to support multiple serialisation backends.

getEventType :: Name -> Q Type Source #

makeIsAcidic :: SerialiserSpec -> [Name] -> Name -> [TyVarBndr ()] -> p -> Q Dec Source #

eventCxts Source #

Arguments

:: Type

State type

-> [TyVarBndrUnit]

type variables that will be used for the State type in the IsAcidic instance

-> Name

Name of the event

-> Type

Type of the event

-> [Pred]

extra context to add to IsAcidic instance

This function analyses an event function and extracts any additional class contexts which need to be added to the IsAcidic instance.

For example, if we have:

data State a = ...
setState :: (Ord a) => a -> UpdateEvent (State a) ()

Then we need to generate an IsAcidic instance like:

instance (SafeCopy a, Typeable a, Ord a) => IsAcidic (State a)

Note that we can only add constraints for type variables which appear in the State type. If we tried to do this:

setState :: (Ord a, Ord b) => a -> b -> UpdateEvent (State a) ()

We will get an ambigious type variable when trying to create the IsAcidic instance, because there is no way to figure out what type b should be.

The tricky part of this code is that we need to unify the type variables.

Let's say the user writes their code using b instead of a:

setState :: (Ord b) => b -> UpdateEvent (State b) ()

In the IsAcidic instance, we are still going to use a. So we need to rename the variables in the context to match.

The contexts returned by this function will have the variables renamed.

Additionally, if the event uses MonadReader or MonadState it might look like this:

setState :: (MonadState x m, IsFoo x) => m ()

In this case we have to rename x to the actual state we're going to use. This is done by renameState.

renameState :: Type -> Type -> Cxt -> Cxt Source #

See the end of comment for eventCxts.

makeEventHandler :: SerialiserSpec -> Name -> Type -> ExpQ Source #

makeEventDataType :: Name -> Type -> DecQ Source #

makeSafeCopyInstance :: Name -> Type -> DecQ Source #

mkCxtFromTyVars :: Quote m => [Name] -> [TyVarBndr a] -> [Pred] -> m Cxt Source #

makeMethodInstance :: Name -> Type -> DecQ Source #

makeEventInstance :: Name -> Type -> DecQ Source #

data TypeAnalysis Source #

Constructors

TypeAnalysis 

Fields

Instances

Instances details
Show TypeAnalysis Source # 
Instance details

Defined in Data.Acid.TemplateHaskell

Methods

showsPrec :: Int -> TypeAnalysis -> ShowS

show :: TypeAnalysis -> String

showList :: [TypeAnalysis] -> ShowS

Eq TypeAnalysis Source # 
Instance details

Defined in Data.Acid.TemplateHaskell

Methods

(==) :: TypeAnalysis -> TypeAnalysis -> Bool

(/=) :: TypeAnalysis -> TypeAnalysis -> Bool

analyseType :: Name -> Type -> TypeAnalysis Source #

findTyVars :: Type -> [Name] Source #

find the type variables | e.g. State a b ==> [a,b]

tyVarBndrName :: TyVarBndr a -> Name Source #

extract the Name from a TyVarBndr

allTyVarBndrNames :: [TyVarBndr a] -> [Name] Source #

toStructName :: Name -> Name Source #

Convert the Name of the event function into the name of the corresponding data constructor.