==================== FINAL INTERFACE ==================== 2019-09-22 14:52:22.843401 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Utils.Files 8065 interface hash: be8b55ae20111318469d4c2cd6d22eb6 ABI hash: b2b779ebebf03f66af4a684b17d25d25 export-list hash: 061e3dd63eb42c6c413f2db46ae3d0cb orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 4b16e365336fc5de55264750fcd32533 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Utils.Files.copyFiles Language.Fixpoint.Utils.Files.extFileName Language.Fixpoint.Utils.Files.extFileNameR Language.Fixpoint.Utils.Files.extModuleName Language.Fixpoint.Utils.Files.getFileInDirs Language.Fixpoint.Utils.Files.getFixpointPath Language.Fixpoint.Utils.Files.getZ3LibPath Language.Fixpoint.Utils.Files.isBinary Language.Fixpoint.Utils.Files.isExtFile Language.Fixpoint.Utils.Files.tempDirectory Language.Fixpoint.Utils.Files.withExt Language.Fixpoint.Utils.Files.Ext{Language.Fixpoint.Utils.Files.Annot Language.Fixpoint.Utils.Files.Auto Language.Fixpoint.Utils.Files.BinFq Language.Fixpoint.Utils.Files.BinSpec Language.Fixpoint.Utils.Files.Cache Language.Fixpoint.Utils.Files.Cgi Language.Fixpoint.Utils.Files.Cst Language.Fixpoint.Utils.Files.Dat Language.Fixpoint.Utils.Files.Dot Language.Fixpoint.Utils.Files.Fq Language.Fixpoint.Utils.Files.Hquals Language.Fixpoint.Utils.Files.Hs Language.Fixpoint.Utils.Files.HsBoot Language.Fixpoint.Utils.Files.Html Language.Fixpoint.Utils.Files.Js Language.Fixpoint.Utils.Files.Json Language.Fixpoint.Utils.Files.LHs Language.Fixpoint.Utils.Files.Min Language.Fixpoint.Utils.Files.MinKVars Language.Fixpoint.Utils.Files.MinQuals Language.Fixpoint.Utils.Files.Mkdn Language.Fixpoint.Utils.Files.Out Language.Fixpoint.Utils.Files.PAss Language.Fixpoint.Utils.Files.Part Language.Fixpoint.Utils.Files.Pred Language.Fixpoint.Utils.Files.Result Language.Fixpoint.Utils.Files.Saved Language.Fixpoint.Utils.Files.Smt2 Language.Fixpoint.Utils.Files.Spec Language.Fixpoint.Utils.Files.Ts Language.Fixpoint.Utils.Files.Vim} 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 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 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:Control.Exception 041da5b6267cf6b639ff5716d5b299a9 import -/ base-4.12.0.0:Control.Monad 07eaec7fd256019b318d048d00f45b1c 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.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.IO 898d4ddbf00eb4732e5f462760aa42ae import -/ base-4.12.0.0:GHC.IO.Exception 77722984940ee6ccf9e2f7dab10b83a4 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ directory-1.3.3.0:System.Directory 49a915596c61b7c4c6db58cd4e1272c2 import -/ filepath-1.4.2.1:System.FilePath 15c54060cebd29621bfc77f7f6fce3ff import -/ filepath-1.4.2.1:System.FilePath.Posix 807571ae31e154c61d0c6bb61ff8b097 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e errorstar e47c2d482124b43e020a405f809adcff 2200547bd69549ec4bc703e1fe4c80e1 $fEqExt :: GHC.Classes.Eq Language.Fixpoint.Utils.Files.Ext DFunId 2200547bd69549ec4bc703e1fe4c80e1 $fOrdExt :: GHC.Classes.Ord Language.Fixpoint.Utils.Files.Ext DFunId 2200547bd69549ec4bc703e1fe4c80e1 $fShowExt :: GHC.Show.Show Language.Fixpoint.Utils.Files.Ext DFunId e836b71d57151f8e670b073a0d5a78e7 $tc'Annot :: GHC.Types.TyCon ee97a1fe34312bca16322d03082e4ea0 $tc'Auto :: GHC.Types.TyCon 14b704ab0118cc89cf05fe4237dd3c69 $tc'BinFq :: GHC.Types.TyCon 47c816b0f88ed662ace2cb5a644cfd71 $tc'BinSpec :: GHC.Types.TyCon b15e89ee15c9b5509319edd990836753 $tc'Cache :: GHC.Types.TyCon 1778232d4dfdbbab831e0a056f0e8261 $tc'Cgi :: GHC.Types.TyCon daec3fb1afb7112e7b9095c64070bbc5 $tc'Cst :: GHC.Types.TyCon 2d0ec01cad4c2fafcef5ec7dfc70e8c4 $tc'Dat :: GHC.Types.TyCon 33d118bb5c8ec7bf657d1ce6a88c46a1 $tc'Dot :: GHC.Types.TyCon 7dbd88322977c74aef74209d6bb4e17b $tc'Fq :: GHC.Types.TyCon b1f14ea99a828d3fc08939c7ed792cf3 $tc'Hquals :: GHC.Types.TyCon 50e7137b729159332b953463a2ba68c8 $tc'Hs :: GHC.Types.TyCon ef67b45444660ab73f40177fa27371b5 $tc'HsBoot :: GHC.Types.TyCon 8f97e4b6250b90fe06343ac23b12eebb $tc'Html :: GHC.Types.TyCon d7c30b0e2268c0e9c8d7a377b4e87a9c $tc'Js :: GHC.Types.TyCon de94a85ef1995e5b1aa18653588a78a9 $tc'Json :: GHC.Types.TyCon b90ad95b55e487ea14b43eb428ced465 $tc'LHs :: GHC.Types.TyCon aef5a2d295cded66bb1cfc158ea841c4 $tc'Min :: GHC.Types.TyCon a4bc410f788d6c54e17dab8d9f962ce1 $tc'MinKVars :: GHC.Types.TyCon 90898817faa5d679c03d1e8728717cb9 $tc'MinQuals :: GHC.Types.TyCon 2e43419c91a611a88e4251e09104435e $tc'Mkdn :: GHC.Types.TyCon 0b4c436ce36a4af553a78b7fa711093d $tc'Out :: GHC.Types.TyCon f3d68606b4d131bb5262d04436d2f5ea $tc'PAss :: GHC.Types.TyCon c86c01e266797f6865b59f3edca1ee79 $tc'Part :: GHC.Types.TyCon e19ae30eda9bc1f8719218ba28e60b87 $tc'Pred :: GHC.Types.TyCon 05f7a39135ab2576d3f6924c51ccc491 $tc'Result :: GHC.Types.TyCon 5ed086b4ec00ddc83822184ac2e55c1e $tc'Saved :: GHC.Types.TyCon dfee058070b2e18e4e19506717334217 $tc'Smt2 :: GHC.Types.TyCon 54e01b2db9997965e5a7bed9e900b782 $tc'Spec :: GHC.Types.TyCon e76b15a7cf1e7cba364c298126bd97f0 $tc'Ts :: GHC.Types.TyCon be395eb879fd7b0566eaa68ad8f4b236 $tc'Vim :: GHC.Types.TyCon ded402fa0f0c1cdddfd2a6e4787f0bfb $tcExt :: GHC.Types.TyCon a38a536fb124fdc4d0dc5fdae64d0826 $trModule :: GHC.Types.Module 2200547bd69549ec4bc703e1fe4c80e1 data Ext = Cgi | Fq | Out | Html | Annot | Vim | Hs | HsBoot | LHs | Js | Ts | Spec | BinSpec | Hquals | Result | Cst | Mkdn | Json | Saved | Cache | Dot | Part GHC.Types.Int | Auto GHC.Types.Int | Pred | PAss | Dat | BinFq | Smt2 | Min | MinQuals | MinKVars a016e354873fa57613fedef69d4e260d copyFiles :: [GHC.IO.FilePath] -> GHC.IO.FilePath -> GHC.Types.IO () 86adcb1270446909c1fa5137dc51787e extFileName :: Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath -> GHC.IO.FilePath f802b03968786dfc557af4347ff15b72 extFileNameR :: Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath -> GHC.IO.FilePath 8e3d69730108401ed93ff2e0c82b5303 extModuleName :: GHC.Base.String -> Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath 28cc3ddc1d45217cec77cffe6c661bd8 getFileInDirs :: GHC.IO.FilePath -> [GHC.IO.FilePath] -> GHC.Types.IO (GHC.Maybe.Maybe GHC.IO.FilePath) 421c8b1d8e10c200901e276e45c55999 getFixpointPath :: GHC.Types.IO GHC.IO.FilePath 2dec4fc8ca25e227c2a448d3f21af4d4 getZ3LibPath :: GHC.Types.IO GHC.IO.FilePath 37556bf16c847289b917ecc01530f9ab isBinary :: GHC.IO.FilePath -> GHC.Types.Bool a97178d6c6d438d85e0d395b244a7fdf isExtFile :: Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath -> GHC.Types.Bool 86958c16e3aeb89b5e9764945d725b17 tempDirectory :: GHC.IO.FilePath -> GHC.IO.FilePath 92bff4ec21055788580bcf004630f86b withExt :: GHC.IO.FilePath -> Language.Fixpoint.Utils.Files.Ext -> GHC.IO.FilePath instance GHC.Classes.Eq [Language.Fixpoint.Utils.Files.Ext] = Language.Fixpoint.Utils.Files.$fEqExt instance GHC.Classes.Ord [Language.Fixpoint.Utils.Files.Ext] = Language.Fixpoint.Utils.Files.$fOrdExt instance GHC.Show.Show [Language.Fixpoint.Utils.Files.Ext] = Language.Fixpoint.Utils.Files.$fShowExt trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: