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

Copyright	(C) 2017 ATS Advanced Telematic Systems GmbH Li-yao Xia
License	BSD-style (see the file LICENSE)
Maintainer	Li-yao Xia <lysxia@gmail.com>
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	Safe
Language	Haskell2010

Test.StateMachine.Types.Generics

Description

Datatype-generic utilities.

Synopsis

Documentation

newtype Constructor Source #

A constructor name is a string.

Constructors

Constructor String

Instances

Eq Constructor Source #
Methods (==) :: Constructor -> Constructor -> Bool # (/=) :: Constructor -> Constructor -> Bool #
Ord Constructor Source #
Methods compare :: Constructor -> Constructor -> Ordering # (<) :: Constructor -> Constructor -> Bool # (<=) :: Constructor -> Constructor -> Bool # (>) :: Constructor -> Constructor -> Bool # (>=) :: Constructor -> Constructor -> Bool # max :: Constructor -> Constructor -> Constructor # min :: Constructor -> Constructor -> Constructor #
Show Constructor Source #
Methods showsPrec :: Int -> Constructor -> ShowS # show :: Constructor -> String # showList :: [Constructor] -> ShowS #

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.