copilot-language 4.3 → 4.4
raw patch · 2 files changed
+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: copilot-core, copilot-interpreter, copilot-theorem
API changes (from Hackage documentation)
- Copilot.Language: data () => Int16
+ Copilot.Language: data Int16
- Copilot.Language: data () => Int32
+ Copilot.Language: data Int32
- Copilot.Language: data () => Int64
+ Copilot.Language: data Int64
- Copilot.Language: data () => Int8
+ Copilot.Language: data Int8
- Copilot.Language: data Stream :: * -> *
+ Copilot.Language: data Stream a
- Copilot.Language.Operators.Array: (!!) :: Stream (Array n t) -> Stream Word32 -> Projection (Array n t) (Stream Word32) t
+ Copilot.Language.Operators.Array: (!!) :: forall (n :: Nat) t. Stream (Array n t) -> Stream Word32 -> Projection (Array n t) (Stream Word32) t
- Copilot.Language.Operators.Array: (!) :: (KnownNat n, Typed t) => Stream (Array n t) -> Stream Word32 -> Stream t
+ Copilot.Language.Operators.Array: (!) :: forall (n :: Nat) t. (KnownNat n, Typed t) => Stream (Array n t) -> Stream Word32 -> Stream t
- Copilot.Language.Operators.Cast: cast :: (Cast a b, Typed a, Typed b) => Stream a -> Stream b
+ Copilot.Language.Operators.Cast: cast :: Cast a b => Stream a -> Stream b
- Copilot.Language.Operators.Cast: unsafeCast :: (UnsafeCast a b, Typed a, Typed b) => Stream a -> Stream b
+ Copilot.Language.Operators.Cast: unsafeCast :: UnsafeCast a b => Stream a -> Stream b
- Copilot.Language.Operators.Struct: (##) :: (KnownSymbol f, Typed t, Typed s, Struct s) => Stream s -> (s -> Field f t) -> Projection s (s -> Field f t) t
+ Copilot.Language.Operators.Struct: (##) :: forall (f :: Symbol) t s. (KnownSymbol f, Typed t, Typed s, Struct s) => Stream s -> (s -> Field f t) -> Projection s (s -> Field f t) t
- Copilot.Language.Operators.Struct: (#) :: (KnownSymbol f, Typed t, Typed s, Struct s) => Stream s -> (s -> Field f t) -> Stream t
+ Copilot.Language.Operators.Struct: (#) :: forall (f :: Symbol) t s. (KnownSymbol f, Typed t, Typed s, Struct s) => Stream s -> (s -> Field f t) -> Stream t
- Copilot.Language.Prelude: ($!) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
+ Copilot.Language.Prelude: ($!) :: (a -> b) -> a -> b
- Copilot.Language.Prelude: ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
+ Copilot.Language.Prelude: ($) :: (a -> b) -> a -> b
- Copilot.Language.Prelude: class () => Bounded a
+ Copilot.Language.Prelude: class Bounded a
- Copilot.Language.Prelude: class () => Enum a
+ Copilot.Language.Prelude: class Enum a
- Copilot.Language.Prelude: class () => Eq a
+ Copilot.Language.Prelude: class Eq a
- Copilot.Language.Prelude: class () => Foldable (t :: Type -> Type)
+ Copilot.Language.Prelude: class Foldable (t :: Type -> Type)
- Copilot.Language.Prelude: class () => Functor (f :: Type -> Type)
+ Copilot.Language.Prelude: class Functor (f :: Type -> Type)
- Copilot.Language.Prelude: class () => Num a
+ Copilot.Language.Prelude: class Num a
- Copilot.Language.Prelude: class () => Read a
+ Copilot.Language.Prelude: class Read a
- Copilot.Language.Prelude: class () => Semigroup a
+ Copilot.Language.Prelude: class Semigroup a
- Copilot.Language.Prelude: class () => Show a
+ Copilot.Language.Prelude: class Show a
- Copilot.Language.Prelude: data () => Bool
+ Copilot.Language.Prelude: data Bool
- Copilot.Language.Prelude: data () => Char
+ Copilot.Language.Prelude: data Char
- Copilot.Language.Prelude: data () => Double
+ Copilot.Language.Prelude: data Double
- Copilot.Language.Prelude: data () => Either a b
+ Copilot.Language.Prelude: data Either a b
- Copilot.Language.Prelude: data () => Float
+ Copilot.Language.Prelude: data Float
- Copilot.Language.Prelude: data () => IO a
+ Copilot.Language.Prelude: data IO a
- Copilot.Language.Prelude: data () => Int
+ Copilot.Language.Prelude: data Int
- Copilot.Language.Prelude: data () => Integer
+ Copilot.Language.Prelude: data Integer
- Copilot.Language.Prelude: data () => Maybe a
+ Copilot.Language.Prelude: data Maybe a
- Copilot.Language.Prelude: data () => Ordering
+ Copilot.Language.Prelude: data Ordering
- Copilot.Language.Prelude: data () => Word
+ Copilot.Language.Prelude: data Word
- Copilot.Language.Prelude: error :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => [Char] -> a
+ Copilot.Language.Prelude: error :: HasCallStack => [Char] -> a
- Copilot.Language.Prelude: errorWithoutStackTrace :: forall (r :: RuntimeRep) (a :: TYPE r). [Char] -> a
+ Copilot.Language.Prelude: errorWithoutStackTrace :: [Char] -> a
- Copilot.Language.Prelude: infixl 7 *
+ Copilot.Language.Prelude: infixl 7 /
- Copilot.Language.Prelude: seq :: forall {r :: RuntimeRep} a (b :: TYPE r). a -> b -> b
+ Copilot.Language.Prelude: seq :: a -> b -> b
- Copilot.Language.Prelude: undefined :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => a
+ Copilot.Language.Prelude: undefined :: HasCallStack => a
- Copilot.Language.Spec: [Arg] :: Typed a => Stream a -> Arg
+ Copilot.Language.Spec: [Arg] :: forall a. Typed a => Stream a -> Arg
- Copilot.Language.Spec: [Observer] :: Typed a => String -> Stream a -> Observer
+ Copilot.Language.Spec: [Observer] :: forall a. Typed a => String -> Stream a -> Observer
- Copilot.Language.Spec: [Property] :: String -> Prop a -> Property
+ Copilot.Language.Spec: [Property] :: forall a. String -> Prop a -> Property
- Copilot.Language.Spec: data () => Existential
+ Copilot.Language.Spec: data Existential
- Copilot.Language.Spec: data () => Universal
+ Copilot.Language.Spec: data Universal
- Copilot.Language.Stream: [Append] :: Typed a => [a] -> Maybe (Stream Bool) -> Stream a -> Stream a
+ Copilot.Language.Stream: [Append] :: forall a. Typed a => [a] -> Maybe (Stream Bool) -> Stream a -> Stream a
- Copilot.Language.Stream: [Const] :: Typed a => a -> Stream a
+ Copilot.Language.Stream: [Const] :: forall a. Typed a => a -> Stream a
- Copilot.Language.Stream: [Drop] :: Typed a => Int -> Stream a -> Stream a
+ Copilot.Language.Stream: [Drop] :: forall a. Typed a => Int -> Stream a -> Stream a
- Copilot.Language.Stream: [Extern] :: Typed a => String -> Maybe [a] -> Stream a
+ Copilot.Language.Stream: [Extern] :: forall a. Typed a => String -> Maybe [a] -> Stream a
- Copilot.Language.Stream: [Label] :: Typed a => String -> Stream a -> Stream a
+ Copilot.Language.Stream: [Label] :: forall a. Typed a => String -> Stream a -> Stream a
- Copilot.Language.Stream: [Local] :: (Typed a, Typed b) => Stream a -> (Stream a -> Stream b) -> Stream b
+ Copilot.Language.Stream: [Local] :: forall a1 a. (Typed a1, Typed a) => Stream a1 -> (Stream a1 -> Stream a) -> Stream a
- Copilot.Language.Stream: [Op1] :: (Typed a, Typed b) => Op1 a b -> Stream a -> Stream b
+ Copilot.Language.Stream: [Op1] :: forall a1 a. (Typed a1, Typed a) => Op1 a1 a -> Stream a1 -> Stream a
- Copilot.Language.Stream: [Op2] :: (Typed a, Typed b, Typed c) => Op2 a b c -> Stream a -> Stream b -> Stream c
+ Copilot.Language.Stream: [Op2] :: forall a1 b a. (Typed a1, Typed b, Typed a) => Op2 a1 b a -> Stream a1 -> Stream b -> Stream a
- Copilot.Language.Stream: [Op3] :: (Typed a, Typed b, Typed c, Typed d) => Op3 a b c d -> Stream a -> Stream b -> Stream c -> Stream d
+ Copilot.Language.Stream: [Op3] :: forall a1 b c a. (Typed a1, Typed b, Typed c, Typed a) => Op3 a1 b c a -> Stream a1 -> Stream b -> Stream c -> Stream a
- Copilot.Language.Stream: [Var] :: Typed a => String -> Stream a
+ Copilot.Language.Stream: [Var] :: forall a. Typed a => String -> Stream a
- Copilot.Language.Stream: data Stream :: * -> *
+ Copilot.Language.Stream: data Stream a
Files
- CHANGELOG +3/−0
- copilot-language.cabal +4/−4
CHANGELOG view
@@ -1,3 +1,6 @@+2025-05-07+ * Version bump (4.4). (#618)+ 2025-03-07 * Version bump (4.3). (#604) * Fix typo in documentation. (#587)
copilot-language.cabal view
@@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-language-version: 4.3+version: 4.4 synopsis: A Haskell-embedded DSL for monitoring hard real-time distributed systems. description:@@ -42,9 +42,9 @@ , data-reify >= 0.6 && < 0.7 , mtl >= 2.0 && < 3 - , copilot-core >= 4.3 && < 4.4- , copilot-interpreter >= 4.3 && < 4.4- , copilot-theorem >= 4.3 && < 4.4+ , copilot-core >= 4.4 && < 4.5+ , copilot-interpreter >= 4.4 && < 4.5+ , copilot-theorem >= 4.4 && < 4.5 exposed-modules: Copilot.Language , Copilot.Language.Operators.BitWise