==================== FINAL INTERFACE ==================== 2019-09-22 14:52:32.001002 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers [family instance module] 8065 interface hash: f2da831115a114988e383ba7fbb930b4 ABI hash: 8abd2355db756b37b9b5fb3b0ce44e32 export-list hash: 2bb69e357ec17911b5073b7a3bd31064 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 27d4733cb5234a6111752e8b6f54d51b opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Triggers.defaultTrigger Language.Fixpoint.Types.Triggers.makeTriggers Language.Fixpoint.Types.Triggers.noTrigger Language.Fixpoint.Types.Triggers.Trigger{Language.Fixpoint.Types.Triggers.LeftHandSide Language.Fixpoint.Types.Triggers.NoTrigger} Language.Fixpoint.Types.Triggers.Triggered{Language.Fixpoint.Types.Triggers.TR} 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:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ binary-0.8.6.0:Data.Binary 47a89cefaa44e49e7fd21d133fce6a7e import -/ binary-0.8.6.0:Data.Binary.Class 4a00b809573ad7c27e489f5b66886719 import -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e errorstar e47c2d482124b43e020a405f809adcff import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprintTidy bf75bee99d55ab15929b450195e64f3c import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc exports: c373b88351492ec6aa75dffded20541a ECst 77d8fb760e457bfd124c455ed691c864 Eq 3f11ae5b47578ad5a2c554235bd0e66b Expr 58dd7eff6040aa97f060415235c6cb01 PAll 95061dd88b416f835271772df1b74807 PAtom efd69e8b2834a0937ec103ca6d2f2b7d PExist c6ca2ca0202788949bf0d916db637f7a PFalse e43985c1fbf5446eb7e361fefcd63600 PIff 2a17d6131a34fb2676761302524edfd8 Ueq c1bef9e1715331b850d7aab346e55603 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 d4e347d662ffae46e19beccd9e71f8e0 $fBinaryTrigger :: Data.Binary.Class.Binary Language.Fixpoint.Types.Triggers.Trigger DFunId d4e347d662ffae46e19beccd9e71f8e0 $fBinaryTriggered :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d4e347d662ffae46e19beccd9e71f8e0 $fEqTrigger :: GHC.Classes.Eq Language.Fixpoint.Types.Triggers.Trigger DFunId d4e347d662ffae46e19beccd9e71f8e0 $fEqTriggered :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d4e347d662ffae46e19beccd9e71f8e0 $fFunctorTriggered :: GHC.Base.Functor Language.Fixpoint.Types.Triggers.Triggered DFunId d4e347d662ffae46e19beccd9e71f8e0 $fGenericTrigger :: GHC.Generics.Generic Language.Fixpoint.Types.Triggers.Trigger DFunId d4e347d662ffae46e19beccd9e71f8e0 $fGenericTriggered :: GHC.Generics.Generic (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d4e347d662ffae46e19beccd9e71f8e0 $fNFDataTrigger :: Control.DeepSeq.NFData Language.Fixpoint.Types.Triggers.Trigger DFunId d4e347d662ffae46e19beccd9e71f8e0 $fNFDataTriggered :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d4e347d662ffae46e19beccd9e71f8e0 $fPPrintTrigger :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Triggers.Trigger DFunId d4e347d662ffae46e19beccd9e71f8e0 $fPPrintTriggered :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Triggers.Triggered a) DFunId d4e347d662ffae46e19beccd9e71f8e0 $fShowTrigger :: GHC.Show.Show Language.Fixpoint.Types.Triggers.Trigger DFunId d4e347d662ffae46e19beccd9e71f8e0 $fShowTriggered :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Triggers.Triggered a) DFunId 6f0e08bf9385ff601bd30c736fd66767 $tc'LeftHandSide :: GHC.Types.TyCon 0fc7152f627ce9212d5435290aec170d $tc'NoTrigger :: GHC.Types.TyCon e2015ad559e9d3fd486fac181d3aa70d $tc'TR :: GHC.Types.TyCon 7403955a8b6fc78b36a800b6ffac68f7 $tcTrigger :: GHC.Types.TyCon d8c8d5b4fd914ae8d66cd2cb91dc63db $tcTriggered :: GHC.Types.TyCon 0925bacf6cc98924dcc224b39831fc10 $trModule :: GHC.Types.Module d4e347d662ffae46e19beccd9e71f8e0 axiom Language.Fixpoint.Types.Triggers.Rep_Trigger:: GHC.Generics.Rep Language.Fixpoint.Types.Triggers.Trigger = GHC.Generics.D1 ('GHC.Generics.MetaData "Trigger" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "NoTrigger" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "LeftHandSide" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) d4e347d662ffae46e19beccd9e71f8e0 axiom Language.Fixpoint.Types.Triggers.Rep_Triggered:: GHC.Generics.Rep (Language.Fixpoint.Types.Triggers.Triggered a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Triggered" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "TR" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Triggers.Trigger) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 a))) d4e347d662ffae46e19beccd9e71f8e0 data Trigger = NoTrigger | LeftHandSide d4e347d662ffae46e19beccd9e71f8e0 data Triggered a = TR Language.Fixpoint.Types.Triggers.Trigger a 4058e0f11e13b32584b6b19bdbd8c5de defaultTrigger :: e -> Language.Fixpoint.Types.Triggers.Triggered e 2aac80cb129f655dea3c920779f3cb46 makeTriggers :: Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr -> [Language.Fixpoint.Types.Refinements.Expr] 3fdfd21876571394f38804c7b904aca5 noTrigger :: e -> Language.Fixpoint.Types.Triggers.Triggered e instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fBinaryTrigger instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fBinaryTriggered instance GHC.Classes.Eq [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fEqTrigger instance GHC.Classes.Eq [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fEqTriggered instance GHC.Base.Functor [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fFunctorTriggered instance GHC.Generics.Generic [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fGenericTrigger instance GHC.Generics.Generic [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fGenericTriggered instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fNFDataTrigger instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fNFDataTriggered instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fPPrintTrigger instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fPPrintTriggered instance GHC.Show.Show [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.$fShowTrigger instance GHC.Show.Show [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.$fShowTriggered family instance GHC.Generics.Rep [Language.Fixpoint.Types.Triggers.Triggered] = Language.Fixpoint.Types.Triggers.Rep_Triggered family instance GHC.Generics.Rep [Language.Fixpoint.Types.Triggers.Trigger] = Language.Fixpoint.Types.Triggers.Rep_Trigger trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: