Index
| $$ | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| $+$ | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| && | Data.Integer.Presburger.Notation |
| .* | |
| 1 (Function) | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| 2 (Function) | Data.Integer.OldPresburger |
| /= | Data.Integer.Presburger.Notation |
| :/=: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :/\: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :<: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :<=: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :<=>: | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :=: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :=>: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :>: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :>=: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :\/: | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| :| | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| < | Data.Integer.Presburger.Notation |
| <+> | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| <= | Data.Integer.Presburger.Notation |
| <> | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| == | Data.Integer.Presburger.Notation |
| > | Data.Integer.Presburger.Notation |
| >= | Data.Integer.Presburger.Notation |
| add_mod | Data.Integer.Presburger.ModArith |
| And | Data.Integer.Presburger.Form |
| a_b_sets | Data.Integer.Presburger.Form |
| Bin | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| bin_op | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| bin_op_mod | Data.Integer.Presburger.ModArith |
| braces | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| brackets | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| cat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| char | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| check | |
| 1 (Function) | Data.Integer.Presburger.Form, Data.Integer.Presburger.Notation |
| 2 (Function) | Data.Integer.OldPresburger |
| 3 (Function) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| Chr | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| coeff | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| colon | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| comma | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Conn | Data.Integer.Presburger.Form |
| CVarP | |
| 1 (Type/Class) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| 2 (Data Constructor) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| DivCtr | Data.Integer.Presburger.SolveDiv |
| Divides | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| divides | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Divs | Data.Integer.Presburger.SolveDiv |
| div_mod_is | Data.Integer.Presburger.ModArith |
| Doc | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| double | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| doubleQuotes | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| elim | Data.Integer.Presburger.SolveDiv |
| empty | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Env | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.SolveDiv, Data.Integer.Presburger.Form |
| env_empty | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| env_extend | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Equal | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| equals | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| eval_conn | Data.Integer.Presburger.Form |
| eval_form | Data.Integer.Presburger.Form |
| eval_prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| eval_term | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Ex | Data.Integer.Presburger.Form |
| Exists | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| exists | |
| 1 (Function) | Data.Integer.Presburger.Notation |
| 2 (Function) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| extended_gcd | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| ex_step | Data.Integer.Presburger.Form |
| FALSE | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| fcat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| FF | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| float | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Forall | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| forall | |
| 1 (Function) | Data.Integer.Presburger.Notation |
| 2 (Function) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| Form | Data.Integer.Presburger.Form |
| Formula | |
| 1 (Type/Class) | Data.Integer.Presburger.Notation |
| 2 (Type/Class) | Data.Integer.OldPresburger |
| 3 (Type/Class) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| form_bound | Data.Integer.Presburger.Form |
| form_lcm | Data.Integer.Presburger.Form |
| form_neg_inf | Data.Integer.Presburger.Form |
| form_no_inf | Data.Integer.Presburger.Form |
| form_pos_inf | Data.Integer.Presburger.Form |
| form_scale | Data.Integer.Presburger.Form |
| fsep | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| fullRender | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| groupEither | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| hang | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| hcat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| hsep | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Ind | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| int | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| integer | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| isEmpty | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| is_constant | |
| 1 (Function) | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| 2 (Function) | Data.Integer.OldPresburger |
| is_nat | Data.Integer.Presburger.ModArith |
| is_reminder | Data.Integer.Presburger.ModArith |
| lbrace | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| lbrack | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| lcms | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Leaf | Data.Integer.Presburger.Form |
| LeftMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| LessThan | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| LessThanEqual | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| lineLength | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| lparen | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| mapEither | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Mode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| mode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| mod_is | Data.Integer.Presburger.ModArith |
| mul_mod | Data.Integer.Presburger.ModArith |
| Name | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| NBin | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| NDivides | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| neg | Data.Integer.Presburger.Form |
| negated | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| neg_inf | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| nest | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Node | Data.Integer.Presburger.Form |
| Norm | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| norm | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| normal | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| NormProp | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Not | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| not | Data.Integer.Presburger.Notation |
| num | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| OneLineMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Or | Data.Integer.Presburger.Form |
| PageMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| parens | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| PosP | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| pos_inf | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| PP | |
| 1 (Type/Class) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| 2 (Type/Class) | Data.Integer.OldPresburger |
| pp | |
| 1 (Function) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| 2 (Function) | Data.Integer.OldPresburger |
| pprop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| pp_neg | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| pp_neg_div | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Prop | |
| 1 (Type/Class) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| 2 (Data Constructor) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| PStr | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| ptext | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| punctuate | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Quant | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| quotes | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| rational | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| rbrace | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| rbrack | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| RelOp | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| render | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| renderStyle | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| ribbonsPerLine | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| rparen | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| scale | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| semi | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| sep | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| SignPP | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| simplify | |
| 1 (Function) | Data.Integer.Presburger.Form |
| 2 (Function) | Data.Integer.OldPresburger |
| simplify_prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| sizedText | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| space | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| split_ands | Data.Integer.Presburger.Form |
| split_divs | Data.Integer.Presburger.Form |
| split_term | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Str | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| Style | |
| 1 (Data Constructor) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| 2 (Type/Class) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| style | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| subst_form | Data.Integer.Presburger.Form |
| subst_prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| subst_term | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| sub_mod | Data.Integer.Presburger.ModArith |
| Term | |
| 1 (Type/Class) | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| 2 (Type/Class) | Data.Integer.OldPresburger |
| text | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| TextDetails | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| thm_as | Data.Integer.Presburger.Form |
| thm_bs | Data.Integer.Presburger.Form |
| translate | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| TRUE | |
| 1 (Data Constructor) | Data.Integer.OldPresburger |
| 2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
| var | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| VarP | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| var_name | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| vcat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| zeroWidthText | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| ZigZagMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
| || | Data.Integer.Presburger.Notation |