quickcheck-state-machine-0.3.0: Test monadic programs using state machine based models

Copyright(C) 2017 ATS Advanced Telematic Systems GmbH Li-yao Xia
LicenseBSD-style (see the file LICENSE)
MaintainerLi-yao Xia <lysxia@gmail.com>
Stabilityprovisional
Portabilitynon-portable (GHC extensions)
Safe HaskellNone
LanguageHaskell2010

Test.StateMachine.Types.Generics.TH

Description

Template Haskell functions to derive some general-purpose functionalities.

Synopsis

Documentation

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

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] Source #

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

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

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

mkShrinker :: Name -> Q Exp Source #

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

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

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