lib:libcspm
Modules
- CSPM
- CSPM.CommandLineOptions
- CSPM.DataStructures.FreeVars
- CSPM.DataStructures.Literals
- CSPM.DataStructures.Names
- CSPM.DataStructures.Syntax
- CSPM.DataStructures.Types
- CSPM.Desugar
- CSPM.Evaluator
- CSPM.Evaluator.BuiltInFunctions
- CSPM.Evaluator.DeclBind
- CSPM.Evaluator.DeepSeq
- CSPM.Evaluator.Dot
- CSPM.Evaluator.Environment
- CSPM.Evaluator.Exceptions
- CSPM.Evaluator.Expr
- CSPM.Evaluator.File
- CSPM.Evaluator.Monad
- CSPM.Evaluator.PatBind
- CSPM.Evaluator.ProcessValues
- CSPM.Evaluator.Profiler
- CSPM.Evaluator.ValuePrettyPrinter
- CSPM.Evaluator.ValueSet
- CSPM.Evaluator.Values
- CSPM.Parser
- CSPM.Parser.Exceptions
- CSPM.Parser.Lexer
- CSPM.Parser.Monad
- CSPM.Parser.Parser
- CSPM.Parser.Tokens
- CSPM.Prelude
- CSPM.PrettyPrinter
- CSPM.Renamer
- CSPM.TypeChecker
- CSPM.TypeChecker.BuiltInFunctions
- CSPM.TypeChecker.Common
- CSPM.TypeChecker.Compressor
- CSPM.TypeChecker.Decl
- CSPM.TypeChecker.Environment
- CSPM.TypeChecker.Exceptions
- CSPM.TypeChecker.Expr
- CSPM.TypeChecker.File
- CSPM.TypeChecker.InteractiveStmt
- CSPM.TypeChecker.Monad
- CSPM.TypeChecker.Pat
- CSPM.TypeChecker.Unification
- Data.Graph.ST
- Data.Set.MutableBit
- Util.Annotated
- Util.Exception
- Util.FuzzyLookup
- Util.HierarchicalMap
- Util.List
- Util.Monad
- Util.MonadicPrettyPrint
- Util.MonadicPrettyPrintInternal
- Util.PartialFunctions
- Util.Precedence
- Util.Prelude
- Util.PrettyPrint
Dependencies
- array lib:array >=0.3
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0.9
- containers lib:containers >=0.5
- deepseq lib:deepseq >=1.3 && <1.4
- directory lib:directory >=1.0
- filepath lib:filepath >=1.2
- graph-wrapper lib:graph-wrapper >=0.2
- hashable lib:hashable >=1.1 && <1.2
- hashtables lib:hashtables >=1.0
- mtl lib:mtl >=2.0
- pretty lib:pretty >=1.1
- text lib:text >=0.11 && <0.12
- value-supply lib:value-supply >=0.6
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- cspmchecker exe:cspmchecker
- cspmchecker exe:cspmcheckeri
- libcspm test:libcspm_tests
- libcspm test:unit-tests