==================== FINAL INTERFACE ==================== 2019-09-22 14:52:26.047414 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names [orphan module] [family instance module] 8065 interface hash: 7f45a6518b9e4e51ff0ff8bd2ec5a211 ABI hash: 24bdf320bdb18d7e1da06545fbe0099a export-list hash: 45d7959603a132b65636c5a341548000 orphan hash: 0094812c5ccbdffe1da710a7813afb87 flag hash: 6515ec38a27d09aef28927b0f6017457 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Names.anfPrefix Language.Fixpoint.Types.Names.applyName Language.Fixpoint.Types.Names.bitVecApplyName Language.Fixpoint.Types.Names.bitVecName Language.Fixpoint.Types.Names.bitVecToIntName Language.Fixpoint.Types.Names.boolApplyName Language.Fixpoint.Types.Names.boolConName Language.Fixpoint.Types.Names.boolToIntName Language.Fixpoint.Types.Names.buildMany Language.Fixpoint.Types.Names.bvAndName Language.Fixpoint.Types.Names.bvOrName Language.Fixpoint.Types.Names.charConName Language.Fixpoint.Types.Names.coerceName Language.Fixpoint.Types.Names.consName Language.Fixpoint.Types.Names.consSym Language.Fixpoint.Types.Names.divFuncName Language.Fixpoint.Types.Names.dropSym Language.Fixpoint.Types.Names.dummyName Language.Fixpoint.Types.Names.dummySymbol Language.Fixpoint.Types.Names.existSymbol Language.Fixpoint.Types.Names.funConName Language.Fixpoint.Types.Names.gradIntSymbol Language.Fixpoint.Types.Names.headSym Language.Fixpoint.Types.Names.intApplyName Language.Fixpoint.Types.Names.intSymbol Language.Fixpoint.Types.Names.isDummy Language.Fixpoint.Types.Names.isLamArgSymbol Language.Fixpoint.Types.Names.isLitSymbol Language.Fixpoint.Types.Names.isNonSymbol Language.Fixpoint.Types.Names.isNontrivialVV Language.Fixpoint.Types.Names.isPrefixOfSym Language.Fixpoint.Types.Names.isPrim Language.Fixpoint.Types.Names.isSuffixOfSym Language.Fixpoint.Types.Names.isTestSymbol Language.Fixpoint.Types.Names.kArgSymbol Language.Fixpoint.Types.Names.lamArgSymbol Language.Fixpoint.Types.Names.lambdaName Language.Fixpoint.Types.Names.lengthSym Language.Fixpoint.Types.Names.listConName Language.Fixpoint.Types.Names.listLConName Language.Fixpoint.Types.Names.litSymbol Language.Fixpoint.Types.Names.mapApplyName Language.Fixpoint.Types.Names.mapConName Language.Fixpoint.Types.Names.mapToIntName Language.Fixpoint.Types.Names.mappendSym Language.Fixpoint.Types.Names.mulFuncName Language.Fixpoint.Types.Names.nilName Language.Fixpoint.Types.Names.nonSymbol Language.Fixpoint.Types.Names.preludeName Language.Fixpoint.Types.Names.prims Language.Fixpoint.Types.Names.propConName Language.Fixpoint.Types.Names.realApplyName Language.Fixpoint.Types.Names.realToIntName Language.Fixpoint.Types.Names.renameSymbol Language.Fixpoint.Types.Names.setApplyName Language.Fixpoint.Types.Names.setConName Language.Fixpoint.Types.Names.setToIntName Language.Fixpoint.Types.Names.size32Name Language.Fixpoint.Types.Names.size64Name Language.Fixpoint.Types.Names.strConName Language.Fixpoint.Types.Names.stripPrefix Language.Fixpoint.Types.Names.stripSuffix Language.Fixpoint.Types.Names.suffixSymbol Language.Fixpoint.Types.Names.symChars Language.Fixpoint.Types.Names.symbolBuilder Language.Fixpoint.Types.Names.symbolSafeString Language.Fixpoint.Types.Names.symbolSafeText Language.Fixpoint.Types.Names.symbolString Language.Fixpoint.Types.Names.symbolText Language.Fixpoint.Types.Names.symbolicString Language.Fixpoint.Types.Names.tempPrefix Language.Fixpoint.Types.Names.tempSymbol Language.Fixpoint.Types.Names.testSymbol Language.Fixpoint.Types.Names.tidySymbol Language.Fixpoint.Types.Names.toIntName Language.Fixpoint.Types.Names.tupConName Language.Fixpoint.Types.Names.unLitSymbol Language.Fixpoint.Types.Names.unconsSym Language.Fixpoint.Types.Names.vv Language.Fixpoint.Types.Names.vvCon Language.Fixpoint.Types.Names.vvName Language.Fixpoint.Types.Names.LocSymbol Language.Fixpoint.Types.Names.LocText Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.Symbolic{Language.Fixpoint.Types.Names.symbol} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.PrettyPrint 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.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.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:Control.Arrow cda881e865dd3141fb08ed18f2efcca7 import -/ base-4.12.0.0:Data.Char 74f67fe9150a102afa18766e840f6832 import -/ base-4.12.0.0:Data.Data 2949b01dc3799f9122535900668dfcef import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.Monoid 12b87658decc811c5251626260c01aeb import -/ base-4.12.0.0:Data.String fa00d4c51cd8d22ee4f54a25f9e9c97d import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:Data.Typeable 1095be85dd9009a6503a3981a259490e import -/ base-4.12.0.0:Data.Typeable.Internal e1cb15df401654131814917774d4d7ed 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 -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ intern-0.9.2:Data.Interned 6ba4ac7d07d48904e3f0a832c9e39eb0 import -/ intern-0.9.2:Data.Interned.Internal 9f53023258cb9b6084177d4440202d7d import -/ intern-0.9.2:Data.Interned.Internal.Text 958a3fffe4ccc16dbf1de3793548b91b import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 exports: 9e9118ba5257e743a1e1c46db3e4cd33 Located 98c2e3118bdcfbfec2dfd5f953f55cfd val 98c2e3118bdcfbfec2dfd5f953f55cfd import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ syb-0.7:Data.Generics f4bddd07fe7227d2509acad55f9ff82d import -/ text-1.2.3.1:Data.Text 681b9c3df5b4e4b4e23ef5f840f0b692 import -/ text-1.2.3.1:Data.Text.Internal 537e168590e8068f673f691833f78483 import -/ text-1.2.3.1:Data.Text.Internal.Builder 1797fde4ca8ef0dc40109aae6e9f65de import -/ text-1.2.3.1:Data.Text.Lazy.Builder 8de68d4400c5e110387b343256e7694d import -/ text-1.2.3.1:Data.Text.Show b788b7edd0f190b1a7c4f4aba0e35f18 import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 3f986d27cdf6315dd770c516fc00a643 $fBinarySymbol :: Data.Binary.Class.Binary Language.Fixpoint.Types.Names.Symbol DFunId 858f826002dc3f8e0c9f246f3a3d34b1 $fDataInternedText :: Data.Data.Data Data.Interned.Internal.Text.InternedText DFunId 3f986d27cdf6315dd770c516fc00a643 $fDataSymbol :: Data.Data.Data Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fEqDescription :: GHC.Classes.Eq (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) DFunId 3f986d27cdf6315dd770c516fc00a643 $fEqSymbol :: GHC.Classes.Eq Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fFixpointSymbol :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Names.Symbol DFunId 4a95deb4dfc5e6f79941218dc7b4580f $fFixpointText :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Data.Text.Internal.Text DFunId dde07d62d62968a065e7b8ec1ad754ee $fGenericInternedText :: GHC.Generics.Generic Data.Interned.Internal.Text.InternedText DFunId 3f986d27cdf6315dd770c516fc00a643 $fGenericSymbol :: GHC.Generics.Generic Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fHashableDescription :: Data.Hashable.Class.Hashable (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) DFunId 3f986d27cdf6315dd770c516fc00a643 $fHashableSymbol :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fInternedSymbol :: Data.Interned.Internal.Interned Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fIsStringSymbol :: Data.String.IsString Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fNFDataSymbol :: Control.DeepSeq.NFData Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fOrdSymbol :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fPPrintSymbol :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Names.Symbol DFunId 3f986d27cdf6315dd770c516fc00a643 $fShowSymbol :: GHC.Show.Show Language.Fixpoint.Types.Names.Symbol DFunId 2eef5be3f02dd72d878415fe4e78ea18 $fSymbolicLocated :: Language.Fixpoint.Types.Names.Symbolic a => Language.Fixpoint.Types.Names.Symbolic (Language.Fixpoint.Types.Spans.Located a) DFunId 2eef5be3f02dd72d878415fe4e78ea18 $fSymbolicSymbol :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Names.Symbol DFunId 2eef5be3f02dd72d878415fe4e78ea18 $fSymbolicText :: Language.Fixpoint.Types.Names.Symbolic Data.Text.Internal.Text DFunId 2eef5be3f02dd72d878415fe4e78ea18 $fSymbolic[] :: Language.Fixpoint.Types.Names.Symbolic GHC.Base.String DFunId 3f986d27cdf6315dd770c516fc00a643 $fUninternableSymbol :: Data.Interned.Internal.Uninternable Language.Fixpoint.Types.Names.Symbol DFunId 4e020f85bfa2c1188c05e415af6cd12b $tc'C:Symbolic :: GHC.Types.TyCon ce8a1a12f8bc0d49598f7b00955c8a3e $tc'DT :: GHC.Types.TyCon 5c4d9363f0b3a5522642449e609a986a $tc'S :: GHC.Types.TyCon d30333ad73fc17bb40483e60940bfec9 $tcSymbol :: GHC.Types.TyCon 19b974d95c36eefc37ab24d8def470c8 $tcSymbolic :: GHC.Types.TyCon 493671b9e3cf559d2802d85e56ba11fc $trModule :: GHC.Types.Module b75a6378ce4fbeb4e55111871365bc6c axiom Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0:: Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol = Language.Fixpoint.Types.Names.R:DescriptionSymbol 3f986d27cdf6315dd770c516fc00a643 axiom Language.Fixpoint.Types.Names.D:R:UninternedSymbol:: Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol = Data.Text.Internal.Text e6d5fcd49dd2746d9598e2efb4f857d1 type LocSymbol = Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Names.Symbol a04fe9b50ae3ea5172feb937475784e3 type LocText = Language.Fixpoint.Types.Spans.Located Data.Text.Internal.Text b75a6378ce4fbeb4e55111871365bc6c newtype instance Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol = DT Data.Text.Internal.Text 13351d1e636a3dba6f5a0731aa2de97d axiom Language.Fixpoint.Types.Names.Rep_InternedText:: GHC.Generics.Rep Data.Interned.Internal.Text.InternedText = GHC.Generics.D1 ('GHC.Generics.MetaData "InternedText" "Data.Interned.Internal.Text" "intern-0.9.2-1k5HlC2OR4dJna2fS2KnK5" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "InternedText" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "internedTextId") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 Data.Interned.Internal.Id) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "uninternedText") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 Data.Text.Internal.Text))) 3f986d27cdf6315dd770c516fc00a643 axiom Language.Fixpoint.Types.Names.Rep_Symbol:: GHC.Generics.Rep Language.Fixpoint.Types.Names.Symbol = GHC.Generics.D1 ('GHC.Generics.MetaData "Symbol" "Language.Fixpoint.Types.Names" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "S" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_symbolId") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Data.Interned.Internal.Id) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Data.Text.Internal.Text) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Data.Text.Internal.Text)))) 759f5b0976a018a7e8f4a2e586ef018f type SafeText = Data.Text.Internal.Text 3f986d27cdf6315dd770c516fc00a643 data Symbol = S {_symbolId :: !Data.Interned.Internal.Id, symbolRaw :: !Data.Text.Internal.Text, symbolEncoded :: !Data.Text.Internal.Text} 2eef5be3f02dd72d878415fe4e78ea18 class Symbolic a where symbol :: a -> Language.Fixpoint.Types.Names.Symbol {-# MINIMAL symbol #-} 3f986d27cdf6315dd770c516fc00a643 _symbolId :: Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Id RecSel Left Language.Fixpoint.Types.Names.Symbol 979e2a188df16689d398f939d5adfb9e anfPrefix :: Language.Fixpoint.Types.Names.Symbol 25f366ca3bca038d84f346fd1351a02a applyName :: Language.Fixpoint.Types.Names.Symbol 0981af425f14028077325ff55671bb1f bitVecApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 00019ed7902409f02e42ac9147024c0f bitVecName :: Language.Fixpoint.Types.Names.Symbol b40951bc683f67316c7230f2f9d43b3a bitVecToIntName :: Language.Fixpoint.Types.Names.Symbol 8faceaad8b273b7bc6a7d8549f9f99f6 boolApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 9c3bc87c7c3be02c654b7c6e667f970d boolConName :: Language.Fixpoint.Types.Names.Symbol 2f2e9300f8202a4d7e106ba0a7f7b2c3 boolToIntName :: Data.String.IsString a => a f14f2cccc11f92b60f7e06649edc7b82 buildMany :: [Data.Text.Internal.Builder.Builder] -> Data.Text.Internal.Builder.Builder f0343b8a4f8bd92677e59ed88901c889 bvAndName :: Language.Fixpoint.Types.Names.Symbol efd850d2d2d132e184bb436c2e5ec069 bvOrName :: Language.Fixpoint.Types.Names.Symbol 8fd2f192dd3a20288c13ba42ce745525 charConName :: Data.String.IsString a => a cfa798590c79dbe5ef2b611f14e80f7f coerceName :: Language.Fixpoint.Types.Names.Symbol 678592453e2f2f20803bbf6dc64cbb4e consName :: Language.Fixpoint.Types.Names.Symbol bfe4bf526ff036c2f437037daac33fcf consSym :: GHC.Types.Char -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol dae7813b9ecfad96423501941a112512 divFuncName :: Language.Fixpoint.Types.Names.Symbol eb03d15e953f7a3dd400a0856ba490ad dropSym :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol c0222e65a2a2086852b2cd1d08a31a6b dummyName :: Language.Fixpoint.Types.Names.Symbol 511b7e2d64aed867c4c005991f9f72f8 dummySymbol :: Language.Fixpoint.Types.Names.Symbol a954851d44d4373674aa541c5a9cd0e5 existSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol 84b9db3261f970555e0a99bd0826a6d5 funConName :: Language.Fixpoint.Types.Names.Symbol 1aa17d1748414df608190bab8045639d gradIntSymbol :: GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol 45e33a0ea41b31cae845977e74bcff61 headSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Char d6f8f873784b8ae7a368895412e13472 intApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol a4ae136aedf5d0fada743997e9c6751f intSymbol :: GHC.Show.Show a => Language.Fixpoint.Types.Names.Symbol -> a -> Language.Fixpoint.Types.Names.Symbol 8f5e7a7858546dd93bba94304129d98c isDummy :: Language.Fixpoint.Types.Names.Symbolic a => a -> GHC.Types.Bool 2c225b4ac3041fa9a0dcc3fb3d04950a isLamArgSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 25094086814fd8fb3cd404fe6ffd3f18 isLitSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool dbaee96374ae753f6f7fc1dc348e0a72 isNonSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool d2f9ec82c7f48560a61c5dc5ba3c176e isNontrivialVV :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 86ec416a6c2f0bf3bce3e459087dd2d0 isPrefixOfSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 4fab3a36c40c906c0a228dd06b3191af isPrim :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 02e841912eb6bd5cb579130bfbbfbf30 isSuffixOfSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 8c44e310df896aa9aa25d9ca880b232a isTestSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool c4387b065bc6f987eaed9b7bb4595152 kArgSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 934937917f1dc2b7ff950de0d0661403 lamArgSymbol :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol c8b0b013bbacac5c8fff10b620016b3e lambdaName :: Language.Fixpoint.Types.Names.Symbol b66e239fd26a4d65d3f1688063f373ec lengthSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int 754b3882dbc8a426d10fc3adcefc2e31 listConName :: Language.Fixpoint.Types.Names.Symbol 59db8cee6987998bcd5f4c00a7c0be73 listLConName :: Language.Fixpoint.Types.Names.Symbol 27eaaac0b7b302e0b72df3eaa74bc9b5 litSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol d86edf8197f44a14826b5c73313deef2 mapApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol d689532bc106bd19f9aeb509fed810cd mapConName :: Language.Fixpoint.Types.Names.Symbol 6cb7d353eed56dd8dc8d0bcb2c486a39 mapToIntName :: Language.Fixpoint.Types.Names.Symbol 3366fcd7388280a1a7bf6a72dd29d365 mappendSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 6a890e2f1ef5cfc3e80b39dbbfa3fafd mulFuncName :: Language.Fixpoint.Types.Names.Symbol c503b9c0fc100a5b181d22f7dea58d01 nilName :: Language.Fixpoint.Types.Names.Symbol ee5eaa580ffa763b4b4f92cd69c0a8cc nonSymbol :: Language.Fixpoint.Types.Names.Symbol a9fd6ad17958834ac753dda3a6de29fb preludeName :: Language.Fixpoint.Types.Names.Symbol a3c286b1012134f7aeeef9339502a448 prims :: Data.HashSet.HashSet Language.Fixpoint.Types.Names.Symbol 20c4aab8e8ede255bce76e76a4cc24f1 propConName :: Language.Fixpoint.Types.Names.Symbol 56b5ebed84338f16bf6034c05a2d2568 realApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 28b7acfe1bd0e1c7d4f2540115cb58f3 realToIntName :: Language.Fixpoint.Types.Names.Symbol 5afdfb8f4019e0e926007c26dcda3ae9 renameSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol f0e3962fc96b77b34fc62660fa09640b setApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 3b13e60e763424621a6d71f4ff2b3095 setConName :: Language.Fixpoint.Types.Names.Symbol 391656d1df9e196762eedfcbb929aad8 setToIntName :: Language.Fixpoint.Types.Names.Symbol eb86c7a87bf6d4fe421e48a12b486920 size32Name :: Language.Fixpoint.Types.Names.Symbol c319990772c58056fc8adbb99d90eef0 size64Name :: Language.Fixpoint.Types.Names.Symbol 9c4c6b48478291cfa01860495bbf65e3 strConName :: Data.String.IsString a => a 8f72f666a976185328c7102b57f92add stripPrefix :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Maybe.Maybe Language.Fixpoint.Types.Names.Symbol 905c930fc8a580b762d5c01e09f57351 stripSuffix :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Maybe.Maybe Language.Fixpoint.Types.Names.Symbol 9662173a435d59332bdcbcb24c037237 suffixSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol c49e4d247ae1424252b6f052adf7c468 symChars :: Data.HashSet.HashSet GHC.Types.Char 0bf3cfe602b4e00c658b71392faff862 symbolBuilder :: Language.Fixpoint.Types.Names.Symbolic a => a -> Data.Text.Internal.Builder.Builder 3f986d27cdf6315dd770c516fc00a643 symbolEncoded :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text RecSel Left Language.Fixpoint.Types.Names.Symbol 3f986d27cdf6315dd770c516fc00a643 symbolRaw :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text RecSel Left Language.Fixpoint.Types.Names.Symbol 185f4c232d32438e45e949aa59791796 symbolSafeString :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String b9e4ff6615316241fdd787ea01365fab symbolSafeText :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.SafeText 8b7e66ffe1373b3c8eea5ece172dd4c9 symbolString :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String eec089aa19dd5c0554fdac0c2f873812 symbolText :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text 731a0f9d06e522a1f53e54a3dcbe29b4 symbolicString :: Language.Fixpoint.Types.Names.Symbolic a => a -> GHC.Base.String c165fe23259b73206503dc8fdcc0487d tempPrefix :: Language.Fixpoint.Types.Names.Symbol ac0fc26b1fb0db2f55f076cb0bf5d40b tempSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol df4cac5e60d2d037be7846adb2b96088 testSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 13924b25c17672ff990eafc746ecd68a tidySymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 324143c445406dc6dceb017ac99fb75a toIntName :: Language.Fixpoint.Types.Names.Symbol 2924967db93c0057b45b63dba07de5dc tupConName :: Language.Fixpoint.Types.Names.Symbol b4214c4a262ed4871aa13dc9bbb092fa unLitSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Maybe.Maybe Language.Fixpoint.Types.Names.Symbol cb283ee6c8a352cec7131c5e9fe69f91 unconsSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Maybe.Maybe (GHC.Types.Char, Language.Fixpoint.Types.Names.Symbol) cb8457010f51db330c497f8b29772025 vv :: GHC.Maybe.Maybe GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol 4e050294d1f45d7c7aa27a5f22279550 vvCon :: Language.Fixpoint.Types.Names.Symbol d000b2e40c83650b200473e2d4fbe41e vvName :: Language.Fixpoint.Types.Names.Symbol instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fBinarySymbol instance [orphan] Data.Data.Data [Data.Interned.Internal.Text.InternedText] = Language.Fixpoint.Types.Names.$fDataInternedText instance Data.Data.Data [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fDataSymbol instance GHC.Classes.Eq [Data.Interned.Internal.Description] = Language.Fixpoint.Types.Names.$fEqDescription instance GHC.Classes.Eq [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fEqSymbol instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fFixpointSymbol instance [orphan] Language.Fixpoint.Types.PrettyPrint.Fixpoint [Data.Text.Internal.Text] = Language.Fixpoint.Types.Names.$fFixpointText instance [orphan] GHC.Generics.Generic [Data.Interned.Internal.Text.InternedText] = Language.Fixpoint.Types.Names.$fGenericInternedText instance GHC.Generics.Generic [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fGenericSymbol instance Data.Hashable.Class.Hashable [Data.Interned.Internal.Description] = Language.Fixpoint.Types.Names.$fHashableDescription instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fHashableSymbol instance Data.Interned.Internal.Interned [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fInternedSymbol instance Data.String.IsString [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fIsStringSymbol instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fNFDataSymbol instance GHC.Classes.Ord [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fOrdSymbol instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fPPrintSymbol instance GHC.Show.Show [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fShowSymbol instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Names.$fSymbolicLocated instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fSymbolicSymbol instance Language.Fixpoint.Types.Names.Symbolic [Data.Text.Internal.Text] = Language.Fixpoint.Types.Names.$fSymbolicText instance Language.Fixpoint.Types.Names.Symbolic [[]] = Language.Fixpoint.Types.Names.$fSymbolic[] instance Data.Interned.Internal.Uninternable [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fUninternableSymbol family instance Data.Interned.Internal.Description [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0 family instance GHC.Generics.Rep [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.Rep_Symbol family instance [orphan] GHC.Generics.Rep [Data.Interned.Internal.Text.InternedText] = Language.Fixpoint.Types.Names.Rep_InternedText family instance Data.Interned.Internal.Uninterned [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.D:R:UninternedSymbol trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: