Test.StateMachine.Types.Generics.TH

Template Haskell functions to derive some general-purpose functionalities.

Documentation

deriveShows :: Name -> Q [Dec]

Given a name ''Action, derive Show for (Action v a) and (Untyped Action), and Show1 (Action Symbolic). See deriveShow, deriveShowUntyped, and deriveShow1.

deriveShow :: Name -> Q [Dec]

deriveShow ''Action
===>
deriving instance Show1 v => Show (Action v a).

deriveShowUntyped :: Name -> Q [Dec]

deriveShowUntyped ''Action
===>
deriving instance Show (Untyped Action)

mkShrinker :: Name -> Q Exp

$(mkShrinker ''Action) creates a generic shrinker of type (Action v a -> [Action v a]) which ignores Reference fields.

deriveConstructors :: Name -> Q [Dec]

deriveConstructors ''Action
===>
instance Constructors Action where ...