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 HaskellSafe
LanguageHaskell2010

Test.StateMachine.Types.Generics

Description

Datatype-generic utilities.

Synopsis

Documentation

class Constructors (act :: (* -> *) -> * -> *) where Source #

Extracting constructors from actions.

Minimal complete definition

constructor, nConstructors

Methods

constructor :: act v a -> Constructor Source #

Constructor of a given action.

nConstructors :: proxy act -> Int Source #

Total number of constructors in the action type.