==================== FINAL INTERFACE ==================== 2019-09-22 14:52:48.470942 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Horn.Parse 8065 interface hash: d176146b332eb390a9bf970b2a2fe4ea ABI hash: 9f1981e42326dd58c15023ced33569e6 export-list hash: 751630279013e53852bb88d78620b0d3 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: ffdd8bc21d9b1057aba7398b1a09f314 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Horn.Parse.hornP module dependencies: Language.Fixpoint.Horn.Types Language.Fixpoint.Misc Language.Fixpoint.Parse Language.Fixpoint.Smt.Bitvector Language.Fixpoint.Smt.Types Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Utils.Files 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 cereal-0.5.8.0 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 intern-0.9.2 mtl-2.2.2 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances 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 transformers-0.5.6.2:Control.Monad.Trans.Error 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 intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Horn.Types liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Parse liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Bitvector liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers 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.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ Language.Fixpoint.Horn.Types 0ae363ed255ece99a3de1063ec58a439 exports: 9b0de31aa69a6babffad4da85add20a8 All 1a7e3b9f77b04f80c74882bd6503b3fc Any 0026c819285e671851394e642270367f Bind f62ccca134d4da48207548fbdc3fb06e Bind 193a8da174f543b2ef448a31321a0e0a CAnd 2c805a8ce0258234c9defd19d95a8fed Cstr 193a8da174f543b2ef448a31321a0e0a HVar 96613aab13475aef155186ba07183349 Head 85db9aaa2c49b57ea94b41073a266e89 PAnd 1ddfa876810b28ab17f0f3c7f6f7bfd9 Pred d1e3c9d23c9780cb1438b15d925e1c45 Query 7982285f6b4b341239d765f06789d248 Query 193a8da174f543b2ef448a31321a0e0a Reft 3f8572ce434a2d0b819521d12e4cf87f Var b2ae80e1af9b8434471af2ac86bc0cbe Var 49693393b4058ba73f4195bdab9e37ae qCon 193a8da174f543b2ef448a31321a0e0a qCstr 193a8da174f543b2ef448a31321a0e0a qDis 193a8da174f543b2ef448a31321a0e0a qQuals 193a8da174f543b2ef448a31321a0e0a qVars 193a8da174f543b2ef448a31321a0e0a import -/ Language.Fixpoint.Parse f8821d93a62aec9ae319d8a2deffc941 exports: c04662d065b8ef9661ceae7d7cc1940d Parser acba7f917e7308e392b364ab2b3f5de2 parens 3ff74a82c6c082ae43768e3b6520d072 predP abdb144613ea68cf27b2784d9240e49f reserved a00ff7b1b27c4805c4cedbcb08758ce6 sortP edc9dd330cfb2d2d7537020273e739e0 stringLiteral dd5125babd28fdb99570e629b5612e5f symbolP beab0f933832bfbcb60fab8ebd4a25e8 upperIdP 55990084a213fa411d0f585abd4b3389 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 PatNone 25106c4b55ee4d12827f60ed4dc88939 QP 66146f217745c702472b8c089e647bc1 QualParam 9aae2bcc537b45559d03a4eee2bb72e5 Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 mkQual 76509e579d10d7c92e5c9239d180adff import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c import -/ parsec-3.1.13.0:Text.Parsec 39c708f6ea8ba6a25ac6856fa0bd524b import -/ parsec-3.1.13.0:Text.Parsec.Char 99c6373d285605efc5fd2c36564cef6e import -/ parsec-3.1.13.0:Text.Parsec.Combinator 49575f55a63dd5c8ff4f34f8c448d167 import -/ parsec-3.1.13.0:Text.Parsec.Prim 0c85e47654f64ad8bae34fb738b44d0f import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 0efdf32d08fcd462e310c5cdf1fcfea3 $fFunctorHThing :: GHC.Base.Functor Language.Fixpoint.Horn.Parse.HThing DFunId 8f585a9084fb9e83931fd7fc7fd003f4 $tc'HCon :: GHC.Types.TyCon fc147e7ce31246ff5a37d16679201dd2 $tc'HCstr :: GHC.Types.TyCon 7cee72ee06501fb1156ba8fb333c4d1e $tc'HDis :: GHC.Types.TyCon 5cbb62a3c1e4141ac741ebdb5de02a59 $tc'HOpt :: GHC.Types.TyCon b23750947ed052073e00d2bcf60bf42d $tc'HQual :: GHC.Types.TyCon 513f647fd8fe5063ef77ddb7556f86e1 $tc'HVar :: GHC.Types.TyCon ad8f70e3a67857b9165089fb8dd94600 $tcHThing :: GHC.Types.TyCon f2d126276159d6a1183a7913af35d5fc $trModule :: GHC.Types.Module 0efdf32d08fcd462e310c5cdf1fcfea3 data HThing a = HQual !Language.Fixpoint.Types.Constraints.Qualifier | HVar !(Language.Fixpoint.Horn.Types.Var a) | HCstr !(Language.Fixpoint.Horn.Types.Cstr a) | HCon Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort | HDis Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort | HOpt !GHC.Base.String 694e6f4be9a57a568aa94f33ef711aa5 hornP :: Language.Fixpoint.Parse.Parser (Language.Fixpoint.Horn.Types.Query (), [GHC.Base.String]) instance GHC.Base.Functor [Language.Fixpoint.Horn.Parse.HThing] = Language.Fixpoint.Horn.Parse.$fFunctorHThing trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: