Modulequickcheck-state-machine-0.10.4
Test.StateMachine.TreeDiff
- 6 types
- 1 class
- 21 values
- Packagequickcheck-state-machine-0.10.4
- Exports28
- LicenceBSD-3-Clause
Methods
toExpr :: a -> ExprlistToExpr :: [a] -> Expr
Instances68ToExpr, …
ToExpr ByteStringDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr ByteStringDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr IntSetDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr VoidDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr IntegerDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr NaturalDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Int16Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Int32Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Int64Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Int8Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr BoolDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr CharDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr DoubleDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr FloatDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr IntDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr OrderingDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr WordDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Word16Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Word32Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Word64Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr Word8Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr VarDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphanToExpr TextDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr TextDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr DayDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr UTCTimeDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr ()Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr (Opaque a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphanToExpr a => ToExpr (First a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Last a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Max a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Min a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Tree a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (NonEmpty a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Identity a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (First a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Last a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Dual a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Product a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Sum a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (ZipList a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Maybe a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Concrete a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphanToExpr a => ToExpr (Symbolic a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphanToExpr a => ToExpr (Vector a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr [a]Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr k => ToExpr (Set k)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr v => ToExpr (IntMap v)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr v => ToExpr (Seq v)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, Storable a) => ToExpr (Vector a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, Integral a) => ToExpr (Ratio a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, Prim a) => ToExpr (Vector a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, Unbox a) => ToExpr (Vector a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassHasResolution a => ToExpr (Fixed a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr (Proxy a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr (MockHandle t) => ToExpr (MockHandleN (Simple t) (RealHandle t))Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphanToExpr (r a) => ToExpr (Reference a r)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphanAll (And ToExpr (Compose ToExpr (MockHandleN t))) (RealHandles t) => ToExpr (Refss t Concrete)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan(ToExpr (MockState t), All (And ToExpr (Compose ToExpr (MockHandleN t))) (RealHandles t)) => ToExpr (Model t Concrete)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan(ToExpr a, ToExpr b) => ToExpr (Either a b)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, ToExpr b) => ToExpr (a, b)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr k, ToExpr v) => ToExpr (Map k v)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ClassToExpr a => ToExpr (Const a b)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, ToExpr (MockHandleN t a)) => ToExpr (Refs t Concrete a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan(ToExpr a, ToExpr b, ToExpr c) => ToExpr (a, b, c)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, ToExpr b, ToExpr c, ToExpr d) => ToExpr (a, b, c, d)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class(ToExpr a, ToExpr b, ToExpr c, ToExpr d, ToExpr e) => ToExpr (a, b, c, d, e)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
Constructors
Instances4Eq, Show, Arbitrary, ToExpr
Eq ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ExprShow ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ExprArbitrary ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.ExprToExpr ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class