copilot-libraries 0.5 → 0.6

raw patch · 8 files changed

+3/−10 lines, 8 files

Files

copilot-libraries.cabal +1/−1
src/Copilot/Library/Clocks.hs +0/−2
src/Copilot/Library/PTLTL.hs +0/−1
src/Copilot/Library/RegExp.hs +2/−2
src/Copilot/Library/Stacks.hs +0/−1
src/Copilot/Library/Statistics.hs +0/−1
src/Copilot/Library/Utils.hs +0/−1
src/Copilot/Library/Voting.hs +0/−1

copilot-libraries.cabal view

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-libraries-version:             0.5+version:             0.6 synopsis:            A Haskell-embedded DSL for monitoring hard real-time                      distributed systems. description:

src/Copilot/Library/Clocks.hs view

@@ -28,8 +28,6 @@ import Prelude ( Integral, fromIntegral, ($)) import qualified Prelude as P import Copilot.Language-import Data.Bool-import Data.List (replicate)  data ( Integral a ) => Period a = Period a data ( Integral a ) => Phase  a = Phase  a

src/Copilot/Library/PTLTL.hs view

@@ -17,7 +17,6 @@  import Prelude ( ($) ) import Copilot.Language-import Data.Bool hiding ( (&&), (||) )   -- | Did @s@ hold in the previous period?

src/Copilot/Library/RegExp.hs view

@@ -1,6 +1,6 @@-module Copilot.Library.RegExp ( copilotRegexp, copilotRegexpB ) where- -- | A regular expression librariy.++module Copilot.Library.RegExp ( copilotRegexp, copilotRegexpB ) where  import Text.ParserCombinators.Parsec   ( optional, (<|>), string, char, between, GenParser, many, choice, CharParser

src/Copilot/Library/Stacks.hs view

@@ -10,7 +10,6 @@   ( stack, stack' ) where  import Copilot.Language-import Copilot.Language.Prelude  type PushSignal    = Stream Bool type PopSignal     = Stream Bool

src/Copilot/Library/Statistics.hs view

@@ -12,7 +12,6 @@     ( max, min, sum, mean, meanNow ) where  import Copilot.Language-import Copilot.Language.Prelude import Copilot.Library.Utils  -- | Summation.

src/Copilot/Library/Utils.hs view

@@ -11,7 +11,6 @@ where  import Copilot.Language-import Copilot.Language.Prelude  import qualified Prelude as P  -- | functions similar to the Prelude functions on lists

src/Copilot/Library/Voting.hs view

@@ -19,7 +19,6 @@   ( majority, aMajority ) where  import Copilot.Language-import Copilot.Language.Prelude import qualified Prelude as P  --------------------------------------------------------------------------------