Hackage :: [Package]

ivory: Safe embedded C programming.

[ bsd3, language, library ] [ Propose Tags ]

Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness.

Modules

[Last Documentation]

  • Ivory
    • Ivory.Language
      • Ivory.Language.Area
      • Ivory.Language.Array
      • Ivory.Language.Assert
      • BitData
        • Ivory.Language.BitData.Array
        • Ivory.Language.BitData.BitData
        • Ivory.Language.BitData.Bits
        • Ivory.Language.BitData.DefBitRep
        • Ivory.Language.BitData.Monad
      • 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.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

Downloads

Maintainer's Corner

Package maintainers

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), template-haskell (>=2.8 && <2.11), text, 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 LeePike at 2016-10-29T02:43:53Z
Distributions
Reverse Dependencies 11 direct, 0 indirect [details]
Downloads 6098 total (21 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-11-18 [all 7 reports]