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

A constructor name is a string.

Constructors

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

Methods

Constructor of a given action.

Total number of constructors in the action type.