arduino-copilot 1.7.8 → 1.7.9
raw patch · 12 files changed
+95/−87 lines, 12 filesdep ~copilotdep ~copilot-c99dep ~copilot-languagePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: copilot, copilot-c99, copilot-language, sketch-frp-copilot
API changes (from Hackage documentation)
- Copilot.Arduino: (.!!) :: forall (n :: Nat) t. (KnownNat n, Typed t) => Stream (Array n t) -> Stream Word32 -> Stream t
- Copilot.Arduino: accessorname :: forall a (s :: Symbol) t. (Struct a, KnownSymbol s) => (a -> Field s t) -> String
- Copilot.Arduino: arrayelems :: forall (n :: Nat) a. Array n a -> [a]
- Copilot.Arduino: fieldname :: forall (s :: Symbol) t. KnownSymbol s => Field s t -> String
- Copilot.Arduino: forall :: Stream Bool -> Prop Universal
- Copilot.Arduino: tylength :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int
- Copilot.Arduino: typename :: Struct a => a -> String
- Copilot.Arduino: tysize :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int
+ Copilot.Arduino: (!!!) :: (Typed a, Eq b, Num b, Typed b) => [Stream a] -> Stream b -> Stream a
+ Copilot.Arduino: (!) :: forall (n :: Nat) t. (KnownNat n, Typed t) => Stream (Array n t) -> Stream Word32 -> Stream t
+ Copilot.Arduino: (##) :: 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.Arduino: (=$) :: Projectable d s t => Projection d s t -> (Stream t -> Stream t) -> Stream d
+ Copilot.Arduino: -- | Unapplied projection or element access on a type.
+ Copilot.Arduino: arrayUpdate :: forall (n :: Nat) a. Array n a -> Int -> a -> Array n a
+ Copilot.Arduino: class () => Projectable d s t | d s -> t where {
+ Copilot.Arduino: data family Projection d s t
+ Copilot.Arduino: infixl 8 =$
+ Copilot.Arduino: toValuesDefault :: (Generic a, GStruct (Rep a)) => a -> [Value a]
+ Copilot.Arduino: typeNameDefault :: (Generic a, GDatatype (Rep a)) => a -> String
+ Copilot.Arduino: typeOfDefault :: (Typed a, Struct a, Generic a, GTypedStruct (Rep a)) => Type a
+ Copilot.Arduino: updateField :: Struct a => a -> Value t -> a
+ Copilot.Arduino: updateFieldDefault :: (Generic a, GStruct (Rep a)) => a -> Value t -> a
+ Copilot.Arduino: }
- Copilot.Arduino: (!!) :: (Typed a, Eq b, Num b, Typed b) => [Stream a] -> Stream b -> Stream a
+ Copilot.Arduino: (!!) :: forall (n :: Nat) t. Stream (Array n t) -> Stream Word32 -> Projection (Array n t) (Stream Word32) t
- Copilot.Arduino: (#) :: forall (s :: Symbol) t a. (KnownSymbol s, Typed t, Typed a, Struct a) => Stream a -> (a -> Field s t) -> Stream t
+ Copilot.Arduino: (#) :: forall (f :: Symbol) t s. (KnownSymbol f, Typed t, Typed s, Struct s) => Stream s -> (s -> Field f t) -> Stream t
Files
- CHANGELOG +8/−0
- Examples/Blink/stack.yaml +9/−9
- Examples/Button/stack.yaml +9/−9
- Examples/ButtonHold/stack.yaml +9/−9
- Examples/EEPROM/stack.yaml +9/−9
- Examples/EEPROMrange/stack.yaml +9/−9
- Examples/Random/stack.yaml +9/−9
- Examples/SerialPort/stack.yaml +9/−9
- Examples/WaterHeater/stack.yaml +9/−9
- arduino-copilot.cabal +5/−5
- src/Copilot/Arduino.hs +1/−1
- stack.yaml +9/−9
CHANGELOG view
@@ -1,3 +1,11 @@+arduino-copilot (1.7.9) upstream; urgency=medium++ * Update to copilot-4.3.+ * Copilot has a =: operator now. Since =: is a core arduino-copilot+ operator, the one from copilot is not re-exported by Copilot.Arduino.++ -- Joey Hess <id@joeyh.name> Wed, 19 Mar 2025 14:27:06 -0400+ arduino-copilot (1.7.8) upstream; urgency=medium * Update to copilot-3.18.1.
Examples/Blink/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps:-- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/Button/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps:-- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+ - sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/ButtonHold/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps:-- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/EEPROM/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps: -- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/EEPROMrange/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps: -- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/Random/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps: -- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/SerialPort/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps: -- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
Examples/WaterHeater/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-22.11 extra-deps: -- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0
arduino-copilot.cabal view
@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.8+Version: 1.7.9 Cabal-Version: >= 1.10 License: BSD3 Maintainer: Joey Hess <id@joeyh.name>@@ -114,10 +114,10 @@ Copilot.Arduino.Main Build-Depends: base (>= 4.5 && < 5),- sketch-frp-copilot (== 1.0.10),- copilot (== 3.18.*),- copilot-c99 (== 3.18.*),- copilot-language (== 3.18.*),+ sketch-frp-copilot (== 1.0.11),+ copilot (== 4.3.*),+ copilot-c99 (== 4.3.*),+ copilot-language (== 4.3.*), filepath, directory, mtl,
src/Copilot/Arduino.hs view
@@ -77,7 +77,7 @@ module X, ) where -import Language.Copilot as X hiding (Stream, ifThenElse)+import Language.Copilot as X hiding (Stream, ifThenElse, (=:)) import Language.Copilot (Stream) import Sketch.FRP.Copilot import Copilot.Arduino.Internals
stack.yaml view
@@ -2,15 +2,15 @@ - '.' resolver: lts-22.11 extra-deps:-- sketch-frp-copilot-1.0.10-- copilot-3.18.1-- copilot-c99-3.18.1-- copilot-core-3.18.1-- copilot-language-3.18.1-- copilot-libraries-3.18.1-- copilot-theorem-3.18.1-- copilot-interpreter-3.18.1-- copilot-prettyprinter-3.18.1+- sketch-frp-copilot-1.0.11+- copilot-4.3+- copilot-c99-4.3+- copilot-core-4.3+- copilot-language-4.3+- copilot-libraries-4.3+- copilot-theorem-4.3+- copilot-interpreter-4.3+- copilot-prettyprinter-4.3 - language-c99-0.2.0 - language-c99-simple-0.3.0 - language-c99-util-0.2.0