Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Binary.TreeDiff

Contents

Orphan instances

Synopsis

class ToExpr a where
- toExpr ∷ a → Expr
- listToExpr ∷ [a] → Expr
newtype CBORBytes = CBORBytes {
- unCBORBytes ∷ ByteString
}
newtype HexBytes = HexBytes {
- unHexBytes ∷ ByteString
}
showExpr ∷ ToExpr a ⇒ a → String
ansiExpr ∷ ToExpr a ⇒ a → Doc AnsiStyle
ansiExprString ∷ ToExpr a ⇒ a → String
diffExpr ∷ ToExpr a ⇒ a → a → Doc AnsiStyle
diffExprString ∷ ToExpr a ⇒ a → a → String
diffExprCompact ∷ ToExpr a ⇒ a → a → Doc AnsiStyle
diffExprCompactString ∷ ToExpr a ⇒ a → a → String
ansiDocToString ∷ Doc AnsiStyle → String
hexByteStringExpr ∷ ByteString → [Expr]
showHexBytesGrouped ∷ Int → ByteString → [String]
assertColorFailure ∷ HasCallStack ⇒ String → IO a
expectExprEqual ∷ (Eq a, ToExpr a) ⇒ a → a → Expectation
expectExprEqualWithMessage ∷ (ToExpr a, Eq a, HasCallStack) ⇒ String → a → a → Expectation
callStackToLocation ∷ CallStack → Maybe Location
srcLocToLocation ∷ SrcLoc → Location
data Expr
- = App ConstructorName [Expr]
- | Rec ConstructorName (OMap FieldName Expr)
- | Lst [Expr]
defaultExprViaShow ∷ Show a ⇒ a → Expr
trimExprViaShow ∷ Show a ⇒ Int → a → Expr
tableDoc ∷ Maybe (Doc AnsiStyle) → [(String, Doc AnsiStyle)] → Doc AnsiStyle
data Pretty doc = Pretty {
- ppCon ∷ ConstructorName → doc
- ppApp ∷ doc → [doc] → doc
- ppRec ∷ doc → [(FieldName, doc)] → doc
- ppLst ∷ [doc] → doc
- ppCpy ∷ doc → doc
- ppIns ∷ doc → doc
- ppDel ∷ doc → doc
- ppEdits ∷ [doc] → doc
- ppEllip ∷ doc
- ppParens ∷ doc → doc
}
data Doc ann
data AnsiStyle
ansiWlPretty ∷ Pretty Doc
ppEditExpr ∷ Pretty doc → Edit EditExpr → doc
ediff ∷ ToExpr a ⇒ a → a → Edit EditExpr

Documentation

class ToExpr a where Source #

toExpr converts a Haskell value into untyped Haskell-like syntax tree, Expr.

>>> toExpr ((1, Just 2) :: (Int, Maybe Int))
App "_\215_" [App "1" [],App "Just" [App "2" []]]

Minimal complete definition

Nothing

Methods

toExpr ∷ a → Expr Source #

default toExpr ∷ (Generic a, GToExpr (Rep a)) ⇒ a → Expr Source #

listToExpr ∷ [a] → Expr Source #

Instances

Instances details

