Index
| $ | Symantic.Class, Symantic |
| --> | Symantic.Reify, Symantic |
| -..-> | Symantic.CurryN, Symantic |
| . | Symantic.Class, Symantic |
| .> | Symantic.Class, Symantic |
| .@ | Symantic.Class, Symantic |
| :!: | Symantic.Class, Symantic |
| :@ | Symantic.Data, Symantic |
| <!> | Symantic.Class, Symantic |
| <%> | Symantic.Class, Symantic |
| <&> | Symantic.Class, Symantic |
| <*&> | Symantic.Class, Symantic |
| <+&> | Symantic.Class, Symantic |
| <+> | Symantic.Class, Symantic |
| <-> | Symantic.Class, Symantic |
| <. | Symantic.Class, Symantic |
| <.> | Symantic.Class, Symantic |
| <> | Symantic.Class, Symantic |
| <?&> | Symantic.Class, Symantic |
| <|> | Symantic.Class, Symantic |
| == | Symantic.Class, Symantic |
| a2b | Symantic.Class, Symantic |
| Abstractable | Symantic.Class, Symantic |
| ADT | Symantic.ADT |
| adt | Symantic.Class, Symantic |
| adtOfeot | Symantic.ADT |
| AlternativeFunctor | Symantic.Class, Symantic |
| Anything | Symantic.Data, Symantic |
| anything | Symantic.Class, Symantic |
| Anythingable | Symantic.Class, Symantic |
| Args | Symantic.CurryN, Symantic |
| AssocB | Symantic.Fixity |
| Associativity | Symantic.Fixity |
| AssocL | Symantic.Fixity |
| AssocR | Symantic.Fixity |
| b2a | Symantic.Class, Symantic |
| base | Symantic.Reify, Symantic |
| bool | Symantic.Class, Symantic |
| Bottom | Symantic.Data, Symantic |
| bottom | Symantic.Class, Symantic |
| Bottomable | Symantic.Class, Symantic |
| char | Symantic.Class, Symantic |
| Concat | Symantic.Data, Symantic |
| concat | Symantic.Class, Symantic |
| Cons | Symantic.Data, Symantic |
| cons | Symantic.Class, Symantic |
| const | Symantic.Class, Symantic |
| Constant | Symantic.Data, Symantic |
| constant | Symantic.Class, Symantic |
| Constantable | Symantic.Class, Symantic |
| construct | Symantic.Class, Symantic |
| CurryN | Symantic.CurryN, Symantic |
| curryN | Symantic.CurryN, Symantic |
| Data | |
| 1 (Type/Class) | Symantic.Data, Symantic |
| 2 (Data Constructor) | Symantic.Data, Symantic |
| Definable | Symantic.ObserveSharing, Symantic |
| define | Symantic.ObserveSharing, Symantic |
| Derivable | Symantic.Derive, Symantic |
| derive | Symantic.Derive, Symantic |
| Derived | Symantic.Derive, Symantic |
| dicurry | Symantic.Class, Symantic |
| Dicurryable | Symantic.Class, Symantic |
| Eitherable | Symantic.Class, Symantic |
| EithersOfRep | Symantic.ADT |
| eithersOfRepL | Symantic.ADT |
| eithersOfRepR | Symantic.ADT |
| Empty | Symantic.Data, Symantic |
| empty | Symantic.Class, Symantic |
| Emptyable | Symantic.Class, Symantic |
| EoT | Symantic.ADT |
| eotOfadt | Symantic.ADT |
| EoTOfRep | Symantic.ADT |
| Equal | Symantic.Data, Symantic |
| equal | Symantic.Class, Symantic |
| Equalable | Symantic.Class, Symantic |
| FieldOfRep | Symantic.ADT |
| fieldOfRep | Symantic.ADT |
| FinalizeSharing | |
| 1 (Type/Class) | Symantic.ObserveSharing, Symantic |
| 2 (Data Constructor) | Symantic.ObserveSharing, Symantic |
| fix | Symantic.ObserveSharing, Symantic |
| Fixity | Symantic.Fixity |
| Fixity1 | Symantic.Fixity |
| Fixity2 | Symantic.Fixity |
| flip | Symantic.Class, Symantic |
| FromDerived | Symantic.Derive, Symantic |
| FromDerived1 | Symantic.Derive, Symantic |
| FromDerived2 | Symantic.Derive, Symantic |
| FromDerived3 | Symantic.Derive, Symantic |
| FromDerived4 | Symantic.Derive, Symantic |
| Functionable | Symantic.Class, Symantic |
| id | Symantic.Class, Symantic |
| IfThenElse | Symantic.Data, Symantic |
| ifThenElse | Symantic.Class, Symantic |
| IfThenElseable | Symantic.Class, Symantic |
| infer | Symantic.Class, Symantic |
| Inferable | Symantic.Class, Symantic |
| Infix | |
| 1 (Type/Class) | Symantic.Fixity |
| 2 (Data Constructor) | Symantic.Fixity |
| infixB | Symantic.Fixity |
| infixL | Symantic.Fixity |
| infixN | Symantic.Fixity |
| infixN0 | Symantic.Fixity |
| infixN5 | Symantic.Fixity |
| infixR | Symantic.Fixity |
| infix_associativity | Symantic.Fixity |
| infix_precedence | Symantic.Fixity |
| int | Symantic.Class, Symantic |
| Iso | |
| 1 (Type/Class) | Symantic.Class, Symantic |
| 2 (Data Constructor) | Symantic.Class, Symantic |
| IsoFunctor | Symantic.Class, Symantic |
| isPairNeeded | Symantic.Fixity |
| Just | Symantic.Data, Symantic |
| just | Symantic.Class, Symantic |
| Lam | Symantic.Data, Symantic |
| lam | Symantic.Class, Symantic |
| Lam1 | Symantic.Data, Symantic |
| lam1 | Symantic.Class, Symantic |
| Left | Symantic.Data, Symantic |
| left | Symantic.Class, Symantic |
| LetBindings | Symantic.ObserveSharing, Symantic |
| LetRecs | Symantic.ObserveSharing, Symantic |
| lets | Symantic.ObserveSharing, Symantic |
| Letsable | Symantic.ObserveSharing, Symantic |
| LiftDerived | Symantic.Derive, Symantic |
| liftDerived | Symantic.Derive, Symantic |
| LiftDerived1 | Symantic.Derive, Symantic |
| liftDerived1 | Symantic.Derive, Symantic |
| LiftDerived2 | Symantic.Derive, Symantic |
| liftDerived2 | Symantic.Derive, Symantic |
| LiftDerived3 | Symantic.Derive, Symantic |
| liftDerived3 | Symantic.Derive, Symantic |
| LiftDerived4 | Symantic.Derive, Symantic |
| liftDerived4 | Symantic.Derive, Symantic |
| Listable | Symantic.Class, Symantic |
| ListOfRepProducts | Symantic.ADT |
| ListOfRepSums | Symantic.ADT |
| MakeLetName | Symantic.ObserveSharing, Symantic |
| makeLetName | Symantic.ObserveSharing, Symantic |
| makeSharingName | Symantic.ObserveSharing, Symantic |
| many0 | Symantic.Class, Symantic |
| many1 | Symantic.Class, Symantic |
| mapresultN | Symantic.CurryN, Symantic |
| Maybeable | Symantic.Class, Symantic |
| Monoidable | Symantic.Class, Symantic |
| mutualFix | Symantic.ObserveSharing, Symantic |
| natural | Symantic.Class, Symantic |
| Nil | Symantic.Data, Symantic |
| nil | Symantic.Class, Symantic |
| noPerm | Symantic.Class, Symantic |
| normalOrderReduction | Symantic.Optimize, Symantic |
| Nothing | Symantic.Data, Symantic |
| nothing | Symantic.Class, Symantic |
| ObserveSharing | |
| 1 (Type/Class) | Symantic.ObserveSharing, Symantic |
| 2 (Data Constructor) | Symantic.ObserveSharing, Symantic |
| observeSharing | Symantic.ObserveSharing, Symantic |
| observeSharingNode | Symantic.ObserveSharing, Symantic |
| ObserveSharingState | |
| 1 (Type/Class) | Symantic.ObserveSharing, Symantic |
| 2 (Data Constructor) | Symantic.ObserveSharing, Symantic |
| OpenRec | Symantic.ObserveSharing, Symantic |
| OpenRecs | Symantic.ObserveSharing, Symantic |
| option | Symantic.Class, Symantic |
| Optionable | Symantic.Class, Symantic |
| optional | Symantic.Class, Symantic |
| optionalPerm | Symantic.Class, Symantic |
| oss_recs | Symantic.ObserveSharing, Symantic |
| oss_refs | Symantic.ObserveSharing, Symantic |
| Pair | Symantic.Fixity |
| pairAngle | Symantic.Fixity |
| pairBrace | Symantic.Fixity |
| pairBracket | Symantic.Fixity |
| pairIfNeeded | Symantic.Fixity |
| pairParen | Symantic.Fixity |
| pairView | Symantic.View, Symantic |
| perm | Symantic.Class, Symantic |
| Permutable | Symantic.Class, Symantic |
| permutable | Symantic.Class, Symantic |
| Permutation | Symantic.Class, Symantic, Symantic |
| permWithDefault | Symantic.Class, Symantic |
| Postfix | Symantic.Fixity |
| Precedence | Symantic.Fixity |
| precedence | Symantic.Fixity |
| PrecedenceOf | Symantic.Fixity |
| Prefix | Symantic.Fixity |
| ProductFunctor | Symantic.Class, Symantic |
| ref | Symantic.ObserveSharing, Symantic |
| Referenceable | Symantic.ObserveSharing, Symantic |
| reflect | Symantic.Reify, Symantic |
| reify | Symantic.Reify, Symantic |
| ReifyReflect | |
| 1 (Type/Class) | Symantic.Reify, Symantic |
| 2 (Data Constructor) | Symantic.Reify, Symantic |
| reifyTH | Symantic.Reify, Symantic |
| Repeatable | Symantic.Class, Symantic |
| RepOfEithers | Symantic.ADT |
| repOfEithers | Symantic.ADT |
| RepOfEoT | Symantic.ADT |
| RepOfField | Symantic.ADT |
| repOfField | Symantic.ADT |
| RepOfTuples | Symantic.ADT |
| repOfTuples | Symantic.ADT |
| ReprKind | Symantic.Class, Symantic |
| Result | Symantic.CurryN, Symantic |
| Right | Symantic.Data, Symantic |
| right | Symantic.Class, Symantic |
| Routable | Symantic.Class, Symantic |
| runView | Symantic.View, Symantic |
| Semigroupable | Symantic.Class, Symantic |
| SharingName | |
| 1 (Type/Class) | Symantic.ObserveSharing, Symantic |
| 2 (Data Constructor) | Symantic.ObserveSharing, Symantic |
| Side | Symantic.Fixity |
| SideL | Symantic.Fixity |
| SideR | Symantic.Fixity |
| SomeData | |
| 1 (Type/Class) | Symantic.Data, Symantic |
| 2 (Data Constructor) | Symantic.Data, Symantic |
| SomeLet | |
| 1 (Type/Class) | Symantic.ObserveSharing, Symantic |
| 2 (Data Constructor) | Symantic.ObserveSharing, Symantic |
| string | Symantic.Class, Symantic |
| Substractable | Symantic.Class, Symantic |
| SumFunctor | Symantic.Class, Symantic |
| Tuples | Symantic.ADT |
| TuplesOfRep | Symantic.ADT |
| tuplesOfRep | Symantic.ADT |
| TypeOfRepField | Symantic.ADT |
| uncurryN | Symantic.CurryN, Symantic |
| unFinalizeSharing | Symantic.ObserveSharing, Symantic |
| Unifix | Symantic.Fixity |
| unifix_precedence | Symantic.Fixity |
| unit | Symantic.Class, Symantic |
| unObserveSharing | Symantic.ObserveSharing, Symantic |
| unSomeData | Symantic.Data, Symantic |
| Var | Symantic.Data, Symantic |
| var | Symantic.Class, Symantic |
| View | |
| 1 (Type/Class) | Symantic.View, Symantic |
| 2 (Data Constructor) | Symantic.View, Symantic |
| ViewApp | Symantic.View, Symantic |
| ViewEnv | |
| 1 (Type/Class) | Symantic.View, Symantic |
| 2 (Data Constructor) | Symantic.View, Symantic |
| viewEnv_lamDepth | Symantic.View, Symantic |
| viewEnv_op | Symantic.View, Symantic |
| viewEnv_pair | Symantic.View, Symantic |
| ViewInfix | Symantic.View, Symantic |
| viewLam | Symantic.View, Symantic |
| ViewUnifix | Symantic.View, Symantic |
| void | Symantic.Class, Symantic |
| Voidable | Symantic.Class, Symantic |
| WithSharing | Symantic.ObserveSharing, Symantic |