chalmers-lava2000 1.6 → 1.6.1
raw patch · 2 files changed
+5/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Lava.Operators: infix 4 <==>
+ Lava.Operators: infixr 1 |->
+ Lava.Operators: infixr 2 <==
+ Lava.Operators: infixr 3 <&>
+ Lava.Patterns: infixr 4 -|-
+ Lava.Patterns: infixr 5 ->-
- Lava.Arithmetic: int2bin :: (Eq a, Num a) => a -> Signal Int -> [Signal Bool]
+ Lava.Arithmetic: int2bin :: (Num a, Eq a) => a -> Signal Int -> [Signal Bool]
- Lava.Patterns: (-|-) :: (t -> t2) -> (t1 -> t3) -> (t, t1) -> (t2, t3)
+ Lava.Patterns: (-|-) :: (t3 -> t2) -> (t1 -> t) -> (t3, t1) -> (t2, t)
- Lava.Patterns: bfly :: (Eq a, Num a) => a -> ([a1] -> [a1]) -> [a1] -> [a1]
+ Lava.Patterns: bfly :: (Num t, Eq t) => t -> ([a] -> [a]) -> [a] -> [a]
- Lava.Patterns: ilv :: ([a] -> [a1]) -> [a] -> [a1]
+ Lava.Patterns: ilv :: ([a1] -> [a]) -> [a1] -> [a]
- Lava.Patterns: ilvN :: (Eq a, Num a) => a -> ([a1] -> [a2]) -> [a1] -> [a2]
+ Lava.Patterns: ilvN :: (Eq t, Num t) => t -> ([a1] -> [a]) -> [a1] -> [a]
- Lava.Patterns: iter :: (Eq a, Num a) => a -> (t -> t) -> t -> t
+ Lava.Patterns: iter :: (Num t1, Eq t1) => t1 -> (t -> t) -> t -> t
- Lava.Patterns: mirror :: ((t1, t) -> (t3, t2)) -> (t, t1) -> (t2, t3)
+ Lava.Patterns: mirror :: ((t3, t2) -> (t1, t)) -> (t2, t3) -> (t, t1)
- Lava.Patterns: par :: (t -> t2) -> (t1 -> t3) -> (t, t1) -> (t2, t3)
+ Lava.Patterns: par :: (t3 -> t2) -> (t1 -> t) -> (t3, t1) -> (t2, t)
- Lava.Patterns: parl :: ([a] -> [a1]) -> ([a] -> [a1]) -> [a] -> [a1]
+ Lava.Patterns: parl :: ([a1] -> [a]) -> ([a1] -> [a]) -> [a1] -> [a]
- Lava.Patterns: row :: ((t1, t) -> (t2, t1)) -> (t1, [t]) -> ([t2], t1)
+ Lava.Patterns: row :: ((t2, t1) -> (t, t2)) -> (t2, [t1]) -> ([t], t2)
- Lava.Patterns: tri :: (a -> a) -> [a] -> [a]
+ Lava.Patterns: tri :: (b -> b) -> [b] -> [b]
- Lava.Patterns: two :: ([a] -> [a1]) -> [a] -> [a1]
+ Lava.Patterns: two :: ([a1] -> [a]) -> [a1] -> [a]
- Lava.Patterns: twoN :: (Eq a, Num a) => a -> ([a1] -> [a2]) -> [a1] -> [a2]
+ Lava.Patterns: twoN :: (Eq t, Num t) => t -> ([a1] -> [a]) -> [a1] -> [a]
- Lava.Patterns: unzipp :: [(t, t1)] -> ([t], [t1])
+ Lava.Patterns: unzipp :: [(t1, t)] -> ([t1], [t])
- Lava.Patterns: zipp :: ([t], [t1]) -> [(t, t1)]
+ Lava.Patterns: zipp :: ([t1], [t]) -> [(t1, t)]
- Lava.SequentialCircuits: constant :: Constructive a => a -> Signal Bool
+ Lava.SequentialCircuits: constant :: Constructive t => t -> Signal Bool
- Lava.SequentialCircuits: delayN :: (Eq a, Num a, Generic a1) => a -> a1 -> a1 -> a1
+ Lava.SequentialCircuits: delayN :: (Generic t, Num a, Eq a) => a -> t -> t -> t
- Lava.SequentialCircuits: outputList :: (Foldable t, Generic b) => t b -> () -> b
+ Lava.SequentialCircuits: outputList :: (Generic b, Foldable t) => t b -> () -> b
- Lava.SequentialCircuits: puls :: (Eq a, Num a) => a -> () -> Signal Bool
+ Lava.SequentialCircuits: puls :: (Eq t, Num t) => t -> () -> Signal Bool
- Lava.SequentialCircuits: rowSeq :: Constructive t1 => ((t1, t2) -> (t, t1)) -> t2 -> t
+ Lava.SequentialCircuits: rowSeq :: Constructive t => ((t, t2) -> (t1, t)) -> t2 -> t1
- Lava.SequentialCircuits: rowSeqPeriod :: (Eq a, Num a, Choice t2, Constructive t2) => a -> ((t2, t) -> (t1, t2)) -> t -> t1
+ Lava.SequentialCircuits: rowSeqPeriod :: (Choice t, Constructive t, Num t3, Eq t3) => t3 -> ((t, t2) -> (t1, t)) -> t2 -> t1
- Lava.SequentialCircuits: rowSeqReset :: (Choice t2, Constructive t2) => ((t2, t) -> (t1, t2)) -> (Signal Bool, t) -> t1
+ Lava.SequentialCircuits: rowSeqReset :: (Constructive t, Choice t) => ((t, t2) -> (t1, t)) -> (Signal Bool, t2) -> t1
- Lava.Vis: equivCheckVisInput :: (Generic b, Generic a, Generic b1) => (a -> b) -> (a -> b1) -> a -> IO ProofResult
+ Lava.Vis: equivCheckVisInput :: (Generic b, Generic b1, Generic a) => (a -> b1) -> (a -> b) -> a -> IO ProofResult
Files
- LICENSE +2/−1
- chalmers-lava2000.cabal +3/−2
LICENSE view
@@ -1,4 +1,5 @@-Copyright Koen Claessen 2008+Copyright 2008-2016 Koen Claessen, Emil Axelsson+ 2000-2008 Koen Claessen All rights reserved.
chalmers-lava2000.cabal view
@@ -1,11 +1,12 @@ name: chalmers-lava2000-version: 1.6+version: 1.6.1 synopsis: Hardware description EDSL description: For more info, see the tutorial: <http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf> category: Language, Hardware license: BSD3 license-file: LICENSE-copyright: 2008 Koen Claessen, 2008-2015 Emil Axelsson+copyright: 2008-2016 Koen Claessen, Emil Axelsson+ 2000-2008 Koen Claessen author: Koen Claessen <koen@chalmers.se> maintainer: Emil Axelsson <emax@chalmers.se> homepage: http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf