Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Dijkstra.TreeDiff

Contents

Orphan instances

Synopsis

class ToExpr a

Documentation

class ToExpr a 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" []]]

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 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 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 CBORBytes
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ CBORBytes → Expr Source # listToExpr ∷ [CBORBytes] → Expr Source #
ToExpr HexBytes
Instance details Defined in Test.Cardano.Ledger.Binary.TreeDiff Methods toExpr ∷ HexBytes → Expr Source # listToExpr ∷ [HexBytes] → Expr Source #
ToExpr DijkstraTxBodyRaw Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ DijkstraTxBodyRaw → Expr Source # listToExpr ∷ [DijkstraTxBodyRaw] → Expr Source #
ToExpr IntSet
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ IntSet → Expr Source # listToExpr ∷ [IntSet] → 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 (ZipList a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ ZipList a → Expr Source # listToExpr ∷ [ZipList 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 (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 (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 (NonEmpty a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ NonEmpty a → Expr Source # listToExpr ∷ [NonEmpty 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 (PlutusScript DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ PlutusScript DijkstraEra → Expr Source # listToExpr ∷ [PlutusScript DijkstraEra] → Expr Source #
ToExpr (TxBody DijkstraEra) Source #
Instance details Defined in Test.Cardano.Ledger.Dijkstra.TreeDiff Methods toExpr ∷ TxBody DijkstraEra → Expr Source # listToExpr ∷ [TxBody DijkstraEra] → Expr Source #
ToExpr (KeyPair r)
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods toExpr ∷ KeyPair r → Expr Source # listToExpr ∷ [KeyPair r] → Expr Source #
ToExpr (SomeSTSEvent era)
Instance details Defined in Test.Cardano.Ledger.Shelley.ImpTest Methods toExpr ∷ SomeSTSEvent era → Expr Source # listToExpr ∷ [SomeSTSEvent era] → 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 #
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 #
(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 #
HasResolution a ⇒ ToExpr (Fixed a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Fixed a → Expr Source # listToExpr ∷ [Fixed a] → Expr Source #
ToExpr (Proxy a)
Instance details Defined in Data.TreeDiff.Class Methods toExpr ∷ Proxy a → Expr Source # listToExpr ∷ [Proxy a] → 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 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 #

Orphan instances

ToExpr DijkstraTxBodyRaw Source #
Instance details Methods toExpr ∷ DijkstraTxBodyRaw → Expr Source # listToExpr ∷ [DijkstraTxBodyRaw] → Expr Source #
ToExpr (PlutusScript DijkstraEra) Source #
Instance details Methods toExpr ∷ PlutusScript DijkstraEra → Expr Source # listToExpr ∷ [PlutusScript DijkstraEra] → Expr Source #
ToExpr (TxBody DijkstraEra) Source #
Instance details Methods toExpr ∷ TxBody DijkstraEra → Expr Source # listToExpr ∷ [TxBody DijkstraEra] → Expr Source #