ToExpr Key
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Key → Expr Source # listToExpr ∷ [Key] → Expr Source #
ToExpr Value
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Value → Expr Source # listToExpr ∷ [Value] → Expr Source #
ToExpr ByteArray	Since: tree-diff-0.2.2
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ByteArray → Expr Source # listToExpr ∷ [ByteArray] → Expr Source #
ToExpr ByteString	`>>>` `traverse_ (print . prettyExpr . toExpr . BS8.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" BS.concat ["foo\n", "bar"] BS.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ByteString → Expr Source # listToExpr ∷ [ByteString] → Expr Source #
ToExpr ByteString	`>>>` `traverse_ (print . prettyExpr . toExpr . LBS8.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" LBS.concat ["foo\n", "bar"] LBS.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ByteString → Expr Source # listToExpr ∷ [ByteString] → Expr Source #
ToExpr ShortByteString	`>>>` `traverse_ (print . prettyExpr . toExpr . SBS.toShort . BS8.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" mconcat ["foo\n", "bar"] mconcat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ShortByteString → Expr Source # listToExpr ∷ [ShortByteString] → Expr Source #
ToExpr IPv4
Instance details Defined in Test.Cardano.Base.TreeDiff Methods toExpr ∷ IPv4 → Expr Source # listToExpr ∷ [IPv4] → Expr Source #
ToExpr IPv6
Instance details Defined in Test.Cardano.Base.TreeDiff Methods toExpr ∷ IPv6 → Expr Source # listToExpr ∷ [IPv6] → Expr Source #
ToExpr DecoderError Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ DecoderError → Expr Source # listToExpr ∷ [DecoderError] → Expr Source #
ToExpr CBORBytes
Instance details Defined in Test.Cardano.Binary.TreeDiff Methods toExpr ∷ CBORBytes → Expr Source # listToExpr ∷ [CBORBytes] → Expr Source #
ToExpr HexBytes
Instance details Defined in Test.Cardano.Binary.TreeDiff Methods toExpr ∷ HexBytes → Expr Source # listToExpr ∷ [HexBytes] → Expr Source #
ToExpr Version Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Version → Expr Source # listToExpr ∷ [Version] → Expr Source #
ToExpr CBORBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ CBORBytes → Expr Source # listToExpr ∷ [CBORBytes] → Expr Source #
ToExpr HexBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ HexBytes → Expr Source # listToExpr ∷ [HexBytes] → Expr Source #
ToExpr BlockNo
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ BlockNo → Expr Source # listToExpr ∷ [BlockNo] → Expr Source #
ToExpr EpochNo
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ EpochNo → Expr Source # listToExpr ∷ [EpochNo] → Expr Source #
ToExpr EpochSize
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ EpochSize → Expr Source # listToExpr ∷ [EpochSize] → Expr Source #
ToExpr SlotNo
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ SlotNo → Expr Source # listToExpr ∷ [SlotNo] → Expr Source #
ToExpr DeserialiseFailure Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ DeserialiseFailure → Expr Source # listToExpr ∷ [DeserialiseFailure] → Expr Source #
ToExpr Term Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Term → Expr Source # listToExpr ∷ [Term] → Expr Source #
ToExpr IntSet
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ IntSet → Expr Source # listToExpr ∷ [IntSet] → Expr Source #
ToExpr Assign
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Assign → Expr Source # listToExpr ∷ [Assign] → Expr Source #
ToExpr Name
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Name → Expr Source # listToExpr ∷ [Name] → Expr Source #
ToExpr OccurrenceIndicator
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ OccurrenceIndicator → Expr Source # listToExpr ∷ [OccurrenceIndicator] → Expr Source #
ToExpr RangeBound
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ RangeBound → Expr Source # listToExpr ∷ [RangeBound] → Expr Source #
ToExpr TyOp
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ TyOp → Expr Source # listToExpr ∷ [TyOp] → Expr Source #
ToExpr Value
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Value → Expr Source # listToExpr ∷ [Value] → Expr Source #
ToExpr ValueVariant
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ ValueVariant → Expr Source # listToExpr ∷ [ValueVariant] → Expr Source #
ToExpr CtlOp
Instance details Defined in Codec.CBOR.Cuddle.CDDL.CtlOp Methods toExpr ∷ CtlOp → Expr Source # listToExpr ∷ [CtlOp] → Expr Source #
ToExpr Comment
Instance details Defined in Codec.CBOR.Cuddle.Comments Methods toExpr ∷ Comment → Expr Source # listToExpr ∷ [Comment] → Expr Source #
ToExpr Void
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Void → Expr Source # listToExpr ∷ [Void] → Expr Source #
ToExpr Int16
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int16 → Expr Source # listToExpr ∷ [Int16] → Expr Source #
ToExpr Int32
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int32 → Expr Source # listToExpr ∷ [Int32] → Expr Source #
ToExpr Int64
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int64 → Expr Source # listToExpr ∷ [Int64] → Expr Source #
ToExpr Int8
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int8 → Expr Source # listToExpr ∷ [Int8] → Expr Source #
ToExpr Word16
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word16 → Expr Source # listToExpr ∷ [Word16] → Expr Source #
ToExpr Word32
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word32 → Expr Source # listToExpr ∷ [Word32] → Expr Source #
ToExpr Word64
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word64 → Expr Source # listToExpr ∷ [Word64] → Expr Source #
ToExpr Word8
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word8 → Expr Source # listToExpr ∷ [Word8] → Expr Source #
ToExpr Ordering
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Ordering → Expr Source # listToExpr ∷ [Ordering] → Expr Source #
ToExpr Scientific	`>>>` `prettyExpr $ toExpr (123.456 :: Scientific)`scientific 123456 `-3`
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Scientific → Expr Source # listToExpr ∷ [Scientific] → Expr Source #
ToExpr Text	`>>>` `traverse_ (print . prettyExpr . toExpr . T.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" T.concat ["foo\n", "bar"] T.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Text → Expr Source # listToExpr ∷ [Text] → Expr Source #
ToExpr Text	`>>>` `traverse_ (print . prettyExpr . toExpr . LT.pack) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" LT.concat ["foo\n", "bar"] LT.concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Text → Expr Source # listToExpr ∷ [Text] → Expr Source #
ToExpr Day	`>>>` `prettyExpr $ toExpr $ ModifiedJulianDay 58014`Day "2017-09-18"
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Day → Expr Source # listToExpr ∷ [Day] → Expr Source #
ToExpr UTCTime
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ UTCTime → Expr Source # listToExpr ∷ [UTCTime] → Expr Source #
ToExpr Expr
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Expr → Expr Source # listToExpr ∷ [Expr] → Expr Source #
ToExpr UUID	`>>>` `prettyExpr $ toExpr UUID.nil`UUID "00000000-0000-0000-0000-000000000000"
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ UUID → Expr Source # listToExpr ∷ [UUID] → Expr Source #
ToExpr Integer
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Integer → Expr Source # listToExpr ∷ [Integer] → Expr Source #
ToExpr Natural
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Natural → Expr Source # listToExpr ∷ [Natural] → Expr Source #
ToExpr ()
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ () → Expr Source # listToExpr ∷ [()] → Expr Source #
ToExpr Bool
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Bool → Expr Source # listToExpr ∷ [Bool] → Expr Source #
ToExpr Char	`>>>` `prettyExpr $ toExpr 'a'`'a' `>>>` `prettyExpr $ toExpr "Hello world"`"Hello world" `>>>` `prettyExpr $ toExpr "Hello\nworld"`concat ["Hello\n", "world"] `>>>` `traverse_ (print . prettyExpr . toExpr) ["", "\n", "foo", "foo\n", "foo\nbar", "foo\nbar\n"]`"" "\n" "foo" "foo\n" concat ["foo\n", "bar"] concat ["foo\n", "bar\n"]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Char → Expr Source # listToExpr ∷ [Char] → Expr Source #
ToExpr Double
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Double → Expr Source # listToExpr ∷ [Double] → Expr Source #
ToExpr Float
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Float → Expr Source # listToExpr ∷ [Float] → Expr Source #
ToExpr Int
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Int → Expr Source # listToExpr ∷ [Int] → Expr Source #
ToExpr Word
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Word → Expr Source # listToExpr ∷ [Word] → Expr Source #
ToExpr a ⇒ ToExpr (KeyMap a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ KeyMap a → Expr Source # listToExpr ∷ [KeyMap a] → Expr Source #
ToExpr a ⇒ ToExpr (First a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ First a → Expr Source # listToExpr ∷ [First a] → Expr Source #
ToExpr a ⇒ ToExpr (Last a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Last a → Expr Source # listToExpr ∷ [Last a] → Expr Source #
ToExpr a ⇒ ToExpr (Max a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Max a → Expr Source # listToExpr ∷ [Max a] → Expr Source #
ToExpr a ⇒ ToExpr (Min a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Min a → Expr Source # listToExpr ∷ [Min a] → Expr Source #
ToExpr a ⇒ ToExpr (Sized a) Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Sized a → Expr Source # listToExpr ∷ [Sized a] → Expr Source #
ToExpr x ⇒ ToExpr (WithOrigin x)
Instance details Defined in Test.Cardano.Slotting.TreeDiff Methods toExpr ∷ WithOrigin x → Expr Source # listToExpr ∷ [WithOrigin x] → Expr Source #
ToExpr a ⇒ ToExpr (StrictMaybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ StrictMaybe a → Expr Source # listToExpr ∷ [StrictMaybe a] → Expr Source #
ToExpr a ⇒ ToExpr (StrictSeq a) Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ StrictSeq a → Expr Source # listToExpr ∷ [StrictSeq a] → Expr Source #
ToExpr v ⇒ ToExpr (IntMap v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ IntMap v → Expr Source # listToExpr ∷ [IntMap v] → Expr Source #
ToExpr v ⇒ ToExpr (Seq v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Seq v → Expr Source # listToExpr ∷ [Seq v] → Expr Source #
ToExpr k ⇒ ToExpr (Set k)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Set k → Expr Source # listToExpr ∷ [Set k] → Expr Source #
ToExpr a ⇒ ToExpr (Tree a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Tree a → Expr Source # listToExpr ∷ [Tree a] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (CDDL i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ CDDL i → Expr Source # listToExpr ∷ [CDDL i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (GenericArg i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GenericArg i → Expr Source # listToExpr ∷ [GenericArg i] → Expr Source #
ToExpr (XTerm i) ⇒ ToExpr (GenericParameter i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GenericParameter i → Expr Source # listToExpr ∷ [GenericParameter i] → Expr Source #
ToExpr (XTerm i) ⇒ ToExpr (GenericParameters i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GenericParameters i → Expr Source # listToExpr ∷ [GenericParameters i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (Group i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Group i → Expr Source # listToExpr ∷ [Group i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (GroupEntry i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GroupEntry i → Expr Source # listToExpr ∷ [GroupEntry i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (GroupEntryVariant i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GroupEntryVariant i → Expr Source # listToExpr ∷ [GroupEntryVariant i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (GrpChoice i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ GrpChoice i → Expr Source # listToExpr ∷ [GrpChoice i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (MemberKey i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ MemberKey i → Expr Source # listToExpr ∷ [MemberKey i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (Rule i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Rule i → Expr Source # listToExpr ∷ [Rule i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (TopLevel i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ TopLevel i → Expr Source # listToExpr ∷ [TopLevel i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (Type0 i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Type0 i → Expr Source # listToExpr ∷ [Type0 i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (Type1 i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Type1 i → Expr Source # listToExpr ∷ [Type1 i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (Type2 i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ Type2 i → Expr Source # listToExpr ∷ [Type2 i] → Expr Source #
ForAllExtensions i ToExpr ⇒ ToExpr (TypeOrGroup i)
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods toExpr ∷ TypeOrGroup i → Expr Source # listToExpr ∷ [TypeOrGroup i] → Expr Source #
ToExpr (XCddl ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser Methods toExpr ∷ XCddl ParserStage → Expr Source # listToExpr ∷ [XCddl ParserStage] → Expr Source #
ToExpr (XCddl PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty Methods toExpr ∷ XCddl PrettyStage → Expr Source # listToExpr ∷ [XCddl PrettyStage] → Expr Source #
ToExpr (XRule ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser Methods toExpr ∷ XRule ParserStage → Expr Source # listToExpr ∷ [XRule ParserStage] → Expr Source #
ToExpr (XRule PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty Methods toExpr ∷ XRule PrettyStage → Expr Source # listToExpr ∷ [XRule PrettyStage] → Expr Source #
ToExpr (XTerm ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser Methods toExpr ∷ XTerm ParserStage → Expr Source # listToExpr ∷ [XTerm ParserStage] → Expr Source #
ToExpr (XTerm PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty Methods toExpr ∷ XTerm PrettyStage → Expr Source # listToExpr ∷ [XTerm PrettyStage] → Expr Source #
ToExpr (XXTopLevel ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser Methods toExpr ∷ XXTopLevel ParserStage → Expr Source # listToExpr ∷ [XXTopLevel ParserStage] → Expr Source #
ToExpr (XXTopLevel PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty Methods toExpr ∷ XXTopLevel PrettyStage → Expr Source # listToExpr ∷ [XXTopLevel PrettyStage] → Expr Source #
ToExpr (XXType2 ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser Methods toExpr ∷ XXType2 ParserStage → Expr Source # listToExpr ∷ [XXType2 ParserStage] → Expr Source #
ToExpr (XXType2 PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty Methods toExpr ∷ XXType2 PrettyStage → Expr Source # listToExpr ∷ [XXType2 PrettyStage] → Expr Source #
ToExpr a ⇒ ToExpr (NonEmpty a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ NonEmpty a → Expr Source # listToExpr ∷ [NonEmpty a] → Expr Source #
ToExpr a ⇒ ToExpr (Identity a)	`>>>` `prettyExpr $ toExpr $ Identity 'a'`Identity 'a'
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Identity a → Expr Source # listToExpr ∷ [Identity a] → Expr Source #
ToExpr a ⇒ ToExpr (First a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ First a → Expr Source # listToExpr ∷ [First a] → Expr Source #
ToExpr a ⇒ ToExpr (Last a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Last a → Expr Source # listToExpr ∷ [Last a] → Expr Source #
ToExpr a ⇒ ToExpr (Dual a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Dual a → Expr Source # listToExpr ∷ [Dual a] → Expr Source #
ToExpr a ⇒ ToExpr (Product a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Product a → Expr Source # listToExpr ∷ [Product a] → Expr Source #
ToExpr a ⇒ ToExpr (Sum a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Sum a → Expr Source # listToExpr ∷ [Sum a] → Expr Source #
ToExpr a ⇒ ToExpr (ZipList a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ZipList a → Expr Source # listToExpr ∷ [ZipList a] → Expr Source #
(ToExpr a, Integral a) ⇒ ToExpr (Ratio a)	`>>>` `prettyExpr $ toExpr (3 % 12 :: Rational)`_%_ 1 4
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Ratio a → Expr Source # listToExpr ∷ [Ratio a] → Expr Source #
ToExpr a ⇒ ToExpr (Hashed a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Hashed a → Expr Source # listToExpr ∷ [Hashed a] → Expr Source #
ToExpr a ⇒ ToExpr (Maybe a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Maybe a → Expr Source # listToExpr ∷ [Maybe a] → Expr Source #
ToExpr k ⇒ ToExpr (HashSet k)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ HashSet k → Expr Source # listToExpr ∷ [HashSet k] → Expr Source #
ToExpr a ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
(ToExpr a, Prim a) ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
(ToExpr a, Storable a) ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
(ToExpr a, Unbox a) ⇒ ToExpr (Vector a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Vector a → Expr Source # listToExpr ∷ [Vector a] → Expr Source #
ToExpr a ⇒ ToExpr (Maybe a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Maybe a → Expr Source # listToExpr ∷ [Maybe a] → Expr Source #
ToExpr a ⇒ ToExpr [a]
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ [a] → Expr Source # listToExpr ∷ [[a]] → Expr Source #
HasResolution a ⇒ ToExpr (Fixed a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Fixed a → Expr Source # listToExpr ∷ [Fixed a] → Expr Source #
DSIGNAlgorithm c ⇒ ToExpr (SignedDSIGN c index) Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ SignedDSIGN c index → Expr Source # listToExpr ∷ [SignedDSIGN c index] → Expr Source #
ToExpr (Hash c index) Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ Hash c index → Expr Source # listToExpr ∷ [Hash c index] → Expr Source #
(ToExpr k, ToExpr v) ⇒ ToExpr (Map k v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Map k v → Expr Source # listToExpr ∷ [Map k v] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (Either a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Either a b → Expr Source # listToExpr ∷ [Either a b] → Expr Source #
ToExpr (Proxy a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Proxy a → Expr Source # listToExpr ∷ [Proxy a] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (Either a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Either a b → Expr Source # listToExpr ∷ [Either a b] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (These a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ These a b → Expr Source # listToExpr ∷ [These a b] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (Pair a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Pair a b → Expr Source # listToExpr ∷ [Pair a b] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (These a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ These a b → Expr Source # listToExpr ∷ [These a b] → Expr Source #
(ToExpr k, ToExpr v) ⇒ ToExpr (HashMap k v)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ HashMap k v → Expr Source # listToExpr ∷ [HashMap k v] → Expr Source #
(ToExpr a, ToExpr b) ⇒ ToExpr (a, b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b) → Expr Source # listToExpr ∷ [(a, b)] → Expr Source #
ToExpr a ⇒ ToExpr (Const a b)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Const a b → Expr Source # listToExpr ∷ [Const a b] → Expr Source #
ToExpr a ⇒ ToExpr (Tagged t a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Tagged t a → Expr Source # listToExpr ∷ [Tagged t a] → Expr Source #
(ToExpr a, ToExpr b, ToExpr c) ⇒ ToExpr (a, b, c)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b, c) → Expr Source # listToExpr ∷ [(a, b, c)] → Expr Source #
(ToExpr a, ToExpr b, ToExpr c, ToExpr d) ⇒ ToExpr (a, b, c, d)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b, c, d) → Expr Source # listToExpr ∷ [(a, b, c, d)] → Expr Source #
(ToExpr a, ToExpr b, ToExpr c, ToExpr d, ToExpr e) ⇒ ToExpr (a, b, c, d, e)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ (a, b, c, d, e) → Expr Source # listToExpr ∷ [(a, b, c, d, e)] → Expr Source #

newtype CBORBytes Source #

Constructors

CBORBytes
Fields unCBORBytes ∷ ByteString

Instances

Instances details

Show CBORBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods showsPrec ∷ Int → CBORBytes → ShowS # show ∷ CBORBytes → String # showList ∷ [CBORBytes] → ShowS #
Eq CBORBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods (==) ∷ CBORBytes → CBORBytes → Bool # (/=) ∷ CBORBytes → CBORBytes → Bool #
ToExpr CBORBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ CBORBytes → Expr Source # listToExpr ∷ [CBORBytes] → Expr Source #

newtype HexBytes Source #

Wraps regular ByteString, but shows and diffs it as hex

Constructors

HexBytes
Fields unHexBytes ∷ ByteString

Instances

Instances details

Show HexBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods showsPrec ∷ Int → HexBytes → ShowS # show ∷ HexBytes → String # showList ∷ [HexBytes] → ShowS #
Eq HexBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods (==) ∷ HexBytes → HexBytes → Bool # (/=) ∷ HexBytes → HexBytes → Bool #
ToExpr HexBytes Source #
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ HexBytes → Expr Source # listToExpr ∷ [HexBytes] → Expr Source #

showExpr ∷ ToExpr a ⇒ a → String Source #

ansiExpr ∷ ToExpr a ⇒ a → Doc AnsiStyle Source #

ansiExprString ∷ ToExpr a ⇒ a → String Source #

diffExpr ∷ ToExpr a ⇒ a → a → Doc AnsiStyle Source #

diffExprString ∷ ToExpr a ⇒ a → a → String Source #

diffExprCompact ∷ ToExpr a ⇒ a → a → Doc AnsiStyle Source #

diffExprCompactString ∷ ToExpr a ⇒ a → a → String Source #

ansiDocToString ∷ Doc AnsiStyle → String Source #

hexByteStringExpr ∷ ByteString → [Expr] Source #

showHexBytesGrouped ∷ Int → ByteString → [String] Source #

Show a ByteString as hex groups of 8bytes each. This is a slightly more useful form for debugging, rather than bunch of escaped characters.

assertColorFailure ∷ HasCallStack ⇒ String → IO a Source #

Similar to assertFailure, except hspec will not interfer with any escape sequences that indicate color output.

expectExprEqual ∷ (Eq a, ToExpr a) ⇒ a → a → Expectation Source #

Check that two values are equal and if they are not raise an exception with the ToExpr diff

expectExprEqualWithMessage ∷ (ToExpr a, Eq a, HasCallStack) ⇒ String → a → a → Expectation Source #

callStackToLocation ∷ CallStack → Maybe Location Source #

Convert the top call from the CallStack to hspec's Location

srcLocToLocation ∷ SrcLoc → Location Source #

Convert SrcLoc to hspec's Location

data Expr Source #

A untyped Haskell-like expression.

Having richer structure than just Tree allows to have richer diffs.

Constructors

App ConstructorName [Expr]	application
Rec ConstructorName (OMap FieldName Expr)	record constructor
Lst [Expr]	list constructor

Instances

Instances details

Arbitrary Expr
Instance details Defined in Data.TreeDiff.Expr Methods arbitrary ∷ Gen Expr Source # shrink ∷ Expr → [Expr] Source #
NFData Expr
Instance details Defined in Data.TreeDiff.Expr Methods rnf ∷ Expr → () #
Show Expr
Instance details Defined in Data.TreeDiff.Expr Methods showsPrec ∷ Int → Expr → ShowS # show ∷ Expr → String # showList ∷ [Expr] → ShowS #
Eq Expr
Instance details Defined in Data.TreeDiff.Expr Methods (==) ∷ Expr → Expr → Bool # (/=) ∷ Expr → Expr → Bool #
Ord Expr
Instance details Defined in Data.TreeDiff.Expr Methods compare ∷ Expr → Expr → Ordering # (<) ∷ Expr → Expr → Bool # (<=) ∷ Expr → Expr → Bool # (>) ∷ Expr → Expr → Bool # (>=) ∷ Expr → Expr → Bool # max ∷ Expr → Expr → Expr # min ∷ Expr → Expr → Expr #
ToExpr Expr
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Expr → Expr Source # listToExpr ∷ [Expr] → Expr Source #

defaultExprViaShow ∷ Show a ⇒ a → Expr Source #

An alternative implementation for literal types. We use show representation of them.

trimExprViaShow ∷ Show a ⇒ Int → a → Expr Source #

tableDoc ∷ Maybe (Doc AnsiStyle) → [(String, Doc AnsiStyle)] → Doc AnsiStyle Source #

data Pretty doc Source #

Because we don't want to commit to single pretty printing library, we use explicit dictionary.

Constructors

Pretty

Fields

ppCon ∷ ConstructorName → doc
Display ConstructorName
ppApp ∷ doc → [doc] → doc
Display App
ppRec ∷ doc → [(FieldName, doc)] → doc
Display Rec
ppLst ∷ [doc] → doc
Display Lst
ppCpy ∷ doc → doc
Display unchanged parts
ppIns ∷ doc → doc
Display added parts
ppDel ∷ doc → doc
Display removed parts
ppEdits ∷ [doc] → doc
Combined edits (usually some sep combinator)
ppEllip ∷ doc
Ellipsis
ppParens ∷ doc → doc
Parens an expression

data Doc ann Source #

The abstract data type Doc ann represents pretty documents that have been annotated with data of type ann.

More specifically, a value of type Doc represents a non-empty set of possible layouts of a document. The layout functions select one of these possibilities, taking into account things like the width of the output document.

The annotation is an arbitrary piece of data associated with (part of) a document. Annotations may be used by the rendering backends in order to display output differently, such as

color information (e.g. when rendering to the terminal)
mouseover text (e.g. when rendering to rich HTML)
whether to show something or not (to allow simple or detailed versions)

The simplest way to display a Doc is via the Show class.

>>> putStrLn (show (vsep ["hello", "world"]))
hello
world

Instances

Instances details

Functor Doc

Alter the document’s annotations.

This instance makes Doc more flexible (because it can be used in Functor-polymorphic values), but fmap is much less readable compared to using reAnnotate in code that only works for Doc anyway. Consider using the latter when the type does not matter.

Instance details

Defined in Prettyprinter.Internal

Methods

fmap ∷ (a → b) → Doc a → Doc b #

(<$) ∷ a → Doc b → Doc a #

Monoid (Doc ann)

mempty = emptyDoc
mconcat = hcat

>>> mappend "hello" "world" :: Doc ann
helloworld

Instance details

Defined in Prettyprinter.Internal

Methods

mempty ∷ Doc ann #

mappend ∷ Doc ann → Doc ann → Doc ann #

mconcat ∷ [Doc ann] → Doc ann #

Semigroup (Doc ann)

x <> y = hcat [x, y]

>>> "hello" <> "world" :: Doc ann
helloworld

Instance details

Defined in Prettyprinter.Internal

Methods

(<>) ∷ Doc ann → Doc ann → Doc ann #

sconcat ∷ NonEmpty (Doc ann) → Doc ann #

stimes ∷ Integral b ⇒ b → Doc ann → Doc ann #

IsString (Doc ann)

>>> pretty ("hello\nworld")
hello
world

This instance uses the Pretty Text instance, and uses the same newline to line conversion.

Instance details

Defined in Prettyprinter.Internal

Methods

fromString ∷ String → Doc ann #

Generic (Doc ann)

Instance details

Defined in Prettyprinter.Internal

Associated Types

type Rep (Doc ann)

Instance details

Defined in Prettyprinter.Internal

Methods

from ∷ Doc ann → Rep (Doc ann) x #

to ∷ Rep (Doc ann) x → Doc ann #

Show (Doc ann)

(show doc) prettyprints document doc with defaultLayoutOptions, ignoring all annotations.

Instance details

Defined in Prettyprinter.Internal

Methods

showsPrec ∷ Int → Doc ann → ShowS #

show ∷ Doc ann → String #

showList ∷ [Doc ann] → ShowS #

type Rep (Doc ann)

Instance details

Defined in Prettyprinter.Internal

data AnsiStyle Source #

Render the annotated document in a certain style. Styles not set in the annotation will use the style of the surrounding document, or the terminal’s default if none has been set yet.

style = color Green <> bold
styledDoc = annotate style "hello world"

Instances

Instances details

Monoid AnsiStyle	`mempty` does nothing, which is equivalent to inheriting the style of the surrounding doc, or the terminal’s default if no style has been set yet.
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods mempty ∷ AnsiStyle # mappend ∷ AnsiStyle → AnsiStyle → AnsiStyle # mconcat ∷ [AnsiStyle] → AnsiStyle #
Semigroup AnsiStyle	Keep the first decision for each of foreground color, background color, boldness, italication, and underlining. If a certain style is not set, the terminal’s default will be used. Example: `color` `Red` `<>` `color` `Green` is red because the first color wins, and not bold because (or if) that’s the terminal’s default.
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods (<>) ∷ AnsiStyle → AnsiStyle → AnsiStyle # sconcat ∷ NonEmpty AnsiStyle → AnsiStyle # stimes ∷ Integral b ⇒ b → AnsiStyle → AnsiStyle #
Show AnsiStyle
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods showsPrec ∷ Int → AnsiStyle → ShowS # show ∷ AnsiStyle → String # showList ∷ [AnsiStyle] → ShowS #
Eq AnsiStyle
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods (==) ∷ AnsiStyle → AnsiStyle → Bool # (/=) ∷ AnsiStyle → AnsiStyle → Bool #
Ord AnsiStyle
Instance details Defined in Prettyprinter.Render.Terminal.Internal Methods compare ∷ AnsiStyle → AnsiStyle → Ordering # (<) ∷ AnsiStyle → AnsiStyle → Bool # (<=) ∷ AnsiStyle → AnsiStyle → Bool # (>) ∷ AnsiStyle → AnsiStyle → Bool # (>=) ∷ AnsiStyle → AnsiStyle → Bool # max ∷ AnsiStyle → AnsiStyle → AnsiStyle # min ∷ AnsiStyle → AnsiStyle → AnsiStyle #

ansiWlPretty ∷ Pretty Doc Source #

Pretty via ansi-wl-pprint library (with colors).

ppEditExpr ∷ Pretty doc → Edit EditExpr → doc Source #

Pretty print an Edit EditExpr using explicit pretty-printing dictionary.

ediff ∷ ToExpr a ⇒ a → a → Edit EditExpr Source #

Difference between two ToExpr values.

>>> let x = (1, Just 2) :: (Int, Maybe Int)
>>> let y = (1, Nothing)
>>> prettyEditExpr (ediff x y)
_×_ 1 -(Just 2) +Nothing

>>> data Foo = Foo { fooInt :: Either Char Int, fooBool :: [Maybe Bool], fooString :: String } deriving (Eq, Generic)
>>> instance ToExpr Foo

>>> prettyEditExpr $ ediff (Foo (Right 2) [Just True] "fo") (Foo (Right 3) [Just True] "fo")
Foo {fooInt = Right -2 +3, fooBool = [Just True], fooString = "fo"}

>>> prettyEditExpr $ ediff (Foo (Right 42) [Just True, Just False] "old") (Foo (Right 42) [Nothing, Just False, Just True] "new")
Foo {
  fooInt = Right 42,
  fooBool = [-Just True, +Nothing, Just False, +Just True],
  fooString = -"old" +"new"}

Orphan instances

ToExpr DecoderError Source #
Instance details Methods toExpr ∷ DecoderError → Expr Source # listToExpr ∷ [DecoderError] → Expr Source #
ToExpr Version Source #
Instance details Methods toExpr ∷ Version → Expr Source # listToExpr ∷ [Version] → Expr Source #
ToExpr DeserialiseFailure Source #
Instance details Methods toExpr ∷ DeserialiseFailure → Expr Source # listToExpr ∷ [DeserialiseFailure] → Expr Source #
ToExpr Term Source #
Instance details Methods toExpr ∷ Term → Expr Source # listToExpr ∷ [Term] → Expr Source #
ToExpr a ⇒ ToExpr (Sized a) Source #
Instance details Methods toExpr ∷ Sized a → Expr Source # listToExpr ∷ [Sized a] → Expr Source #
ToExpr a ⇒ ToExpr (StrictMaybe a) Source #
Instance details Methods toExpr ∷ StrictMaybe a → Expr Source # listToExpr ∷ [StrictMaybe a] → Expr Source #
ToExpr a ⇒ ToExpr (StrictSeq a) Source #
Instance details Methods toExpr ∷ StrictSeq a → Expr Source # listToExpr ∷ [StrictSeq a] → Expr Source #
DSIGNAlgorithm c ⇒ ToExpr (SignedDSIGN c index) Source #
Instance details Methods toExpr ∷ SignedDSIGN c index → Expr Source # listToExpr ∷ [SignedDSIGN c index] → Expr Source #
ToExpr (Hash c index) Source #
Instance details Methods toExpr ∷ Hash c index → Expr Source # listToExpr ∷ [Hash c index] → Expr Source #