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