The ivory package

[Tags:bsd3, library]

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

Properties

Versions 0.1.0.0, 0.1.0.3, 0.1.0.4
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 BSD3
Author Galois, Inc.
Maintainer trevor@galois.com, leepike@galois.com
Stability Unknown
Category Language
Home page http://ivorylang.org
Source repository this: git clone https://github.com/GaloisInc/ivory(tag hackage-0.1.0.4)
Uploaded Sat Oct 29 02:43:53 UTC 2016 by LeePike
Distributions NixOS:0.1.0.4
Downloads 479 total (24 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-11-18 [all 7 reports]

Modules

  • 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

For package maintainers and hackage trustees