ivory: Safe embedded C programming.
Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness.
Modules
[Index] [Quick Jump]
- Ivory
- Ivory.Language
- Ivory.Language.Area
- Ivory.Language.Array
- Ivory.Language.Assert
- BitData
- Ivory.Language.Bits
- Ivory.Language.BoundedInteger
- Ivory.Language.CArray
- Ivory.Language.Cast
- Ivory.Language.Comment
- Ivory.Language.Cond
- Ivory.Language.Const
- Ivory.Language.Coroutine
- Ivory.Language.Effects
- Ivory.Language.Float
- Ivory.Language.IBool
- Ivory.Language.IChar
- Ivory.Language.IIntegral
- Ivory.Language.IString
- Ivory.Language.Init
- Ivory.Language.Loop
- Ivory.Language.MemArea
- Ivory.Language.Module
- Ivory.Language.Monad
- Ivory.Language.Pointer
- Ivory.Language.Proc
- Ivory.Language.Proxy
- Ivory.Language.Ptr
- Ivory.Language.Ref
- Ivory.Language.Scope
- Ivory.Language.Sint
- Ivory.Language.SizeOf
- Ivory.Language.String
- Ivory.Language.Struct
- Ivory.Language.Syntax
- Ivory.Language.Syntax.AST
- Concrete
- Ivory.Language.Syntax.Concrete.Lexeme
- Ivory.Language.Syntax.Concrete.Lexer
- Ivory.Language.Syntax.Concrete.Location
- Ivory.Language.Syntax.Concrete.ParseAST
- Ivory.Language.Syntax.Concrete.ParseCore
- Ivory.Language.Syntax.Concrete.Parser
- Ivory.Language.Syntax.Concrete.Pretty
- Ivory.Language.Syntax.Concrete.QQ
- Ivory.Language.Syntax.Concrete.QQ.AreaQQ
- Ivory.Language.Syntax.Concrete.QQ.BindExp
- Ivory.Language.Syntax.Concrete.QQ.BitDataQQ
- Ivory.Language.Syntax.Concrete.QQ.Common
- Ivory.Language.Syntax.Concrete.QQ.CondQQ
- Ivory.Language.Syntax.Concrete.QQ.ExprQQ
- Ivory.Language.Syntax.Concrete.QQ.ProcQQ
- Ivory.Language.Syntax.Concrete.QQ.StmtQQ
- Ivory.Language.Syntax.Concrete.QQ.StructQQ
- Ivory.Language.Syntax.Concrete.QQ.TypeQQ
- Ivory.Language.Syntax.Names
- Ivory.Language.Syntax.Type
- Ivory.Language.Type
- Ivory.Language.Uint
- Ivory.Language
Downloads
- ivory-0.1.0.9.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.3, 0.1.0.4, 0.1.0.5, 0.1.0.6, 0.1.0.7, 0.1.0.8, 0.1.0.9 |
---|---|
Dependencies | array, base (>=4.7 && <5), base-compat, containers (>=0.5), dlist (>=0.5), filepath, monadLib (>=3.7), pretty (>=1.1), semigroups, template-haskell (>=2.8 && <3), text, th-abstraction (>=0.2.5 && <0.3), th-lift (>=0.5.5) [details] |
License | BSD-3-Clause |
Author | Galois, Inc. |
Maintainer | trevor@galois.com, leepike@galois.com |
Category | Language |
Home page | http://ivorylang.org |
Source repo | this: git clone https://github.com/GaloisInc/ivory(tag hackage-0.1.0.4) |
Uploaded | by EricMertens at 2019-04-05T21:49:46Z |
Distributions | |
Reverse Dependencies | 11 direct, 0 indirect [details] |
Downloads | 6221 total (10 in the last 30 days) |
Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2019-04-05 [all 1 reports] |