Modulequickcheck-state-machine-0.10.4

Test.StateMachine.TreeDiff

Synopsis

value defaultExprViaShow
value ediff
value ediff'
value sopToExpr
value exprDiff
value ansiWlBgEditExpr
value ansiWlBgEditExprCompact
value ansiWlBgExpr
value ansiWlBgPretty
value ansiWlEditExpr
value ansiWlEditExprCompact
value ansiWlExpr
value ansiWlPretty
value escapeName
value ppEditExpr
value ppEditExprCompact
value ppExpr
value prettyEditExpr
value prettyEditExprCompact
value prettyExpr
value prettyPretty
class ToExpr
type ConstructorName
data EditExpr
data Expr
type FieldName
data Edit
data Pretty

Packagequickcheck-state-machine-0.10.4
Exports28
LicenceBSD-3-Clause

valuedefaultExprViaShow :: Show a => a -> Expr

valueediff :: ToExpr a => a -> a -> Edit EditExpr

valueediff' :: (ToExpr a, ToExpr b) => a -> b -> Edit EditExpr

valuesopToExpr :: All2 ToExpr xss => DatatypeInfo xss -> SOP I xss -> Expr

valueexprDiff :: Expr -> Expr -> Edit EditExpr

valueansiWlBgEditExpr :: Edit EditExpr -> Doc AnsiStyle

valueansiWlBgEditExprCompact :: Edit EditExpr -> Doc AnsiStyle

valueansiWlBgExpr :: Expr -> Doc AnsiStyle

valueansiWlBgPretty :: Pretty (Doc AnsiStyle)

valueansiWlEditExpr :: Edit EditExpr -> Doc AnsiStyle

valueansiWlEditExprCompact :: Edit EditExpr -> Doc AnsiStyle

valueansiWlExpr :: Expr -> Doc AnsiStyle

valueansiWlPretty :: Pretty (Doc AnsiStyle)

valueescapeName :: String -> String

valueppEditExpr :: Pretty doc -> Edit EditExpr -> doc

valueppEditExprCompact :: Pretty doc -> Edit EditExpr -> doc

valueppExpr :: Pretty doc -> Expr -> doc

valueprettyEditExpr :: Edit EditExpr -> Doc

valueprettyEditExprCompact :: Edit EditExpr -> Doc

valueprettyExpr :: Expr -> Doc

valueprettyPretty :: Pretty Doc

classclass ToExpr a where

Methods

toExpr :: a -> Expr
listToExpr :: [a] -> Expr

Instances68ToExpr, …

ToExpr ByteStringDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr ByteStringDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr IntSetDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr VoidDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr IntegerDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr NaturalDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Int16Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Int32Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Int64Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Int8Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr BoolDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr CharDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr DoubleDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr FloatDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr IntDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr OrderingDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr WordDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Word16Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Word32Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Word64Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr Word8Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr VarDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan
ToExpr TextDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr TextDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr DayDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr UTCTimeDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr ()Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr (Opaque a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan
ToExpr a => ToExpr (First a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Last a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Max a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Min a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Tree a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (NonEmpty a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Identity a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (First a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Last a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Dual a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Product a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Sum a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (ZipList a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Maybe a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr (Concrete a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan
ToExpr a => ToExpr (Symbolic a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan
ToExpr a => ToExpr (Vector a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr a => ToExpr [a]Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr k => ToExpr (Set k)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr v => ToExpr (IntMap v)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr 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.Class
HasResolution a => ToExpr (Fixed a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr (Proxy a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class
ToExpr (MockHandle t) => ToExpr (MockHandleN (Simple t) (RealHandle t))Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan
ToExpr (r a) => ToExpr (Reference a r)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Diffing · orphan
All (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.Class
ToExpr 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

typetype ConstructorName = String

datadata EditExpr

Constructors

EditApp ConstructorName [Edit EditExpr]
EditRec ConstructorName (Map FieldName (Edit EditExpr))
EditLst [Edit EditExpr]
EditExp Expr

Instances1Show

Show EditExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Expr

datadata Expr

Constructors

App ConstructorName [Expr]
Rec ConstructorName (Map FieldName Expr)
Lst [Expr]

Instances4Eq, Show, Arbitrary, ToExpr

Eq ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Expr
Show ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Expr
Arbitrary ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Expr
ToExpr ExprDefined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.Class

typetype FieldName = String

datadata Edit a

Constructors

Ins a
Del a
Cpy a
Swp a a

Instances1Show

Show a => Show (Edit a)Defined in quickcheck-state-machine-0.10.4 · Test.StateMachine.TreeDiff.List

datadata Pretty doc

Constructors

Pretty
- ppCon :: ConstructorName -> doc
- ppRec :: [(FieldName, doc)] -> doc
- ppLst :: [doc] -> doc
- ppCpy :: doc -> doc
- ppIns :: doc -> doc
- ppDel :: doc -> doc
- ppSep :: [doc] -> doc
- ppParens :: doc -> doc
- ppHang :: doc -> doc -> doc