The latest version of libcspm is 1.0.0-0.
lib:libcspm
Modules
- CSPM
- CSPM.Compiler.Events
- CSPM.Compiler.Map
- CSPM.Compiler.Processes
- CSPM.Compiler.Set
- CSPM.DataStructures.Names
- CSPM.DataStructures.Syntax
- CSPM.DataStructures.Tokens
- CSPM.DataStructures.Types
- CSPM.Desugar
- CSPM.Evaluator
- CSPM.Evaluator.BuiltInFunctions
- CSPM.Evaluator.DeclBind
- CSPM.Evaluator.Environment
- CSPM.Evaluator.Exceptions
- CSPM.Evaluator.Expr
- CSPM.Evaluator.Module
- CSPM.Evaluator.Monad
- CSPM.Evaluator.PatBind
- CSPM.Evaluator.ValueSet
- CSPM.Evaluator.Values
- CSPM.Parser
- CSPM.Parser.Exceptions
- CSPM.Parser.Lexer
- CSPM.Parser.Monad
- CSPM.Parser.Parser
- CSPM.PrettyPrinter
- CSPM.TypeChecker
- CSPM.TypeChecker.BuiltInFunctions
- CSPM.TypeChecker.Common
- CSPM.TypeChecker.Compressor
- CSPM.TypeChecker.Decl
- CSPM.TypeChecker.Dependencies
- CSPM.TypeChecker.Environment
- CSPM.TypeChecker.Exceptions
- CSPM.TypeChecker.Expr
- CSPM.TypeChecker.InteractiveStmt
- CSPM.TypeChecker.Module
- CSPM.TypeChecker.Monad
- CSPM.TypeChecker.Pat
- CSPM.TypeChecker.Unification
- Util.Annotated
- Util.Exception
- Util.HierarchicalMap
- Util.List
- Util.Monad
- Util.PartialFunctions
- Util.Prelude
- Util.PrettyPrint
Dependencies
- array lib:array >=0.3
- base lib:base >=4 && <5
- containers lib:containers >=0.4
- directory lib:directory >=1.0
- filepath lib:filepath >=1.2
- graph-wrapper lib:graph-wrapper >=0.2
- mtl lib:mtl >=2.0
- pretty lib:pretty >=1.0
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