==================== FINAL INTERFACE ==================== 2017-05-15 08:53:22.786931 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.PrettyPrint 8002 interface hash: 1ce09fa0f24d10f40e8e52e9d5e742f3 ABI hash: eda0054495b47e5cdbd9189907beceb5 export-list hash: 34612ba1b0c9e0c5c9e416c7877ea2a9 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: f99c5df795e9a0a14c19697b9b989ebd sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.PrettyPrint.boxDoc Language.Fixpoint.Types.PrettyPrint.boxHSep Language.Fixpoint.Types.PrettyPrint.debugOn 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 package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Debug.Trace a9edf3aec504f4423d8ba829ab373a25 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m:Text.PrettyPrint.Boxes 06317079dc1484f477639a6ffe963956 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable 7d10d34251a69a2590fb6d42e4140fe6 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Class 8a5b5f72682ff3e25541f7e85c3ab8dc import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b tshow 6b8c68197267609218874f3cacce684a import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text 02cbbc20bdd508fabc38de38896bbae0 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal a2f6f66c5bb1247458d9fa25257ab188 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show 638b4149d86790151d6d4eeca215be94 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 addDependentFile "/usr/local/lib/ghc-8.0.2/include/ghcversion.h" addDependentFile ".stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/autogen/cabal_macros.h" 137fa91bed5df4b1819866949d974796 $dmpprintPrec :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc 9eb0f789e0b05e782969d11b67ccf1dc $dmpprintTidy :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.Tidy -> a -> Text.PrettyPrint.HughesPJ.Doc 8ad4ceb434ada308fa2c55611733df15 $dmsimplify :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => a -> a c0c0ca1abf16d4b8b50cc6d2075b553b $fEqTidy :: GHC.Classes.Eq Language.Fixpoint.Types.PrettyPrint.Tidy DFunId ed2c9c62a916ec4b9fedf9553cd44702 $fFixpoint() :: Language.Fixpoint.Types.PrettyPrint.Fixpoint () DFunId ed2c9c62a916ec4b9fedf9553cd44702 $fFixpoint(,) :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint b) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (a, b) DFunId ed2c9c62a916ec4b9fedf9553cd44702 $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 ed2c9c62a916ec4b9fedf9553cd44702 $fFixpointBool :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Bool DFunId ed2c9c62a916ec4b9fedf9553cd44702 $fFixpointDouble :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Double DFunId ed2c9c62a916ec4b9fedf9553cd44702 $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 ed2c9c62a916ec4b9fedf9553cd44702 $fFixpointInt :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Types.Int DFunId ed2c9c62a916ec4b9fedf9553cd44702 $fFixpointInteger :: Language.Fixpoint.Types.PrettyPrint.Fixpoint GHC.Integer.Type.Integer DFunId ed2c9c62a916ec4b9fedf9553cd44702 $fFixpointMaybe :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (GHC.Base.Maybe a) DFunId ed2c9c62a916ec4b9fedf9553cd44702 $fFixpoint[] :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint [a] DFunId 6a431dc8338f7351ea1decece4cfdd0c $fMonoidDocTable :: GHC.Base.Monoid Language.Fixpoint.Types.PrettyPrint.DocTable DFunId c0c0ca1abf16d4b8b50cc6d2075b553b $fOrdTidy :: GHC.Classes.Ord Language.Fixpoint.Types.PrettyPrint.Tidy DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrint() :: Language.Fixpoint.Types.PrettyPrint.PPrint () DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrint(,) :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (a, b) DFunId 78b520d4c3718d2e8c30eba678b273b4 $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 78b520d4c3718d2e8c30eba678b273b4 $fPPrintBool :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Bool DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintDoc :: Language.Fixpoint.Types.PrettyPrint.PPrint Text.PrettyPrint.HughesPJ.Doc DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintDocTable :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.PrettyPrint.DocTable DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintFloat :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Float DFunId 78b520d4c3718d2e8c30eba678b273b4 $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 78b520d4c3718d2e8c30eba678b273b4 $fPPrintHashSet :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Data.HashSet.HashSet a) DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintInt :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Int DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintInteger :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Integer.Type.Integer DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintMaybe :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (GHC.Base.Maybe a) DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrintText :: Language.Fixpoint.Types.PrettyPrint.PPrint Data.Text.Internal.Text DFunId 78b520d4c3718d2e8c30eba678b273b4 $fPPrint[] :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint [a] DFunId 4c65b19193528dc30699ebe538bca87d $tc'C:Fixpoint :: GHC.Types.TyCon 67b8548a801db32c19a763994b7255e0 $tc'C:PPrint :: GHC.Types.TyCon 62108ab546d34eb6d76300de52dc9009 $tc'C:PTable :: GHC.Types.TyCon 87f6be1a02d66297784942eaddbfaf02 $tc'DocTable :: GHC.Types.TyCon 9c9a5ee205795873df17e5a4cf2ea884 $tc'Full :: GHC.Types.TyCon b75198ba4d410817e213a69151da94a8 $tc'Lossy :: GHC.Types.TyCon c37586943b7fc4bd42f18c293cdf3cee $tcDocTable :: GHC.Types.TyCon c132fa74b4bd37979591c9a488396bef $tcFixpoint :: GHC.Types.TyCon 124670f33b1ba87d8e596c04e25c400f $tcPPrint :: GHC.Types.TyCon e1a48f6dd8eb0f9017c0b4fd94652f70 $tcPTable :: GHC.Types.TyCon 4b164c4c6a46f70889c0cea80e52448b $tcTidy :: GHC.Types.TyCon e8d5fe02e19cccce1dd1d693b88e972e $trModule :: GHC.Types.Module 6a431dc8338f7351ea1decece4cfdd0c newtype DocTable = DocTable [(Text.PrettyPrint.HughesPJ.Doc, Text.PrettyPrint.HughesPJ.Doc)] ed2c9c62a916ec4b9fedf9553cd44702 class Fixpoint a where toFix :: a -> Text.PrettyPrint.HughesPJ.Doc simplify :: a -> a {-# MINIMAL toFix #-} 78b520d4c3718d2e8c30eba678b273b4 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 96acc7d93bf439f3db52aa4c809365f0 class PTable a where ptable :: a -> Language.Fixpoint.Types.PrettyPrint.DocTable {-# MINIMAL ptable #-} c0c0ca1abf16d4b8b50cc6d2075b553b data Tidy = Lossy | Full 4533433be7a536e8ba9809bd48b120ff boxDoc :: Text.PrettyPrint.Boxes.Box -> Text.PrettyPrint.HughesPJ.Doc 48c13b0fcee600b569fb474fed9a2613 boxHSep :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc d8209df9298d2986d435dc2b3a66a84a debugOn :: GHC.Types.Bool 79bea3c214f1107ce52dca222c3a257c docBox :: Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.Boxes.Box 76dfcf35001c48dc68c544d8970117c9 notracepp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => GHC.Base.String -> a -> a ddfd75447423a2dd5342795b308506e9 pprint :: Language.Fixpoint.Types.PrettyPrint.PPrint a => a -> Text.PrettyPrint.HughesPJ.Doc 5908a369b6bf3dbbe33fd5dabb0f7821 pprintKVs :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint v) => Language.Fixpoint.Types.PrettyPrint.Tidy -> [(k, v)] -> Text.PrettyPrint.HughesPJ.Doc eb3baa422e4ecf285c589d9841a82c5b showFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => a -> GHC.Base.String 77c765db38bb8f17fd1005df3787f000 showTable :: (Language.Fixpoint.Types.PrettyPrint.PPrint k, Language.Fixpoint.Types.PrettyPrint.PPrint v) => Language.Fixpoint.Types.PrettyPrint.Tidy -> [(k, v)] -> GHC.Base.String 6c7acfad3292f20adf3bdca6d5c2204a showpp :: Language.Fixpoint.Types.PrettyPrint.PPrint a => a -> GHC.Base.String de992e04dc2bb47a796423fdb070e324 traceFix :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Base.String -> a -> a 78a70a5acbe58decd7c5cab8a4c1cfeb 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.Base.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 [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 [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.Base.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[] vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False