djinn-lib 0.0.1.2 → 0.0.1.3
raw patch · 2 files changed
+10/−2 lines, 2 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Djinn.HTypes: instance Eq HClause
- Djinn.HTypes: instance Eq HExpr
- Djinn.HTypes: instance Eq HKind
- Djinn.HTypes: instance Eq HPat
- Djinn.HTypes: instance Eq HType
- Djinn.HTypes: instance Read HType
- Djinn.HTypes: instance Show HClause
- Djinn.HTypes: instance Show HExpr
- Djinn.HTypes: instance Show HKind
- Djinn.HTypes: instance Show HPat
- Djinn.HTypes: instance Show HType
- Djinn.LJT: instance Alternative P
- Djinn.LJT: instance Applicative P
- Djinn.LJT: instance Eq AtomF
- Djinn.LJT: instance Eq NestImp
- Djinn.LJT: instance Functor P
- Djinn.LJT: instance Monad P
- Djinn.LJT: instance MonadPlus P
- Djinn.LJT: instance Show Antecedent
- Djinn.LJT: instance Show AtomF
- Djinn.LJT: instance Show AtomImp
- Djinn.LJT: instance Show NestImp
- Djinn.LJTFormula: instance Eq ConsDesc
- Djinn.LJTFormula: instance Eq Formula
- Djinn.LJTFormula: instance Eq Symbol
- Djinn.LJTFormula: instance Eq Term
- Djinn.LJTFormula: instance Ord ConsDesc
- Djinn.LJTFormula: instance Ord Formula
- Djinn.LJTFormula: instance Ord Symbol
- Djinn.LJTFormula: instance Ord Term
- Djinn.LJTFormula: instance Show ConsDesc
- Djinn.LJTFormula: instance Show Formula
- Djinn.LJTFormula: instance Show Symbol
- Djinn.LJTFormula: instance Show Term
+ Djinn.HTypes: instance GHC.Classes.Eq Djinn.HTypes.HClause
+ Djinn.HTypes: instance GHC.Classes.Eq Djinn.HTypes.HExpr
+ Djinn.HTypes: instance GHC.Classes.Eq Djinn.HTypes.HKind
+ Djinn.HTypes: instance GHC.Classes.Eq Djinn.HTypes.HPat
+ Djinn.HTypes: instance GHC.Classes.Eq Djinn.HTypes.HType
+ Djinn.HTypes: instance GHC.Read.Read Djinn.HTypes.HType
+ Djinn.HTypes: instance GHC.Show.Show Djinn.HTypes.HClause
+ Djinn.HTypes: instance GHC.Show.Show Djinn.HTypes.HExpr
+ Djinn.HTypes: instance GHC.Show.Show Djinn.HTypes.HKind
+ Djinn.HTypes: instance GHC.Show.Show Djinn.HTypes.HPat
+ Djinn.HTypes: instance GHC.Show.Show Djinn.HTypes.HType
+ Djinn.LJT: instance GHC.Base.Alternative Djinn.LJT.P
+ Djinn.LJT: instance GHC.Base.Applicative Djinn.LJT.P
+ Djinn.LJT: instance GHC.Base.Functor Djinn.LJT.P
+ Djinn.LJT: instance GHC.Base.Monad Djinn.LJT.P
+ Djinn.LJT: instance GHC.Base.MonadPlus Djinn.LJT.P
+ Djinn.LJT: instance GHC.Classes.Eq Djinn.LJT.AtomF
+ Djinn.LJT: instance GHC.Classes.Eq Djinn.LJT.NestImp
+ Djinn.LJT: instance GHC.Show.Show Djinn.LJT.Antecedent
+ Djinn.LJT: instance GHC.Show.Show Djinn.LJT.AtomF
+ Djinn.LJT: instance GHC.Show.Show Djinn.LJT.AtomImp
+ Djinn.LJT: instance GHC.Show.Show Djinn.LJT.NestImp
+ Djinn.LJTFormula: infix 2 <->
+ Djinn.LJTFormula: infixl 3 |:
+ Djinn.LJTFormula: infixl 4 &
+ Djinn.LJTFormula: instance GHC.Classes.Eq Djinn.LJTFormula.ConsDesc
+ Djinn.LJTFormula: instance GHC.Classes.Eq Djinn.LJTFormula.Formula
+ Djinn.LJTFormula: instance GHC.Classes.Eq Djinn.LJTFormula.Symbol
+ Djinn.LJTFormula: instance GHC.Classes.Eq Djinn.LJTFormula.Term
+ Djinn.LJTFormula: instance GHC.Classes.Ord Djinn.LJTFormula.ConsDesc
+ Djinn.LJTFormula: instance GHC.Classes.Ord Djinn.LJTFormula.Formula
+ Djinn.LJTFormula: instance GHC.Classes.Ord Djinn.LJTFormula.Symbol
+ Djinn.LJTFormula: instance GHC.Classes.Ord Djinn.LJTFormula.Term
+ Djinn.LJTFormula: instance GHC.Show.Show Djinn.LJTFormula.ConsDesc
+ Djinn.LJTFormula: instance GHC.Show.Show Djinn.LJTFormula.Formula
+ Djinn.LJTFormula: instance GHC.Show.Show Djinn.LJTFormula.Symbol
+ Djinn.LJTFormula: instance GHC.Show.Show Djinn.LJTFormula.Term
Files
- djinn-lib.cabal +6/−2
- src/Djinn/HTypes.hs +4/−0
djinn-lib.cabal view
@@ -1,6 +1,6 @@ name: djinn-lib-version: 0.0.1.2-cabal-version: >= 1.2+version: 0.0.1.3+cabal-version: >= 1.6 license: BSD3 license-file: LICENSE author: Lennart Augustsson@@ -23,3 +23,7 @@ Djinn.HTypes, Djinn.LJT, Djinn.LJTFormula++source-repository head+ type: git+ location: https://github.com/serras/djinn-lib
src/Djinn/HTypes.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} -- -- Copyright (c) 2005 Lennart Augustsson -- See LICENSE for licensing details.@@ -30,6 +31,9 @@ import Control.Monad (zipWithM) import Data.Char (isAlpha, isAlphaNum, isUpper) import Data.List (union, (\\))+#ifdef MIN_VERSION_base(4,11,0)+import Prelude hiding ((<>))+#endif import Text.ParserCombinators.ReadP import Text.PrettyPrint.HughesPJ (Doc, comma, fsep, nest, parens, punctuate, renderStyle, sep,