symantic-6.0.0.20170623: 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
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.Read, Language.Symantic.Typing, Language.Symantic
Error_Type_Constant_unknownLanguage.Symantic.Typing.Read, Language.Symantic.Typing, Language.Symantic
Error_Type_Con_KindLanguage.Symantic.Typing.Read, 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