quickcheck-state-machine-0.3.1: 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.HFunctor.TH

Description

Template Haskell functions to derive higher-order structures.

Synopsis

Documentation

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

deriveHTraversable ''Action
===>
instance HTraversable Action where ...

mkhtraverse :: Name -> Q Exp Source #

Derive the body of htraverse.

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

deriveHFoldable ''Action
===>
instance HFoldable Action where ...

mkhfoldMap :: Name -> Q Exp Source #

Derive the body of hfoldMap.

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

deriveHFunctor ''Action
===>
instance HFunctor Action where ...

mkhfmap :: Name -> Q Exp Source #

Derive the body of hfmap.