liquid-fixpoint-0.8.0.2: .stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/src/Language/Fixpoint/Parse.dump-hi
==================== FINAL INTERFACE ====================
2019-09-22 14:52:45.06592 UTC
interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Parse [family instance module] 8065
interface hash: 7dd783e58a72a904195e9ba2f117efc3
ABI hash: f8821d93a62aec9ae319d8a2deffc941
export-list hash: c04662d065b8ef9661ceae7d7cc1940d
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: 5c5e4a96d4f622a6cf7927703d133cbb
opt_hash: d0a78e7b344f95c7406be35c9b75e196
hpc_hash: 93b885adfe0da089cdf634904fd59f71
plugin_hash: ad164012d6b1e14942349d58b1132007
sig of: Nothing
used TH splices: False
where
exports:
Language.Fixpoint.Parse.addOperatorP
Language.Fixpoint.Parse.angles
Language.Fixpoint.Parse.bindP
Language.Fixpoint.Parse.blanks
Language.Fixpoint.Parse.braces
Language.Fixpoint.Parse.brackets
Language.Fixpoint.Parse.bvSortP
Language.Fixpoint.Parse.colon
Language.Fixpoint.Parse.comma
Language.Fixpoint.Parse.condIdP
Language.Fixpoint.Parse.constantP
Language.Fixpoint.Parse.dataCtorP
Language.Fixpoint.Parse.dataDeclP
Language.Fixpoint.Parse.dataFieldP
Language.Fixpoint.Parse.dcolon
Language.Fixpoint.Parse.doParse'
Language.Fixpoint.Parse.expr0P
Language.Fixpoint.Parse.exprP
Language.Fixpoint.Parse.freshIntP
Language.Fixpoint.Parse.funAppP
Language.Fixpoint.Parse.infixIdP
Language.Fixpoint.Parse.initPState
Language.Fixpoint.Parse.integer
Language.Fixpoint.Parse.isNotReserved
Language.Fixpoint.Parse.isSmall
Language.Fixpoint.Parse.lexer
Language.Fixpoint.Parse.locLowerIdP
Language.Fixpoint.Parse.locParserP
Language.Fixpoint.Parse.locUpperIdP
Language.Fixpoint.Parse.lowerIdP
Language.Fixpoint.Parse.pairP
Language.Fixpoint.Parse.parens
Language.Fixpoint.Parse.parseFromFile
Language.Fixpoint.Parse.predP
Language.Fixpoint.Parse.qualifierP
Language.Fixpoint.Parse.refBindP
Language.Fixpoint.Parse.refDefP
Language.Fixpoint.Parse.refP
Language.Fixpoint.Parse.refaP
Language.Fixpoint.Parse.remainderP
Language.Fixpoint.Parse.reserved
Language.Fixpoint.Parse.reservedOp
Language.Fixpoint.Parse.semi
Language.Fixpoint.Parse.sortP
Language.Fixpoint.Parse.stringLiteral
Language.Fixpoint.Parse.symbolP
Language.Fixpoint.Parse.upperIdP
Language.Fixpoint.Parse.whiteSpace
Language.Fixpoint.Types.Constraints.mkQual
Language.Fixpoint.Parse.Fixity{Language.Fixpoint.Parse.FInfix Language.Fixpoint.Parse.FPostfix Language.Fixpoint.Parse.FPrefix fassoc fname fop1 fop2 fpred}
Language.Fixpoint.Parse.Inputable{Language.Fixpoint.Parse.rr Language.Fixpoint.Parse.rr'}
Language.Fixpoint.Parse.PState{Language.Fixpoint.Parse.PState empList fixityTable singList}
Language.Fixpoint.Parse.Parser
Text.Parsec.Expr.Assoc{Text.Parsec.Expr.AssocLeft Text.Parsec.Expr.AssocNone Text.Parsec.Expr.AssocRight}
module dependencies: Language.Fixpoint.Misc
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
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
transformers-0.5.6.2:Control.Monad.Trans.Error
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.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.Char 74f67fe9150a102afa18766e840f6832
import -/ base-4.12.0.0:Data.Either 423bee738f25e5ee983d072216009be8
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.Maybe 9b76a39e833465c3c5b3c078b431417f
import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff
import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import -/ base-4.12.0.0:GHC.Err ea5e313ef4146b40b5d8b27aa168e736
import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290
import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a
import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616
import -/ base-4.12.0.0:GHC.Real af2b985dd29515c375fb78b2c9298d42
import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276
import -/ base-4.12.0.0:GHC.Unicode 87726eb81a3f9c9b22160a0afd5dc56a
import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6
import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b
import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3
import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5
exports: c71e07620cb71e48240d161f1a37aa5e
safeFromList ffb512f65f2eeddc9493ad364e135e8d
thd3 dfe29e2962bef4e3ce1a81bee4147489
tshow 044dfce5ef708f72e5ca59e37dc09756
import -/ Language.Fixpoint.Smt.Bitvector 0078a7619ebc3de9a6aee2736af0b2d1
exports: 58b7fd28e9cf74c90db1add211a337c5
S32 1fd7700222bed6609d267aacc1383a3e
S64 2a3cc19e674c9b15e69c05cd9a6d40d0
mkSort a26127c3379b2d9fec924150ef9087de
import -/ Language.Fixpoint.Smt.Types 30a3f200618617e4fc3b128e7ad80e5a
exports: 9d5346cc8b2fc98cde08d06579c7cca6
Assert 67eb58b7de8e3adeaa64ca4678afbf28
CheckSat 4bbed80577103afd6dda6e838ad01d87
Command 9bb122f606f996c5adbb9f937fa876ad
Distinct e66cdf03563bbc29c325f23bf4b8fd38
Pop 788f42b70667cbe52afcaf862cbbb1e7
Push 4e9c7fb32679eb0b51c8674414368263
import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f
exports: 62d26edd591b195eabce115b8380fe6e
import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436
AEnv 56f9be4c978247de6a3595796fc81e03
Equation 1b8c537886bd491bbeaae4b7cdcd5c8f
FI 3518e6a4d27cc8ba8ec50939541a64e6
FIO ed7e8aa5b0d8c1f46398edcde27b7ca4
FInfo b6d52641b5c0c13c0e61844e2114eb16
FInfoWithOpts 803d2f995b056771c08edfce347cb407
FixSolution e5dd9fe1547120a043f58991c78a60c9
KS c004163eafe9de324416d6da5e3ad659
PatExact 4997cde712f8b3b006e6d14dfc07eec6
PatNone 25106c4b55ee4d12827f60ed4dc88939
PatPrefix 2431df8abc1f8f326cf5585efe0fe441
PatSuffix dbda5dcb30797388be311802bcc1eae7
QP 66146f217745c702472b8c089e647bc1
QualParam 9aae2bcc537b45559d03a4eee2bb72e5
QualPattern df6d07f9885eb5e5b345a33c505d8e73
Qualifier 9aae2bcc537b45559d03a4eee2bb72e5
Rewrite 7df085a191521cbf745e28451770fe1d
SMeasure 30aa4d5c1c10665274f0e03b73a2fa34
SubC 1844afeba4cbd3ee9cea173e868f8ce9
Tag f16c6ce3b8b49003401603dfb3b1715f
WfC ad7a627c031dc594c719d4e423bdd067
mkEquation f843a9ff66a208bb19d63b610e733ce1
mkQual 76509e579d10d7c92e5c9239d180adff
sid 81d85f14cb0bc67b2e1fd5d3402d56d8
subC cec25e5a5c6c9453c38e61bb34dd080a
wfC a9cd82721163b0b120fb316155322fb0
wrft ad7a627c031dc594c719d4e423bdd067
import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20
IBindEnv b71d4c279d7a7920d70dd44bac0305aa
bindEnvFromList 967550b3b3f55a80adc5bd8c64cfd4dc
emptyIBindEnv 6cfa8d73992960a6ab6331f8d3b757ff
fromListSEnv 22654f2135f1b607f7ee82962c09eb4c
insertsIBindEnv dca3e4d95477ee71c84a2814faf94fea
import -/ Language.Fixpoint.Types.Errors 31e8527559b26e3ce8fcf2acaba869c3
exports: 89a9dc85e57ecc980170ae7cb32d2921
Crash 8dce1b12135eab1786bee372065fb937
FixResult c0716f0e4597e606e45487edbbbeea3f
Safe d22144b54cf2a4f4ae6a38095fc7dbe3
Unsafe f41fb70ee1e83c00b795f94fcef4262f
die b694e04a36caf383107b8f2e73ae279e
err eb62a315ab4ae2ad7c68e48fa9cd6513
import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a
LocSymbol e6d5fcd49dd2746d9598e2efb4f857d1
Symbol 3f986d27cdf6315dd770c516fc00a643
headSym 45e33a0ea41b31cae845977e74bcff61
symChars c49e4d247ae1424252b6f052adf7c468
symbol 8093c1d4f5a85b247a3a96c3fce3245c
import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
pprint 955dc9d031db587300edf6146ac33be4
simplify b57096eaf3d719a77fc26b0275953db4
import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc
Constant 77cbbec08e19a1217d2b733c8f08120e
Div 09eefb562391cab23a1f4dcb4b3afda4
EApp 54242238b0fd99173645e603ea6a95e1
EBin 584c6077045554d53d7c9a89592b60d3
EBot 9879ed750ccc5a4093abcf7f02058efd
ECoerc d62592d9495e238bd832577950db4048
ECon 5baa7919e17f9fc7e290e6ec391edfe0
ECst 77d8fb760e457bfd124c455ed691c864
EIte bcb7471d1eafba69c1a57099f120b1bb
ELam e0029a0f9c90cfaf5ca8a8fc8de8a995
ENeg c7c4772e5c9c737684dc4ada02f5ae77
ESym 1e9d62c909ab81c24aa5b70ea45dd385
EVar dbcccd19fa06e8cd413d3f8989324ef6
Eq 3f11ae5b47578ad5a2c554235bd0e66b
Expr 58dd7eff6040aa97f060415235c6cb01
Ge 20def8c87168e6dfa6102e1e789292df
Gt efc2101db1845d999f94f634dfaf1339
I 90217a394fcf0061b39dc2e3fba98b11
KV 9862585cb8815843a934d7dad38d665a
KVar f4ebd74e51621c4f10e9fc003e3885a9
L cb92c00e18083bd8988b20d1d090bc2b
Le b76eccc268995647ce696445ad0fc538
Lt 0dd388ae9584ef1ec44c96b5c623d39e
Minus 753b0ebcc781b33045da2534da8dbe54
Mod 1b418826ebbc244a0849550273fecdeb
Ne 8de2833323f56b086978249fd6265b9b
PAnd 668269c725f0f517f2cefead144acbec
PAtom efd69e8b2834a0937ec103ca6d2f2b7d
PFalse e43985c1fbf5446eb7e361fefcd63600
PGrad 550de568c0242ed5fa6ef66e4aa1194d
PIff 2a17d6131a34fb2676761302524edfd8
PImp 71d909aca81df6b76b372b30b2979f8d
PKVar 00776deded6bdc1a9b45a9cd2ff73aa5
PNot dd52d33c67ccd94ba2b9bc2daaf6153f
POr 8896d8a5009f7964d0fb6a9c72eaff6c
PTrue 1c366fec6a192dc993b90d2b711bd4f4
Plus 9f396120748621b21fd37878d2f4db4b
R 801e4115533995c5d14bb91969b23812
RR bc18741bade52dfcbbbc2473e1b91821
Reft 11628612f280bce553f9c182ec061ec6
Reft 58dd7eff6040aa97f060415235c6cb01
SL b7815bcf39c38f7dc8359ca076e863ec
SortedReft 58dd7eff6040aa97f060415235c6cb01
Subst 58dd7eff6040aa97f060415235c6cb01
SymConst 70bf9d44b2d107fffacade38f4990bd9
Times 2ba8ff078e8f2a7d98c93cf423720bf2
Ueq c1bef9e1715331b850d7aab346e55603
Une 210ed236d1dc917037d1f78bf2a540d7
eVar 78f3007f3bb9a0c61a30d1ab8e58f084
expr bb69a3829a24dac6732a3d85fdbf277f
mkEApp 12f29bdc1c6edf6c119c480e20519306
pAnd d997a1bd3b1f67d4020526858eca07c4
pGAnd d2264c1ad6b27b2aaf45fe2de8858841
pGAnds fc359f38c8476ec7dc202dd5a7471437
pIte 4813b34991f64b0e5d97e49a86a08e49
srcGradInfo 3fc582010d3949798a67a95868ec248e
import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6
DCtor 83abb43312b463b0aab541d71e991649
DDecl fa32e5752577cfb40168e5b5c1c85117
DField 429b10dd092babacb22326bf6fb45b30
DataCtor 90984d28a9f3c849d44b1ec37334f5cb
DataDecl 90984d28a9f3c849d44b1ec37334f5cb
DataField 842b037f4a3d7555ff8e2c17ccb73443
FObj 1bb5d6e74aaa46fc1c29e2a322aa25fa
FTycon 30d6fd7d99459ff88296e3b55c87b46c
FVar a3c34a432d4203ec59fb1483b26cb260
Sort 30d6fd7d99459ff88296e3b55c87b46c
boolFTyCon 16fb6d8210614fc05a3dd17e4b56e7de
fApp c49e03b92bfc3b317f317f42b9427882
fAppTC d1730a0e7e76ba505e7fb32cccadc22b
intFTyCon 427efe970e81ec61d153671f94e1bbc6
listFTyCon 300e5e0c35f513f011d66af81e99a681
mkFFunc 7fc888cdee141d3972072d0738f6e6fc
numFTyCon 0f72d23411d7c3f3edbbdcd1c330f7b0
realFTyCon 6788f88268a6f66794a22f221cad4068
strFTyCon c99941d4ded65186c0de5d73178fe143
symbolFTycon 93c1f3a947f85ee0557577e72fb0c2a1
import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062
Loc 0a266231e9bb3b9aa09383fd7f3e48ff
Located 98c2e3118bdcfbfec2dfd5f953f55cfd
SS afc18641865e1d45f99679b3f3b93be2
SrcSpan 30cdf4122b891cc575df90039bdcbecb
dummySpan 4c3a1f24b19908507cae45f533bfffe9
import -/ Language.Fixpoint.Types.Substitutions 68389730f57eb1bd783731c1e8e83435
mkSubst fa0e5a33f52a68ffd2f44ba8a067ca8c
import -/ mtl-2.2.2:Control.Monad.State 753def63fe8e937dc636f11e5230745a
import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418
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.Error 4a8413da9687799422dbd13c40cb4295
import -/ parsec-3.1.13.0:Text.Parsec.Expr 29da8bb30713129fcd2c15adf2ea5e51
import -/ parsec-3.1.13.0:Text.Parsec.Pos 61aa6625e3bc17c83ef95500ead7d960
import -/ parsec-3.1.13.0:Text.Parsec.Prim 0c85e47654f64ad8bae34fb738b44d0f
import -/ parsec-3.1.13.0:Text.Parsec.Token b9cfb29d80ae6145940e1d7fb3131a0c
import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474
import -/ text-1.2.3.1:Data.Text 681b9c3df5b4e4b4e23ef5f840f0b692
import -/ transformers-0.5.6.2:Control.Monad.Trans.State.Lazy 0c22827dedcb94d04bf072c00f8e95c2
import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc
import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b
import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613
bfd0a8e8505a6b9fd10f904aedcfacbe
$dmrr ::
Language.Fixpoint.Parse.Inputable a => GHC.Base.String -> a
bfd0a8e8505a6b9fd10f904aedcfacbe
$dmrr' ::
Language.Fixpoint.Parse.Inputable a =>
GHC.Base.String -> GHC.Base.String -> a
7461c4389e8b420ec600bb20f8eabe51
$fGenericDef ::
GHC.Generics.Generic (Language.Fixpoint.Parse.Def a)
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputable(,) ::
Language.Fixpoint.Parse.Inputable
(Language.Fixpoint.Types.Errors.FixResult GHC.Integer.Type.Integer,
Language.Fixpoint.Types.Constraints.FixSolution)
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableCommand ::
Language.Fixpoint.Parse.Inputable
Language.Fixpoint.Smt.Types.Command
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableConstant ::
Language.Fixpoint.Parse.Inputable
Language.Fixpoint.Types.Refinements.Constant
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableExpr ::
Language.Fixpoint.Parse.Inputable
Language.Fixpoint.Types.Refinements.Expr
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableFInfoWithOpts ::
Language.Fixpoint.Parse.Inputable
(Language.Fixpoint.Types.Constraints.FInfoWithOpts ())
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableFixResult ::
Language.Fixpoint.Parse.Inputable
(Language.Fixpoint.Types.Errors.FixResult GHC.Integer.Type.Integer)
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableGInfo ::
Language.Fixpoint.Parse.Inputable
(Language.Fixpoint.Types.Constraints.FInfo ())
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputableSymbol ::
Language.Fixpoint.Parse.Inputable
Language.Fixpoint.Types.Names.Symbol
DFunId
bfd0a8e8505a6b9fd10f904aedcfacbe
$fInputable[] ::
Language.Fixpoint.Parse.Inputable
[Language.Fixpoint.Smt.Types.Command]
DFunId
7461c4389e8b420ec600bb20f8eabe51
$fShowDef ::
Language.Fixpoint.Types.PrettyPrint.Fixpoint a =>
GHC.Show.Show (Language.Fixpoint.Parse.Def a)
DFunId
3ed09b054defa81e878e5b650c85276f
$tc'Adt :: GHC.Types.TyCon
8cdb1596e62ffe0c70e34b98635edf8c
$tc'Axm :: GHC.Types.TyCon
86aa7db216d2db19e4eb66cc7e0a2851
$tc'C:Inputable :: GHC.Types.TyCon
fb17641bbbb5bac35647d11bc21befff
$tc'Con :: GHC.Types.TyCon
4879e83917f5c9851c3ccaa63785a43b
$tc'Cst :: GHC.Types.TyCon
2360bb80c8bb3b74c0331ef5f2a68dc8
$tc'Def :: GHC.Types.TyCon
f1325941b5f54443596481b6b54bdf8a
$tc'Dis :: GHC.Types.TyCon
1a00e68d9d94db6676e02267962d53bf
$tc'EBind :: GHC.Types.TyCon
cd3d1b4f85bcb7bd62b68eb5fae58ddf
$tc'Expand :: GHC.Types.TyCon
ef1f2086a9e83bff961d26a6950af18c
$tc'FInfix :: GHC.Types.TyCon
873979012e0bb17ace72207ef682c26d
$tc'FPostfix :: GHC.Types.TyCon
6cf91de25bbe1b60f384f24b53014d79
$tc'FPrefix :: GHC.Types.TyCon
bb3722a4a35834018b70de5b3d3a51ed
$tc'IBind :: GHC.Types.TyCon
983deec10f70ee427952b5cbeb4070be
$tc'Kut :: GHC.Types.TyCon
4bc1aef18008f7521fb4d3686fd21718
$tc'Mat :: GHC.Types.TyCon
dd121b4753a3f3d45b7efd3a362bb3a4
$tc'Opt :: GHC.Types.TyCon
d29147ed124a2d3ce8f26360b9377c25
$tc'PState :: GHC.Types.TyCon
d07af231be20f3f2c2457f74e5c2513c
$tc'Pack :: GHC.Types.TyCon
39c84f14b21503242a733fa4cf13181b
$tc'Qul :: GHC.Types.TyCon
6bcad3237aee29a62d37b00fa76b2ee7
$tc'Srt :: GHC.Types.TyCon
ef50999e5fbcb276816a599ba658b5a1
$tc'Wfc :: GHC.Types.TyCon
36f086a319fbf5f34b9df5727878109f
$tcDef :: GHC.Types.TyCon
0b445aaaa54e4a759fd1858dcadc55bc
$tcFixity :: GHC.Types.TyCon
5e5c889a7784499288e0a3f2cf339edd
$tcInputable :: GHC.Types.TyCon
f37255cc5a7f913fc7263e1482e545ae
$tcPState :: GHC.Types.TyCon
687825b5d8e46816100da03440d8d527
$trModule :: GHC.Types.Module
7461c4389e8b420ec600bb20f8eabe51
data Def a
= Srt !Language.Fixpoint.Types.Sorts.Sort
| Axm !Language.Fixpoint.Types.Refinements.Expr
| Cst !(Language.Fixpoint.Types.Constraints.SubC a)
| Wfc !(Language.Fixpoint.Types.Constraints.WfC a)
| Con !Language.Fixpoint.Types.Names.Symbol
!Language.Fixpoint.Types.Sorts.Sort
| Dis !Language.Fixpoint.Types.Names.Symbol
!Language.Fixpoint.Types.Sorts.Sort
| Qul !Language.Fixpoint.Types.Constraints.Qualifier
| Kut !Language.Fixpoint.Types.Refinements.KVar
| Pack !Language.Fixpoint.Types.Refinements.KVar !GHC.Types.Int
| IBind !GHC.Types.Int
!Language.Fixpoint.Types.Names.Symbol
!Language.Fixpoint.Types.Refinements.SortedReft
| EBind !GHC.Types.Int
!Language.Fixpoint.Types.Names.Symbol
!Language.Fixpoint.Types.Sorts.Sort
| Opt !GHC.Base.String
| Def !Language.Fixpoint.Types.Constraints.Equation
| Mat !Language.Fixpoint.Types.Constraints.Rewrite
| Expand ![(GHC.Types.Int, GHC.Types.Bool)]
| Adt !Language.Fixpoint.Types.Sorts.DataDecl
63f6c583c67f96106ab79bf83686f4e6
data Fixity
= FInfix {fpred :: GHC.Maybe.Maybe GHC.Types.Int,
fname :: GHC.Base.String,
fop2 :: GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr),
fassoc :: Text.Parsec.Expr.Assoc}
| FPrefix {fpred :: GHC.Maybe.Maybe GHC.Types.Int,
fname :: GHC.Base.String,
fop1 :: GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr)}
| FPostfix {fpred :: GHC.Maybe.Maybe GHC.Types.Int,
fname :: GHC.Base.String,
fop1 :: GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr)}
bfd0a8e8505a6b9fd10f904aedcfacbe
class Inputable a where
rr :: GHC.Base.String -> a
rr' :: GHC.Base.String -> GHC.Base.String -> a
e2608943a6d3f1e89c6bf70b6c447eeb
type OpTable =
Text.Parsec.Expr.OperatorTable
GHC.Base.String
GHC.Integer.Type.Integer
(Control.Monad.Trans.State.Lazy.State
Language.Fixpoint.Parse.PState)
Language.Fixpoint.Types.Refinements.Expr
e2608943a6d3f1e89c6bf70b6c447eeb
data PState
= PState {fixityTable :: Language.Fixpoint.Parse.OpTable,
empList :: GHC.Maybe.Maybe
Language.Fixpoint.Types.Refinements.Expr,
singList :: GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr)}
acba7f917e7308e392b364ab2b3f5de2
type Parser =
Text.Parsec.Prim.ParsecT
GHC.Base.String
GHC.Integer.Type.Integer
(Control.Monad.Trans.State.Lazy.State
Language.Fixpoint.Parse.PState)
:: * -> *
5c48ff291aeae611f19deba63d273028
type ParserT u a =
Text.Parsec.Prim.ParsecT
GHC.Base.String
u
(Control.Monad.Trans.State.Lazy.State
Language.Fixpoint.Parse.PState)
a
7461c4389e8b420ec600bb20f8eabe51
axiom Language.Fixpoint.Parse.Rep_Def::
GHC.Generics.Rep (Language.Fixpoint.Parse.Def a)
= GHC.Generics.D1
('GHC.Generics.MetaData
"Def"
"Language.Fixpoint.Parse"
"liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep"
'GHC.Types.False)
((((GHC.Generics.C1
('GHC.Generics.MetaCons
"Srt" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Axm" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr)))
GHC.Generics.:+: (GHC.Generics.C1
('GHC.Generics.MetaCons
"Cst" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
(Language.Fixpoint.Types.Constraints.SubC a)))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Wfc" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
(Language.Fixpoint.Types.Constraints.WfC
a)))))
GHC.Generics.:+: ((GHC.Generics.C1
('GHC.Generics.MetaCons
"Con" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Sorts.Sort))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Dis" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Names.Symbol)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Sorts.Sort)))
GHC.Generics.:+: (GHC.Generics.C1
('GHC.Generics.MetaCons
"Qul" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Constraints.Qualifier))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Kut"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Refinements.KVar)))))
GHC.Generics.:+: (((GHC.Generics.C1
('GHC.Generics.MetaCons
"Pack" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 GHC.Types.Int))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"IBind"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 GHC.Types.Int)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Names.Symbol)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Refinements.SortedReft))))
GHC.Generics.:+: (GHC.Generics.C1
('GHC.Generics.MetaCons
"EBind"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0 GHC.Types.Int)
GHC.Generics.:*: (GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Names.Symbol)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Sorts.Sort)))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Opt"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
GHC.Base.String))))
GHC.Generics.:+: ((GHC.Generics.C1
('GHC.Generics.MetaCons
"Def" 'GHC.Generics.PrefixI 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Constraints.Equation))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Mat"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Constraints.Rewrite)))
GHC.Generics.:+: (GHC.Generics.C1
('GHC.Generics.MetaCons
"Expand"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
[(GHC.Types.Int,
GHC.Types.Bool)]))
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
"Adt"
'GHC.Generics.PrefixI
'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.SourceStrict
'GHC.Generics.DecidedStrict)
(GHC.Generics.Rec0
Language.Fixpoint.Types.Sorts.DataDecl))))))
64741731091ddb6bb5e959b97d6b99a5
addOperatorP ::
Language.Fixpoint.Parse.Fixity -> Language.Fixpoint.Parse.Parser ()
79c27263a7b48110f7708e213cfee899
angles ::
Language.Fixpoint.Parse.ParserT u a
-> Language.Fixpoint.Parse.ParserT u a
3ec70403287ab3431bb2eb8451240625
bindP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol
70d972f62933f14c906a64ca9cd81e7d
blanks :: Language.Fixpoint.Parse.Parser GHC.Base.String
72de46629eb46ae017c4400b15a2bee4
braces ::
Language.Fixpoint.Parse.ParserT u a
-> Language.Fixpoint.Parse.ParserT u a
af6c2387ab5b42a9ecf0b7484d27f514
brackets ::
Language.Fixpoint.Parse.ParserT u a
-> Language.Fixpoint.Parse.ParserT u a
736a4b94ba2e2d2bc64551f8de8bc5b8
bvSortP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Sorts.Sort
2ef6de22b469cbc776eecd6c6aa48044
colon :: Language.Fixpoint.Parse.Parser GHC.Base.String
6d843e2b407a289ceea5cdb3da143c38
comma :: Language.Fixpoint.Parse.Parser GHC.Base.String
65d5e2f88f7865aade23d5f2327fdd88
condIdP ::
Language.Fixpoint.Parse.Parser GHC.Types.Char
-> Data.HashSet.HashSet GHC.Types.Char
-> (GHC.Base.String -> GHC.Types.Bool)
-> Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Names.Symbol
d78490ded74a0330f281864988a56a5b
constantP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Constant
8b0e620bd0b284350e121adf65192ee1
dataCtorP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Sorts.DataCtor
0da53c7c4d763239cbd5a685e71e5e73
dataDeclP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Sorts.DataDecl
b91ce0521fe74aef4da776034d9fa196
dataFieldP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Sorts.DataField
1c6f45f224c661a53fbdd3b7adabe928
dcolon :: Language.Fixpoint.Parse.Parser GHC.Base.String
bb5cf568d2dd52518c0d1eeac71bf430
doParse' ::
Language.Fixpoint.Parse.Parser a
-> Text.Parsec.Pos.SourceName -> GHC.Base.String -> a
e2608943a6d3f1e89c6bf70b6c447eeb
empList ::
Language.Fixpoint.Parse.PState
-> GHC.Maybe.Maybe Language.Fixpoint.Types.Refinements.Expr
RecSel Left Language.Fixpoint.Parse.PState
5d716ef1758430d24bd812d2ee10d797
expr0P ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
fecd4e3666146d4df9018a9efd3c3679
exprP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
63f6c583c67f96106ab79bf83686f4e6
fassoc :: Language.Fixpoint.Parse.Fixity -> Text.Parsec.Expr.Assoc
RecSel Left Language.Fixpoint.Parse.Fixity
e2608943a6d3f1e89c6bf70b6c447eeb
fixityTable ::
Language.Fixpoint.Parse.PState -> Language.Fixpoint.Parse.OpTable
RecSel Left Language.Fixpoint.Parse.PState
63f6c583c67f96106ab79bf83686f4e6
fname :: Language.Fixpoint.Parse.Fixity -> GHC.Base.String
RecSel Left Language.Fixpoint.Parse.Fixity
63f6c583c67f96106ab79bf83686f4e6
fop1 ::
Language.Fixpoint.Parse.Fixity
-> GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr)
RecSel Left Language.Fixpoint.Parse.Fixity
63f6c583c67f96106ab79bf83686f4e6
fop2 ::
Language.Fixpoint.Parse.Fixity
-> GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr)
RecSel Left Language.Fixpoint.Parse.Fixity
63f6c583c67f96106ab79bf83686f4e6
fpred ::
Language.Fixpoint.Parse.Fixity -> GHC.Maybe.Maybe GHC.Types.Int
RecSel Left Language.Fixpoint.Parse.Fixity
7e0d0910f79a7024ad1d8fce63a2a011
freshIntP ::
Language.Fixpoint.Parse.Parser GHC.Integer.Type.Integer
5edb3050ba3ce36638c5c024331d8d77
funAppP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
cc5ddc3906d9e6245e75ee0e237c0b3b
infixIdP :: Language.Fixpoint.Parse.Parser GHC.Base.String
9d67d9e23db4d315428a1958e77126b5
initPState :: Language.Fixpoint.Parse.PState
d606957e175b7e9d8da8ab1d84ee1808
integer :: Language.Fixpoint.Parse.Parser GHC.Integer.Type.Integer
d934634e24f873cc80666ec2541155f2
isNotReserved :: GHC.Base.String -> GHC.Types.Bool
d9c1dc6f026338d8cf0f0b4b2fb11a97
isSmall :: GHC.Types.Char -> GHC.Types.Bool
2943aa67e1f6a98fc25928403db0f404
lexer ::
GHC.Base.Monad m =>
Text.Parsec.Token.GenTokenParser GHC.Base.String u m
a321f0c34b88a2456dc3ae19b5e4ad7f
locLowerIdP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Names.LocSymbol
0ebeef8a00eae2a90cbed54edeb04dc1
locParserP ::
Language.Fixpoint.Parse.Parser a
-> Language.Fixpoint.Parse.Parser
(Language.Fixpoint.Types.Spans.Located a)
123a80c1ec72c72e3172cdf70a7794fd
locUpperIdP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Names.LocSymbol
5999cabc366c823e7eab5f54545ddecf
lowerIdP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol
8d3da0c5b1a537be738456772bb1e3f6
pairP ::
Language.Fixpoint.Parse.Parser a
-> Language.Fixpoint.Parse.Parser z
-> Language.Fixpoint.Parse.Parser b
-> Language.Fixpoint.Parse.Parser (a, b)
3ff74a82c6c082ae43768e3b6520d072
parens ::
Language.Fixpoint.Parse.ParserT u a
-> Language.Fixpoint.Parse.ParserT u a
72d7aa2bae25f00e7bcd36e1268ae5bc
parseFromFile ::
Language.Fixpoint.Parse.Parser b
-> Text.Parsec.Pos.SourceName -> GHC.Types.IO b
abdb144613ea68cf27b2784d9240e49f
predP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
c281e6fd79cf4d077609918681538a41
qualifierP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Sorts.Sort
-> Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Constraints.Qualifier
6e1315293d43de1d5dd3bdd142a173cb
refBindP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol
-> Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Parse.Parser
(Language.Fixpoint.Types.Refinements.Reft -> a)
-> Language.Fixpoint.Parse.Parser a
1b752c949bb4705793094dec017223bc
refDefP ::
Language.Fixpoint.Types.Names.Symbol
-> Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Parse.Parser
(Language.Fixpoint.Types.Refinements.Reft -> a)
-> Language.Fixpoint.Parse.Parser a
afe181957555d12d58ee9947c69e73e5
refP ::
Language.Fixpoint.Parse.Parser
(Language.Fixpoint.Types.Refinements.Reft -> a)
-> Language.Fixpoint.Parse.Parser a
b516ae3dada29d4536dbbc9a58eb3a80
refaP ::
Language.Fixpoint.Parse.Parser
Language.Fixpoint.Types.Refinements.Expr
0d90fe65a11c9d5ede09bd0b45ffd887
remainderP ::
Language.Fixpoint.Parse.Parser a
-> Language.Fixpoint.Parse.Parser
(a, GHC.Base.String, Text.Parsec.Pos.SourcePos)
a00ff7b1b27c4805c4cedbcb08758ce6
reserved :: GHC.Base.String -> Language.Fixpoint.Parse.Parser ()
dbed27c238f80603fed4168bc27787e9
reservedOp :: GHC.Base.String -> Language.Fixpoint.Parse.Parser ()
82dd5e6b77d04e89cc9bc51490799556
semi :: Language.Fixpoint.Parse.Parser GHC.Base.String
e2608943a6d3f1e89c6bf70b6c447eeb
singList ::
Language.Fixpoint.Parse.PState
-> GHC.Maybe.Maybe
(Language.Fixpoint.Types.Refinements.Expr
-> Language.Fixpoint.Types.Refinements.Expr)
RecSel Left Language.Fixpoint.Parse.PState
edc9dd330cfb2d2d7537020273e739e0
sortP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Sorts.Sort
dd5125babd28fdb99570e629b5612e5f
stringLiteral :: Language.Fixpoint.Parse.Parser GHC.Base.String
beab0f933832bfbcb60fab8ebd4a25e8
symbolP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol
55990084a213fa411d0f585abd4b3389
upperIdP ::
Language.Fixpoint.Parse.Parser Language.Fixpoint.Types.Names.Symbol
407f4743646dcfdd071ceb0057604266
whiteSpace :: Language.Fixpoint.Parse.Parser ()
instance GHC.Generics.Generic [Language.Fixpoint.Parse.Def]
= Language.Fixpoint.Parse.$fGenericDef
instance Language.Fixpoint.Parse.Inputable [(,)]
= Language.Fixpoint.Parse.$fInputable(,)
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Smt.Types.Command]
= Language.Fixpoint.Parse.$fInputableCommand
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Refinements.Constant]
= Language.Fixpoint.Parse.$fInputableConstant
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Refinements.Expr]
= Language.Fixpoint.Parse.$fInputableExpr
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Constraints.FInfoWithOpts]
= Language.Fixpoint.Parse.$fInputableFInfoWithOpts
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Errors.FixResult]
= Language.Fixpoint.Parse.$fInputableFixResult
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Constraints.GInfo]
= Language.Fixpoint.Parse.$fInputableGInfo
instance Language.Fixpoint.Parse.Inputable [Language.Fixpoint.Types.Names.Symbol]
= Language.Fixpoint.Parse.$fInputableSymbol
instance Language.Fixpoint.Parse.Inputable [[]]
= Language.Fixpoint.Parse.$fInputable[]
instance GHC.Show.Show [Language.Fixpoint.Parse.Def]
= Language.Fixpoint.Parse.$fShowDef
family instance GHC.Generics.Rep [Language.Fixpoint.Parse.Def]
= Language.Fixpoint.Parse.Rep_Def
trusted: none
require own pkg trusted: False
module header:
Nothing
declaration docs:
arg docs: