CSPM-ToProlog 0.5.2.0 → 0.5.5.0
raw patch · 3 files changed
+20/−9 lines, 3 filesdep −ghc-primdep ~CSPM-FrontendPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: ghc-prim
Dependency ranges changed: CSPM-Frontend
API changes (from Hackage documentation)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTP a, GTP b) => GTP (a :*: b)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTP l, GTP r) => GTP (l :+: r)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTP t, Constructor c) => GTP (M1 C c t)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTP t, Datatype r) => GTP (M1 D r t)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTP t, Selector c) => GTP (M1 S c t)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTPL a, GTPL b) => GTPL (a :*: b)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTPL l, GTPL r) => GTPL (l :+: r)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTPL t, Constructor c) => GTPL (M1 C c t)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTPL t, Datatype r) => GTPL (M1 D r t)
- Language.CSPM.AstToProlog: instance [overlap ok] (GTPL t, Selector c) => GTPL (M1 S c t)
- Language.CSPM.AstToProlog: instance [overlap ok] (TP a, TP b) => TP (a, b)
- Language.CSPM.AstToProlog: instance [overlap ok] GTP U1
- Language.CSPM.AstToProlog: instance [overlap ok] GTP V1
- Language.CSPM.AstToProlog: instance [overlap ok] GTPL U1
- Language.CSPM.AstToProlog: instance [overlap ok] GTPL V1
- Language.CSPM.AstToProlog: instance [overlap ok] TP Bool
- Language.CSPM.AstToProlog: instance [overlap ok] TP Comment
- Language.CSPM.AstToProlog: instance [overlap ok] TP Const
- Language.CSPM.AstToProlog: instance [overlap ok] TP FunCase
- Language.CSPM.AstToProlog: instance [overlap ok] TP Int
- Language.CSPM.AstToProlog: instance [overlap ok] TP Integer
- Language.CSPM.AstToProlog: instance [overlap ok] TP ModuleFromRenaming
- Language.CSPM.AstToProlog: instance [overlap ok] TP Selector
- Language.CSPM.AstToProlog: instance [overlap ok] TP SrcLoc
- Language.CSPM.AstToProlog: instance [overlap ok] TP UniqueIdent
- Language.CSPM.AstToProlog: instance [overlap ok] TP [Char]
- Language.CSPM.AstToProlog: instance [overlap ok] TP e => TP (Array Int e)
- Language.CSPM.AstToProlog: instance [overlap ok] TP e => TP (IntMap e)
- Language.CSPM.AstToProlog: instance [overlap ok] TP f => TP (Maybe f)
- Language.CSPM.AstToProlog: instance [overlap ok] TP f => TP [f]
- Language.CSPM.AstToProlog: instance [overlap ok] TP t => GTP (K1 R t)
- Language.CSPM.AstToProlog: instance [overlap ok] TP t => GTPL (K1 R t)
- Language.CSPM.AstToProlog: instance [overlap ok] TPL AssertDecl
- Language.CSPM.AstToProlog: instance [overlap ok] TPL BuiltIn
- Language.CSPM.AstToProlog: instance [overlap ok] TPL CommField
- Language.CSPM.AstToProlog: instance [overlap ok] TPL CompGen
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Constructor
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Decl
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Exp
- Language.CSPM.AstToProlog: instance [overlap ok] TPL FDRModels
- Language.CSPM.AstToProlog: instance [overlap ok] TPL FdrExt
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Ident
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Link
- Language.CSPM.AstToProlog: instance [overlap ok] TPL LinkList
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Pattern
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Range
- Language.CSPM.AstToProlog: instance [overlap ok] TPL RefineOp
- Language.CSPM.AstToProlog: instance [overlap ok] TPL Rename
- Language.CSPM.AstToProlog: instance [overlap ok] TPL TauRefineOp
- Language.CSPM.AstToProlog: instance [overlap ok] TPL TypeDef
- Language.CSPM.AstToProlog: instance [overlap ok] TPL UniqueIdent
- Language.CSPM.AstToProlog: instance [overlap ok] TPL [Labeled CompGen]
- Language.CSPM.AstToProlog: instance [overlap ok] TPL f => TP (Labeled f)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTP a, Language.CSPM.AstToProlog.GTP b) => Language.CSPM.AstToProlog.GTP (a GHC.Generics.:*: b)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTP l, Language.CSPM.AstToProlog.GTP r) => Language.CSPM.AstToProlog.GTP (l GHC.Generics.:+: r)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTP t, GHC.Generics.Constructor c) => Language.CSPM.AstToProlog.GTP (GHC.Generics.M1 GHC.Generics.C c t)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTP t, GHC.Generics.Datatype r) => Language.CSPM.AstToProlog.GTP (GHC.Generics.M1 GHC.Generics.D r t)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTP t, GHC.Generics.Selector c) => Language.CSPM.AstToProlog.GTP (GHC.Generics.M1 GHC.Generics.S c t)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTPL a, Language.CSPM.AstToProlog.GTPL b) => Language.CSPM.AstToProlog.GTPL (a GHC.Generics.:*: b)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTPL l, Language.CSPM.AstToProlog.GTPL r) => Language.CSPM.AstToProlog.GTPL (l GHC.Generics.:+: r)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTPL t, GHC.Generics.Constructor c) => Language.CSPM.AstToProlog.GTPL (GHC.Generics.M1 GHC.Generics.C c t)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTPL t, GHC.Generics.Datatype r) => Language.CSPM.AstToProlog.GTPL (GHC.Generics.M1 GHC.Generics.D r t)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.GTPL t, GHC.Generics.Selector c) => Language.CSPM.AstToProlog.GTPL (GHC.Generics.M1 GHC.Generics.S c t)
+ Language.CSPM.AstToProlog: instance (Language.CSPM.AstToProlog.TP a, Language.CSPM.AstToProlog.TP b) => Language.CSPM.AstToProlog.TP (a, b)
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.GTP GHC.Generics.U1
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.GTP GHC.Generics.V1
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.GTPL GHC.Generics.U1
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.GTPL GHC.Generics.V1
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP GHC.Integer.Type.Integer
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP GHC.Types.Bool
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP GHC.Types.Int
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.AST.Comment
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.AST.Const
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.AST.FunCase
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.AST.Selector
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.Rename.ModuleFromRenaming
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP Language.CSPM.SrcLoc.SrcLoc
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP [GHC.Types.Char]
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP e => Language.CSPM.AstToProlog.TP (Data.IntMap.Base.IntMap e)
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP e => Language.CSPM.AstToProlog.TP (GHC.Arr.Array GHC.Types.Int e)
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP f => Language.CSPM.AstToProlog.TP (GHC.Base.Maybe f)
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP f => Language.CSPM.AstToProlog.TP [f]
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP t => Language.CSPM.AstToProlog.GTP (GHC.Generics.K1 GHC.Generics.R t)
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TP t => Language.CSPM.AstToProlog.GTPL (GHC.Generics.K1 GHC.Generics.R t)
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.AssertDecl
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.BuiltIn
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.CommField
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.CompGen
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Constructor
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Decl
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Exp
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.FDRModels
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.FdrExt
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Ident
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Link
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.LinkList
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Pattern
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Range
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.RefineOp
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.Rename
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.TauRefineOp
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.TypeDef
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL [Language.CSPM.AST.Labeled Language.CSPM.AST.CompGen]
+ Language.CSPM.AstToProlog: instance Language.CSPM.AstToProlog.TPL f => Language.CSPM.AstToProlog.TP (Language.CSPM.AST.Labeled f)
Files
- CSPM-ToProlog.cabal +12/−8
- LICENSE +1/−1
- README.md +7/−0
CSPM-ToProlog.cabal view
@@ -1,5 +1,5 @@ Name: CSPM-ToProlog-Version: 0.5.2.0+Version: 0.5.5.0 Synopsis: some modules specific for the ProB tool Description: This package contains a translation from a CSPM AST to the representation@@ -9,21 +9,25 @@ License: BSD3 category: Formal Methods License-File: LICENSE-Author: 2006-2014 Marc Fontaine-Maintainer: Marc Fontaine <fontaine@cs.uni-duesseldorf.de>-Cabal-Version: >= 1.20-Tested-With: GHC==7.8.3+Author: 2006-2017 Marc Fontaine <Marc.Fontaine@gmx.de>+Maintainer: Marc Fontaine <Marc.Fontaine@gmx.de>+Cabal-Version: >= 1.24+Tested-With: GHC==8.2.1 Build-Type: Simple+Extra-Source-Files: README.md+ +Source-Repository head+ type: git+ location: git://github.com/MarcFontaine/cspm Library Default-Language: Haskell2010 Build-Depends:- CSPM-Frontend >= 0.10 && < 0.11- ,pretty >= 1.1 && < 1.2+ CSPM-Frontend >= 0.10 && < 0.13 ,base >= 4.0 && <5.0 ,containers >= 0.5 && <0.6 ,array >=0.5 && <0.6- ,ghc-prim >= 0.3 && <0.4+ ,pretty >= 1.1 && < 1.2 Hs-Source-Dirs: src ghc-options: -Wall
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) Marc Fontaine 2007-2011+Copyright (c) Marc Fontaine 2007-2017 All rights reserved.
+ README.md view
@@ -0,0 +1,7 @@+# CSPM-ToProlog++This package contains a translation from a CSPM AST to the representation+used by the ProB tool.+This code is only interesting for ProB developers.++## [Haddock documentation](http://hackage.haskell.org/package/CSPM-ToProlog)