Index

definePartialStrictTestFunc	FreeC.Test.Environment
definePartialTestFunc	FreeC.Test.Environment
defineStrictTestFunc	FreeC.Test.Environment
defineTestCon	FreeC.Test.Environment
defineTestFunc	FreeC.Test.Environment
defineTestTypeCon	FreeC.Test.Environment
defineTestTypeSyn	FreeC.Test.Environment
defineTestTypeVar	FreeC.Test.Environment
defineTestVar	FreeC.Test.Environment
expectParseTestComponent	FreeC.Test.Parser
expectParseTestExpr	FreeC.Test.Parser
expectParseTestFuncDecl	FreeC.Test.Parser
expectParseTestImportDecl	FreeC.Test.Parser
expectParseTestIR	FreeC.Test.Parser
expectParseTestModule	FreeC.Test.Parser
expectParseTestName	FreeC.Test.Parser
expectParseTestQName	FreeC.Test.Parser
expectParseTestType	FreeC.Test.Parser
expectParseTestTypeDecl	FreeC.Test.Parser
expectParseTestTypeScheme	FreeC.Test.Parser
expectParseTestTypeSig	FreeC.Test.Parser
genIdent	FreeC.Environment.RenamerTests
genKeyword	FreeC.Environment.RenamerTests
genRegularIdent	FreeC.Environment.RenamerTests
genReservedIdent	FreeC.Environment.RenamerTests
genVernacularCommand	FreeC.Environment.RenamerTests
getBinDir	Paths_free_compiler
getDataDir	Paths_free_compiler
getDataFileName	Paths_free_compiler
getDynLibDir	Paths_free_compiler
getLibDir	Paths_free_compiler
getLibexecDir	Paths_free_compiler
getSysconfDir	Paths_free_compiler
invalidTestPos	FreeC.IR.SubtermTests
main	Spec
MonadTestable	FreeC.Monad.Class.Testable
parseTestComponent	FreeC.Test.Parser
parseTestExpr	FreeC.Test.Parser
parseTestFuncDecl	FreeC.Test.Parser
parseTestImportDecl	FreeC.Test.Parser
parseTestIR	FreeC.Test.Parser
parseTestModule	FreeC.Test.Parser
parseTestName	FreeC.Test.Parser
parseTestQName	FreeC.Test.Parser
parseTestType	FreeC.Test.Parser
parseTestTypeDecl	FreeC.Test.Parser
parseTestTypeScheme	FreeC.Test.Parser
parseTestTypeSig	FreeC.Test.Parser
prettyShouldBe	FreeC.Test.Expectations
renameAndAddTestEntry	FreeC.Test.Environment
scanTest	FreeC.Frontend.IR.ScannerTests
shouldBeParseError	FreeC.Frontend.IR.ParserTests
shouldBeSimilarTo	FreeC.Test.Expectations
shouldEtaConvert	FreeC.Pass.EtaConversionPassTests
shouldEtaConvertTopLevel	FreeC.Pass.EtaConversionPassTests
shouldFail	FreeC.Monad.Class.Testable
shouldFailOccursCheck	FreeC.IR.UnificationTests
shouldFailPretty	FreeC.Monad.Class.Testable
shouldFailUnification	FreeC.IR.UnificationTests
shouldFailWith	FreeC.Monad.Class.Testable
shouldNotBeSimilarTo	FreeC.Test.Expectations
shouldParse	FreeC.Frontend.IR.ParserTests
shouldParseModule	FreeC.Frontend.IR.ParserTests
shouldReturn	FreeC.Monad.Class.Testable
shouldReturnProperty	FreeC.Monad.Class.Testable
shouldReturnWith	FreeC.Monad.Class.Testable
shouldScan	FreeC.Frontend.IR.ScannerTests
shouldSucceed	FreeC.Monad.Class.Testable
shouldSucceedWith	FreeC.Monad.Class.Testable
shouldUnifyTo	FreeC.IR.UnificationTests
shouldUnifyTo'	FreeC.IR.UnificationTests
testAgdaBackend	FreeC.Backend.Agda.Tests
testAppExprParser	FreeC.Frontend.IR.ParserTests
testCaseExprParser	FreeC.Frontend.IR.ParserTests
testCompletePatternPass	FreeC.Pass.CompletePatternPassTests
testConExprParser	FreeC.Frontend.IR.ParserTests
testConstantArguments	FreeC.Backend.Coq.Analysis.ConstantArgumentsTests
testConvertDataDecls
1 (Function)	FreeC.Backend.Coq.Converter.TypeDeclTests
2 (Function)	FreeC.Backend.Agda.Converter.TypeDeclTests
testConverter	FreeC.Backend.Coq.ConverterTests
testConvertExpr	FreeC.Backend.Coq.Converter.ExprTests
testConvertFuncDecl	FreeC.Backend.Coq.Converter.FuncDeclTests
testConvertFuncDecls	FreeC.Backend.Agda.Converter.FuncDeclTests
testConvertNonRecFuncDecl	FreeC.Backend.Coq.Converter.FuncDecl.NonRecTests
testConvertRecFuncDecls	FreeC.Backend.Coq.Converter.FuncDecl.RecTests
testConvertRecFuncDeclWithHelpers	FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpersTests
testConvertRecFuncDeclWithSections	FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithSectionsTests
testConvertType	FreeC.Backend.Coq.Converter.TypeTests
testConvertTypeDecl	FreeC.Backend.Coq.Converter.TypeDeclTests
testCoqBackend	FreeC.Backend.Coq.Tests
testDataDeclParser	FreeC.Frontend.IR.ParserTests
testDecreasingArguments	FreeC.Backend.Coq.Analysis.DecreasingArgumentsTests
testEffectAnalysisPass	FreeC.Pass.EffectAnalysisPassTests
testEffectParser	FreeC.Frontend.IR.ParserTests
testEnvironment	FreeC.EnvironmentTests
testEtaConversionPass	FreeC.Pass.EtaConversionPassTests
testEtaConvertExpr	FreeC.Pass.EtaConversionPassTests
testEtaConvertFuncDecl	FreeC.Pass.EtaConversionPassTests
testExpandAllTypeSynonyms	FreeC.IR.TypeSynExpansionTests
testExpandTypeSynonym	FreeC.IR.TypeSynExpansionTests
testExportPass	FreeC.Pass.ExportPassTests
testExprParser	FreeC.Frontend.IR.ParserTests
testExprSubst	FreeC.IR.SubstTests
testExprTypeParser	FreeC.Frontend.IR.ParserTests
testFlattenExprPass	FreeC.Pass.FlattenExprPassTests
testFreshIdentifiers	FreeC.Environment.FreshTests
testFuncDeclParser	FreeC.Frontend.IR.ParserTests
testHaskellFrontend	FreeC.Frontend.Haskell.Tests
testIfExprParser	FreeC.Frontend.IR.ParserTests
testImportDeclParser	FreeC.Frontend.IR.ParserTests
testInlineLambdaPass	FreeC.Pass.InlineLambdaPassTests
testInlining	FreeC.IR.InliningTests
testIntLiteralParser	FreeC.Frontend.IR.ParserTests
testIR	FreeC.IR.Tests
testIRFrontend	FreeC.Frontend.IR.Tests
testIRParser	FreeC.Frontend.IR.ParserTests
testIRScanner	FreeC.Frontend.IR.ScannerTests
testKindCheckPass	FreeC.Pass.KindCheckPassTests
testLambdaExprParser	FreeC.Frontend.IR.ParserTests
testLetSortPass	FreeC.Pass.LetSortPassTests
testModuleParser	FreeC.Frontend.IR.ParserTests
testModuleSyntax	FreeC.IR.Syntax.ModuleTests
testMustRenameIdent	FreeC.Environment.RenamerTests
testNameParser	FreeC.Frontend.IR.ParserTests
testPipeline	FreeC.PipelineTests
testPos	FreeC.IR.SubtermTests
testQNameParser	FreeC.Frontend.IR.ParserTests
testReference	FreeC.IR.ReferenceTests
testRenameIdent	FreeC.Environment.RenamerTests
testRenamer	FreeC.Environment.RenamerTests
testReporter	FreeC.Monad.ReporterTests
testResolverPass	FreeC.Pass.ResolverPassTests
testSimilar	FreeC.IR.SimilarTests
testSimplifier	FreeC.Frontend.Haskell.SimplifierTests
testSubterm	FreeC.IR.SubtermTests
testSyntax	FreeC.IR.SyntaxTests
testSynTypeDeclParser	FreeC.Frontend.IR.ParserTests
testTypeAppExprParser	FreeC.Frontend.IR.ParserTests
testTypeInferencePass	FreeC.Pass.TypeInferencePassTests
testTypeParser	FreeC.Frontend.IR.ParserTests
testTypeSchemeParser	FreeC.Frontend.IR.ParserTests
testTypeSigParser	FreeC.Frontend.IR.ParserTests
testTypeSynExpansion	FreeC.IR.TypeSynExpansionTests
testTypeVars	FreeC.IR.ReferenceTests
testUnification	FreeC.IR.UnificationTests
testVarExprParser	FreeC.Frontend.IR.ParserTests
validTestPos	FreeC.IR.SubtermTests
version	Paths_free_compiler