Index

&&&
1 (Function)	Language.Haskell.Liquid.ProofCombinators
2 (Function)	Language.Haskell.Liquid.RTick.Combinators
***
1 (Function)	Language.Haskell.Liquid.Equational
2 (Function)	Language.Haskell.Liquid.ProofCombinators
3 (Function)	Language.Haskell.Liquid.RTick.Combinators
.<==	Language.Haskell.Liquid.RTick.Combinators
.>==	Language.Haskell.Liquid.RTick.Combinators
<*>	Language.Haskell.Liquid.RTick
<.	Language.Haskell.Liquid.RTick.Combinators
<//>	Language.Haskell.Liquid.RTick
</>	Language.Haskell.Liquid.RTick
<=.	Language.Haskell.Liquid.RTick.Combinators
<=>.	Language.Haskell.Liquid.RTick.Combinators
<=>?	Language.Haskell.Liquid.RTick.Combinators
<=?	Language.Haskell.Liquid.RTick.Combinators
<?	Language.Haskell.Liquid.RTick.Combinators
<\>	Language.Haskell.Liquid.RTick
<\\>	Language.Haskell.Liquid.RTick
<~<.	Language.Haskell.Liquid.RTick.Combinators
<~<?	Language.Haskell.Liquid.RTick.Combinators
=//<	Language.Haskell.Liquid.RTick
=/<	Language.Haskell.Liquid.RTick
=<<	Language.Haskell.Liquid.RTick
=<=	Language.Haskell.Liquid.ProofCombinators
==!
1 (Function)	Language.Haskell.Liquid.ProofCombinators
2 (Function)	Language.Haskell.Liquid.RTick.Combinators
==.
1 (Function)	Language.Haskell.Liquid.Equational
2 (Function)	Language.Haskell.Liquid.ProofCombinators
3 (Function)	Language.Haskell.Liquid.RTick.Combinators
==<.	Language.Haskell.Liquid.RTick.Combinators
==<?	Language.Haskell.Liquid.RTick.Combinators
===	Language.Haskell.Liquid.ProofCombinators
==>	Language.Haskell.Liquid.Prelude
==>.	Language.Haskell.Liquid.RTick.Combinators
==>?	Language.Haskell.Liquid.RTick.Combinators
==?	Language.Haskell.Liquid.RTick.Combinators
=>=	Language.Haskell.Liquid.ProofCombinators
=\<	Language.Haskell.Liquid.RTick
=\\<	Language.Haskell.Liquid.RTick
>.	Language.Haskell.Liquid.RTick.Combinators
>//=	Language.Haskell.Liquid.RTick
>/=	Language.Haskell.Liquid.RTick
>=.	Language.Haskell.Liquid.RTick.Combinators
>=?	Language.Haskell.Liquid.RTick.Combinators
>>=	Language.Haskell.Liquid.RTick
>?	Language.Haskell.Liquid.RTick.Combinators
>\=	Language.Haskell.Liquid.RTick
>\\=	Language.Haskell.Liquid.RTick
>~>.	Language.Haskell.Liquid.RTick.Combinators
>~>?	Language.Haskell.Liquid.RTick.Combinators
?
1 (Function)	Language.Haskell.Liquid.Equational
2 (Function)	Language.Haskell.Liquid.ProofCombinators
3 (Function)	Language.Haskell.Liquid.RTick.Combinators
?<==	Language.Haskell.Liquid.RTick.Combinators
?>==	Language.Haskell.Liquid.RTick.Combinators
Admit	Language.Haskell.Liquid.ProofCombinators
ap	Language.Haskell.Liquid.RTick
ASS	Language.Haskell.Liquid.RTick.Combinators
assert	Language.Haskell.Liquid.RTick.Combinators
Bag	Language.Haskell.Liquid.Bag
bagSize	Language.Haskell.Liquid.Bag
choose	Language.Haskell.Liquid.Prelude
concatString	Language.Haskell.Liquid.String
crash	Language.Haskell.Liquid.Prelude
cSizeInt	Language.Haskell.Liquid.Foreign
deref	Language.Haskell.Liquid.Foreign
dropString	Language.Haskell.Liquid.String
empty	Language.Haskell.Liquid.Bag
eq
1 (Function)	Language.Haskell.Liquid.Equational
2 (Function)	Language.Haskell.Liquid.Prelude
3 (Function)	Language.Haskell.Liquid.RTick.Combinators
eqBind	Language.Haskell.Liquid.RTick
eqPtr	Language.Haskell.Liquid.Foreign
err	Language.Haskell.Liquid.Synthesize.Error
fmap	Language.Haskell.Liquid.RTick
force	Language.Haskell.Liquid.Prelude
fpLen	Language.Haskell.Liquid.Foreign
fromList	Language.Haskell.Liquid.Bag
fromString	Language.Haskell.Liquid.String
geq	Language.Haskell.Liquid.Prelude
geqBind	Language.Haskell.Liquid.RTick
get	Language.Haskell.Liquid.Bag
gmap	Language.Haskell.Liquid.RTick
gmapN	Language.Haskell.Liquid.RTick
go	Language.Haskell.Liquid.RTick
goN	Language.Haskell.Liquid.RTick
groupBy	KMeansHelper
gt	Language.Haskell.Liquid.Prelude
impossible	Language.Haskell.Liquid.ProofCombinators
intCSize	Language.Haskell.Liquid.Foreign
isAss	Language.Haskell.Liquid.RTick.Combinators
isEven	Language.Haskell.Liquid.Prelude
isNullPtr	Language.Haskell.Liquid.Foreign
isNullString	Language.Haskell.Liquid.String
isOdd	Language.Haskell.Liquid.Prelude
leq	Language.Haskell.Liquid.Prelude
leqBind	Language.Haskell.Liquid.RTick
liftA2	Language.Haskell.Liquid.RTick
liftM	Language.Haskell.Liquid.RTick
liftM2	Language.Haskell.Liquid.RTick
liquidAssert	Language.Haskell.Liquid.Prelude
liquidAssertB	Language.Haskell.Liquid.Prelude
liquidAssume	Language.Haskell.Liquid.Prelude
liquidAssumeB	Language.Haskell.Liquid.Prelude
liquidError	Language.Haskell.Liquid.Prelude
lt	Language.Haskell.Liquid.Prelude
minus	Language.Haskell.Liquid.Prelude
mkPtr	Language.Haskell.Liquid.Foreign
neq	Language.Haskell.Liquid.Prelude
partition	KMeansHelper
pay	Language.Haskell.Liquid.RTick
pLen	Language.Haskell.Liquid.Foreign
plus	Language.Haskell.Liquid.Prelude
Proof
1 (Type/Class)	Language.Haskell.Liquid.Equational
2 (Type/Class)	Language.Haskell.Liquid.ProofCombinators
3 (Type/Class)	Language.Haskell.Liquid.RTick.Combinators
pure	Language.Haskell.Liquid.RTick
put	Language.Haskell.Liquid.Bag
QED
1 (Type/Class)	Language.Haskell.Liquid.Equational
2 (Data Constructor)	Language.Haskell.Liquid.Equational
3 (Type/Class)	Language.Haskell.Liquid.ProofCombinators
4 (Data Constructor)	Language.Haskell.Liquid.ProofCombinators
5 (Type/Class)	Language.Haskell.Liquid.RTick.Combinators
6 (Data Constructor)	Language.Haskell.Liquid.RTick.Combinators
return	Language.Haskell.Liquid.RTick
S	Language.Haskell.Liquid.String
safeZipWith	Language.Haskell.Liquid.Prelude
SMTString	Language.Haskell.Liquid.String
step	Language.Haskell.Liquid.RTick
stringEmp	Language.Haskell.Liquid.String
stringLen	Language.Haskell.Liquid.String
subString	Language.Haskell.Liquid.String
takeString	Language.Haskell.Liquid.String
tcost	Language.Haskell.Liquid.RTick
thm_emp	Language.Haskell.Liquid.Bag
thm_size	Language.Haskell.Liquid.Bag
Tick
1 (Type/Class)	Language.Haskell.Liquid.RTick
2 (Data Constructor)	Language.Haskell.Liquid.RTick
times	Language.Haskell.Liquid.Prelude
toProof
1 (Function)	Language.Haskell.Liquid.ProofCombinators
2 (Function)	Language.Haskell.Liquid.RTick.Combinators
transpose
1 (Function)	Language.Haskell.Liquid.List
2 (Function)	KMeansHelper
trivial
1 (Function)	Language.Haskell.Liquid.ProofCombinators
2 (Function)	Language.Haskell.Liquid.RTick.Combinators
tval	Language.Haskell.Liquid.RTick
union	Language.Haskell.Liquid.Bag
unreachable	Language.Haskell.Liquid.ProofCombinators
unsafeError	Language.Haskell.Liquid.Prelude
wait	Language.Haskell.Liquid.RTick
waitN	Language.Haskell.Liquid.RTick
withProof	Language.Haskell.Liquid.ProofCombinators
withTheorem
1 (Function)	Language.Haskell.Liquid.Equational
2 (Function)	Language.Haskell.Liquid.RTick.Combinators
wmap	Language.Haskell.Liquid.RTick
wmapN	Language.Haskell.Liquid.RTick
zipWith	KMeansHelper
zipWithM	Language.Haskell.Liquid.RTick