symantic-6.3.4.20190712: Library for Typed Tagless-Final Higher-Order Composable DSL

Index - E

EPeano 
1 (Type/Class)Language.Symantic.Typing.Peano, Language.Symantic.Typing, Language.Symantic
2 (Data Constructor)Language.Symantic.Typing.Peano, Language.Symantic.Typing, Language.Symantic
eqConstLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
eqConstKiLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
eqKindLanguage.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic
eqTypeLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
eqTypeKiLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
eqTypesLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
eqVarLanguage.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic
eqVarKiLanguage.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic
ErrorInjLanguage.Symantic
errorInjLanguage.Symantic
Error_BetaLanguage.Symantic.Compiling.Beta, Language.Symantic.Compiling, Language.Symantic
Error_Beta_Term_not_a_functionLanguage.Symantic.Compiling.Beta, Language.Symantic.Compiling, Language.Symantic
Error_Beta_Type_mismatchLanguage.Symantic.Compiling.Beta, Language.Symantic.Compiling, Language.Symantic
Error_Beta_UnifyLanguage.Symantic.Compiling.Beta, Language.Symantic.Compiling, Language.Symantic
Error_ModuleLanguage.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic
Error_Module_ambiguousLanguage.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic
Error_Module_colliding_TermLanguage.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic
Error_Module_missingLanguage.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic
Error_Module_missing_TermLanguage.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic
Error_TermLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_Term_BetaLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_Term_GramLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_applicationLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_application_mismatchLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_FixityLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_ModuleLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_not_applicableLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_Term_incompleteLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_Gram_Type_applied_to_nothingLanguage.Symantic.Compiling.Grammar, Language.Symantic.Compiling, Language.Symantic
Error_Term_polymorphicLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_Term_prooflessLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_Term_qualifiedLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_Term_TypeLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_Term_unknownLanguage.Symantic.Compiling.Read, Language.Symantic.Compiling, Language.Symantic
Error_TypeLanguage.Symantic.Typing.Grammar, Language.Symantic.Typing, Language.Symantic
Error_Type_Constant_unknownLanguage.Symantic.Typing.Grammar, Language.Symantic.Typing, Language.Symantic
Error_Type_Con_KindLanguage.Symantic.Typing.Grammar, Language.Symantic.Typing, Language.Symantic
Error_UnifyLanguage.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic
Error_Unify_Const_mismatchLanguage.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic
Error_Unify_KindLanguage.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic
Error_Unify_Kind_mismatchLanguage.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic
Error_Unify_mismatchLanguage.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic
Error_Unify_Var_loopLanguage.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic
Eval 
1 (Type/Class)Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
2 (Data Constructor)Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
evalLanguage.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
eval0Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
eval1Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
eval2Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
eval3Language.Symantic.Interpreting.Eval, Language.Symantic.Interpreting, Language.Symantic
EVar 
1 (Type/Class)Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic
2 (Data Constructor)Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic
EVars 
1 (Type/Class)Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic
2 (Data Constructor)Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic
ExpandFamLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
expandFamLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic
expandFamForLanguage.Symantic.Typing.Type, Language.Symantic.Typing, Language.Symantic