==================== FINAL INTERFACE ==================== 2019-09-22 14:52:24.570476 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.PrettyPrint 8065 interface hash: fce91380bd196bf4e9bda290792daa34 ABI hash: 2104c549ff18167e86668f84d86b14a0 export-list hash: 83877bba67b408c83589a0ff3bac0070 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 52e19d8c00add78bc0ef30b418448c68 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.PrettyPrint.boxDoc Language.Fixpoint.Types.PrettyPrint.boxHSep Language.Fixpoint.Types.PrettyPrint.docBox Language.Fixpoint.Types.PrettyPrint.notracepp Language.Fixpoint.Types.PrettyPrint.pprint Language.Fixpoint.Types.PrettyPrint.pprintKVs Language.Fixpoint.Types.PrettyPrint.showFix Language.Fixpoint.Types.PrettyPrint.showTable Language.Fixpoint.Types.PrettyPrint.showpp Language.Fixpoint.Types.PrettyPrint.traceFix Language.Fixpoint.Types.PrettyPrint.tracepp Language.Fixpoint.Types.PrettyPrint.DocTable{Language.Fixpoint.Types.PrettyPrint.DocTable} Language.Fixpoint.Types.PrettyPrint.Fixpoint{Language.Fixpoint.Types.PrettyPrint.simplify Language.Fixpoint.Types.PrettyPrint.toFix} Language.Fixpoint.Types.PrettyPrint.PPrint{Language.Fixpoint.Types.PrettyPrint.pprintPrec Language.Fixpoint.Types.PrettyPrint.pprintTidy} Language.Fixpoint.Types.PrettyPrint.PTable{Language.Fixpoint.Types.PrettyPrint.ptable} Language.Fixpoint.Types.PrettyPrint.Tidy{Language.Fixpoint.Types.PrettyPrint.Full Language.Fixpoint.Types.PrettyPrint.Lossy} module dependencies: Language.Fixpoint.Misc Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 text-1.2.3.1 time-1.8.0.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Data.Either 423bee738f25e5ee983d072216009be8 import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e import -/ base-4.12.0.0:Debug.Trace 60f75ad789dcddb29321db1cb21ccd4c import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ boxes-0.1.5:Text.PrettyPrint.Boxes f0e57cbca6a300198c8dcd585e4c2ae6 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e tshow 044dfce5ef708f72e5ca59e37dc09756 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 <-> a6bccb4500bca89f567c047995747774 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ text-1.2.3.1:Data.Text 681b9c3df5b4e4b4e23ef5f840f0b692 import -/ text-1.2.3.1:Data.Text.Internal 537e168590e8068f673f691833f78483 import -/ text-1.2.3.1:Data.Text.Show b788b7edd0f190b1a7c4f4aba0e35f18 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 addDependentFile "/Users/niki/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/include/ghcversion.h" 43db44f9bb88490c2fa995e5f5ec33f2 addDependentFile ".stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/cabal_macros.h" 5d4a89af56b14b9a96821af0abd9deca 1f29b3f207492ffa2323c20e2c1b7b4a $dmpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc 1f29b3f207492ffa2323c20e2c1b7b4a $dmpprintTidy :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc 98d26628e0637967f879c1c12cfa20b7 $dmsimplify :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => a -> a 222d036ecc7fd8f220064937c0399cf9 $fEqTidy :: GHC.Classes.Eq Language.Fixpoint.Types.PrettyPrint.Tidy DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpoint() :: Language.Fixpoint.Types.PrettyPrint.Fixpoint () DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpoint(,) :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (a, b) DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpoint(,,) :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b, Language.Fixpoint.Types.PrettyPrint.Fixpoint c) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (a, b, c) DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpointBool :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Bool DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpointDouble :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Double DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpointHashSet :: (GHC.Classes.Ord a, Data.Hashable.Class.Hashable a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Data.HashSet.HashSet a) DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpointInt :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Int DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpointInteger :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Integer.Type.Integer DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpointMaybe :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (GHC.Maybe.Maybe a) DFunId 98d26628e0637967f879c1c12cfa20b7 $fFixpoint[] :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint [a] DFunId 87350c6ae695833a148a7ef4f4cfdf9f $fMonoidDocTable :: GHC.Base.Monoid Language.Fixpoint.Types.PrettyPrint.DocTable DFunId 222d036ecc7fd8f220064937c0399cf9 $fOrdTidy :: GHC.Classes.Ord Language.Fixpoint.Types.PrettyPrint.Tidy DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrint() :: Language.Fixpoint.Types.PrettyPrint.PPrint () DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrint(,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrint(,,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b, c) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrint(,,,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c, Language.Fixpoint.Types.PrettyPrint.PPrint d) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b, c, d) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrint(,,,,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b, Language.Fixpoint.Types.PrettyPrint.PPrint c, Language.Fixpoint.Types.PrettyPrint.PPrint d, Language.Fixpoint.Types.PrettyPrint.PPrint e) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b, c, d, e) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintBool :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Bool DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintDoc :: Language.Fixpoint.Types.PrettyPrint.PPrint Text.PrettyPrint.HughesPJ.Doc DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintDocTable :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.PrettyPrint.DocTable DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintEither :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (Data.Either.Either a b) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintFloat :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Float DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintHashMap :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (Data.HashMap.Base.HashMap a b) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintHashSet :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Data.HashSet.HashSet a) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintInt :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Int DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintInteger :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Integer.Type.Integer DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintMaybe :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (GHC.Maybe.Maybe a) DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrintText :: Language.Fixpoint.Types.PrettyPrint.PPrint Data.Text.Internal.Text DFunId 1f29b3f207492ffa2323c20e2c1b7b4a $fPPrint[] :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint [a] DFunId 87350c6ae695833a148a7ef4f4cfdf9f $fSemigroupDocTable :: GHC.Base.Semigroup Language.Fixpoint.Types.PrettyPrint.DocTable DFunId e130a1e34f8b5c15f4a6bb6352d8c4b9 $tc'C:Fixpoint :: GHC.Types.TyCon 42f35affe8e8cc1317c5fb89025d47a9 $tc'C:PPrint :: GHC.Types.TyCon 7ee88dfae67a9d8f9a8070d419202191 $tc'C:PTable :: GHC.Types.TyCon d5c408ae22e9fdff3ad9bcb56b67c645 $tc'DocTable :: GHC.Types.TyCon 67683c2707c62f946c3358dff306faf9 $tc'Full :: GHC.Types.TyCon 2af8c1c67fb0bd67de8dcd570a14eaaf $tc'Lossy :: GHC.Types.TyCon 3d48213494c9a1b1f905b021b73400c2 $tcDocTable :: GHC.Types.TyCon 366bb51cb5a97317fdc424a1d7ba4630 $tcFixpoint :: GHC.Types.TyCon eb7eeeedde3b670c52bf03fc2a1b26bc $tcPPrint :: GHC.Types.TyCon 7d1ab0f202c7a660a014f304e9fba286 $tcPTable :: GHC.Types.TyCon b52a326ec6453531e0b8a6b41702b58c $tcTidy :: GHC.Types.TyCon 1491152e4de8ecbc89202dbcbc175cb8 $trModule :: GHC.Types.Module 87350c6ae695833a148a7ef4f4cfdf9f newtype DocTable = DocTable [(Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc)] 98d26628e0637967f879c1c12cfa20b7 class Fixpoint a where toFix :: a -> Text.PrettyPrint.HughesPJ.Doc simplify :: a -> a {-# MINIMAL toFix #-} 1f29b3f207492ffa2323c20e2c1b7b4a class PPrint a where pprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc pprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc e8b4bbc42515b2faadf940cf2792c24b class PTable a where ptable :: a -> Language.Fixpoint.Types.PrettyPrint.DocTable {-# MINIMAL ptable #-} 222d036ecc7fd8f220064937c0399cf9 data Tidy = Lossy | Full 5dd41b1f4e9941967d384e16c81d1900 boxDoc :: Text.PrettyPrint.Boxes.Box -> Text.PrettyPrint.HughesPJ.Doc 306bc3ebb052d07455cfd08ef5587a0c boxHSep :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc 343d1d6c952d021d740f0fbe9a1d6c25 docBox :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.Boxes.Box 5a793f230115fb21796571cbf9bfbf52 notracepp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Base.String -> a -> a 955dc9d031db587300edf6146ac33be4 pprint :: Language.Fixpoint.Types.PrettyPrint.PPrint a => a -> Text.PrettyPrint.HughesPJ.Doc 07dc92ab912f4a936c42f767d930636e pprintKVs :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint v) => Language.Fixpoint.Types.PrettyPrint.Tidy -> [(k, v)] -> Text.PrettyPrint.HughesPJ.Doc 3e850f4dba10210e482ff12d7ed17f7e showFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => a -> GHC.Base.String 9dc0873b2334dfc105c979af9bf9e311 showTable :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint v) => Language.Fixpoint.Types.PrettyPrint.Tidy -> [(k, v)] -> GHC.Base.String a9f79fc9a75f72593341c16b4b8ac492 showpp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => a -> GHC.Base.String eb6df3982e2235a35d278d13bd0a1ad9 traceFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Base.String -> a -> a 8899c37de114d5de26a0fa6bae58ac89 tracepp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Base.String -> a -> a instance GHC.Classes.Eq [Language.Fixpoint.Types.PrettyPrint.Tidy] = Language.Fixpoint.Types.PrettyPrint.$fEqTidy instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [()] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint() instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [(,)] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,) instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [(,,)] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint(,,) instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Types.Bool] = Language.Fixpoint.Types.PrettyPrint.$fFixpointBool instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Types.Double] = Language.Fixpoint.Types.PrettyPrint.$fFixpointDouble instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Data.HashSet.HashSet] = Language.Fixpoint.Types.PrettyPrint.$fFixpointHashSet instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Types.Int] = Language.Fixpoint.Types.PrettyPrint.$fFixpointInt instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Integer.Type.Integer] = Language.Fixpoint.Types.PrettyPrint.$fFixpointInteger instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [GHC.Maybe.Maybe] = Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [[]] = Language.Fixpoint.Types.PrettyPrint.$fFixpoint[] instance GHC.Base.Monoid [Language.Fixpoint.Types.PrettyPrint.DocTable] = Language.Fixpoint.Types.PrettyPrint.$fMonoidDocTable instance GHC.Classes.Ord [Language.Fixpoint.Types.PrettyPrint.Tidy] = Language.Fixpoint.Types.PrettyPrint.$fOrdTidy instance Language.Fixpoint.Types.PrettyPrint.PPrint [()] = Language.Fixpoint.Types.PrettyPrint.$fPPrint() instance Language.Fixpoint.Types.PrettyPrint.PPrint [(,)] = Language.Fixpoint.Types.PrettyPrint.$fPPrint(,) instance Language.Fixpoint.Types.PrettyPrint.PPrint [(,,)] = Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,) instance Language.Fixpoint.Types.PrettyPrint.PPrint [(,,,)] = Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,,) instance Language.Fixpoint.Types.PrettyPrint.PPrint [(,,,,)] = Language.Fixpoint.Types.PrettyPrint.$fPPrint(,,,,) instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Types.Bool] = Language.Fixpoint.Types.PrettyPrint.$fPPrintBool instance Language.Fixpoint.Types.PrettyPrint.PPrint [Text.PrettyPrint.HughesPJ.Doc] = Language.Fixpoint.Types.PrettyPrint.$fPPrintDoc instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.PrettyPrint.DocTable] = Language.Fixpoint.Types.PrettyPrint.$fPPrintDocTable instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.Either.Either] = Language.Fixpoint.Types.PrettyPrint.$fPPrintEither instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Types.Float] = Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.PrettyPrint.$fPPrintHashMap instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.HashSet.HashSet] = Language.Fixpoint.Types.PrettyPrint.$fPPrintHashSet instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Types.Int] = Language.Fixpoint.Types.PrettyPrint.$fPPrintInt instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Integer.Type.Integer] = Language.Fixpoint.Types.PrettyPrint.$fPPrintInteger instance Language.Fixpoint.Types.PrettyPrint.PPrint [GHC.Maybe.Maybe] = Language.Fixpoint.Types.PrettyPrint.$fPPrintMaybe instance Language.Fixpoint.Types.PrettyPrint.PPrint [Data.Text.Internal.Text] = Language.Fixpoint.Types.PrettyPrint.$fPPrintText instance Language.Fixpoint.Types.PrettyPrint.PPrint [[]] = Language.Fixpoint.Types.PrettyPrint.$fPPrint[] instance GHC.Base.Semigroup [Language.Fixpoint.Types.PrettyPrint.DocTable] = Language.Fixpoint.Types.PrettyPrint.$fSemigroupDocTable trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: