==================== FINAL INTERFACE ==================== 2019-09-22 14:52:32.224666 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Templates 8065 interface hash: 0c8afa53a24e9b7a2f996975e57e4f2c ABI hash: 46d5acca1a4b5a91c1a3f7aba53b295b export-list hash: 3b06582f59435b3bf7b3ebed147e24cf orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 44f8084eb2d604b2f2a980aeb95a89a5 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Templates.anything Language.Fixpoint.Types.Templates.isAnyTemplates Language.Fixpoint.Types.Templates.isEmptyTemplates Language.Fixpoint.Types.Templates.makeTemplates Language.Fixpoint.Types.Templates.matchesTemplates Language.Fixpoint.Types.Templates.HasTemplates|{Language.Fixpoint.Types.Templates.filterUnMatched} Language.Fixpoint.Types.Templates.Templates module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans 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 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 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: 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 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.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 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.Foldable efb37371da929e7bc88d896298d2d979 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 -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 Symbol 3f986d27cdf6315dd770c516fc00a643 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc exports: c373b88351492ec6aa75dffded20541a EApp 54242238b0fd99173645e603ea6a95e1 EBin 584c6077045554d53d7c9a89592b60d3 ECoerc d62592d9495e238bd832577950db4048 ECst 77d8fb760e457bfd124c455ed691c864 EIte bcb7471d1eafba69c1a57099f120b1bb ELam e0029a0f9c90cfaf5ca8a8fc8de8a995 ENeg c7c4772e5c9c737684dc4ada02f5ae77 ETAbs 6c85c26f9de90ebed31639fcdf59cab4 ETApp c6b0114335eb572da40fed762c8d9566 EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 PAll 95061dd88b416f835271772df1b74807 PAnd 668269c725f0f517f2cefead144acbec PAtom efd69e8b2834a0937ec103ca6d2f2b7d PExist c6ca2ca0202788949bf0d916db637f7a PGrad 550de568c0242ed5fa6ef66e4aa1194d PIff 2a17d6131a34fb2676761302524edfd8 PImp 71d909aca81df6b76b372b30b2979f8d PNot dd52d33c67ccd94ba2b9bc2daaf6153f POr 8896d8a5009f7964d0fb6a9c72eaff6c Reft 11628612f280bce553f9c182ec061ec6 Reft 58dd7eff6040aa97f060415235c6cb01 conjuncts 62dbde6d56cf10a600838f12dff254d8 pAnd d997a1bd3b1f67d4020526858eca07c4 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 660a52dc43a23478cbacb71c8fa43325 $fHasTemplatesExpr :: Language.Fixpoint.Types.Templates.HasTemplates Language.Fixpoint.Types.Refinements.Expr DFunId 660a52dc43a23478cbacb71c8fa43325 $fHasTemplatesReft :: Language.Fixpoint.Types.Templates.HasTemplates Language.Fixpoint.Types.Refinements.Reft DFunId fb08dfdab4ffd26b5783b1ac17035eef $fMonoidTemplates :: GHC.Base.Monoid Language.Fixpoint.Types.Templates.Templates DFunId fb08dfdab4ffd26b5783b1ac17035eef $fPPrintTemplates :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Templates.Templates DFunId fb08dfdab4ffd26b5783b1ac17035eef $fSemigroupTemplates :: GHC.Base.Semigroup Language.Fixpoint.Types.Templates.Templates DFunId fb08dfdab4ffd26b5783b1ac17035eef $fShowTemplates :: GHC.Show.Show Language.Fixpoint.Types.Templates.Templates DFunId 009263abd3b811d859801e6d96e719f7 $tc'C:HasTemplates :: GHC.Types.TyCon 711031fda67afec1fc6866413e35dc95 $tc'TAll :: GHC.Types.TyCon 9263b1b98addcdfbd0d3eadfa8ab6576 $tc'TExprs :: GHC.Types.TyCon 61980817ef5bfcad5470a00a650a6092 $tcHasTemplates :: GHC.Types.TyCon 21b0200ed1c57cd959babebb7eb23634 $tcTemplates :: GHC.Types.TyCon 5f54d32b76e909652c47fd64c52bd704 $trModule :: GHC.Types.Module 660a52dc43a23478cbacb71c8fa43325 class HasTemplates a where filterUnMatched :: Language.Fixpoint.Types.Templates.Templates -> a -> a {-# MINIMAL filterUnMatched #-} ee2d93f68a4c62ab29dbb173333b09f9 type Template = ([Language.Fixpoint.Types.Names.Symbol], Language.Fixpoint.Types.Refinements.Expr) fb08dfdab4ffd26b5783b1ac17035eef data Templates = TAll | TExprs [Language.Fixpoint.Types.Templates.Template] 9aaf6a46604fa305619494f0280aa3a6 anything :: Language.Fixpoint.Types.Templates.Templates 2fd54a198041f591e483db629d06c319 isAnyTemplates :: Language.Fixpoint.Types.Templates.Templates -> GHC.Types.Bool c7704877ac90a273313391b775ed39b4 isEmptyTemplates :: Language.Fixpoint.Types.Templates.Templates -> GHC.Types.Bool 39a85ec15979bb7c860b36de82cd23f4 makeTemplates :: [([Language.Fixpoint.Types.Names.Symbol], Language.Fixpoint.Types.Refinements.Expr)] -> Language.Fixpoint.Types.Templates.Templates 4e49672162582bf33808ba473a2e2947 matchesTemplates :: Language.Fixpoint.Types.Templates.Templates -> Language.Fixpoint.Types.Refinements.Expr -> GHC.Types.Bool instance Language.Fixpoint.Types.Templates.HasTemplates [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Templates.$fHasTemplatesExpr instance Language.Fixpoint.Types.Templates.HasTemplates [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Templates.$fHasTemplatesReft instance GHC.Base.Monoid [Language.Fixpoint.Types.Templates.Templates] = Language.Fixpoint.Types.Templates.$fMonoidTemplates instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Templates.Templates] = Language.Fixpoint.Types.Templates.$fPPrintTemplates instance GHC.Base.Semigroup [Language.Fixpoint.Types.Templates.Templates] = Language.Fixpoint.Types.Templates.$fSemigroupTemplates instance GHC.Show.Show [Language.Fixpoint.Types.Templates.Templates] = Language.Fixpoint.Types.Templates.$fShowTemplates trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: