Adds new type annotation

CHANGELOG.md

@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.1.7] - 2022-05-26
+
+- Adds better type annotation for child.
+
+
 ## [1.1.6] - 2022-05-16
 
 - Updates Bolson.

package.json

@@ -1,6 +1,6 @@
 {
   "name": "purescript-wags",
-  "version": "1.1.6",
+  "version": "1.1.7",
   "description": "Web Audio Graphs as a Stream",
   "scripts": {
     "build": "spago build",

src/WAGS/Core.purs

@@ -521,15 +521,17 @@ newtype Node :: Type -> Type -> Type -> Type
 newtype Node outputChannels lock payload = Node (NodeC' lock payload)
 
 sound
-  :: forall logic obj m lock
-   . Bolson.Entity logic obj m lock
-  -> Bolson.Child logic obj m lock
+  :: forall outputChannels lock payload
+   . Audible outputChannels lock payload
+  -> AudibleChild outputChannels lock payload
 sound = Bolson.Insert
 
-silence :: forall logic obj m lock. Bolson.Child logic obj m lock
+silence :: forall outputChannels lock payload. AudibleChild outputChannels lock payload
 silence = Bolson.Remove
 
 type Audible outputChannels lock payload = Bolson.Entity Void (Node outputChannels lock payload) Effect lock
+type AudibleChild outputChannels lock payload = Bolson.Child Void (Node outputChannels lock payload) Effect lock
+
 --
 
 newtype RealImg = RealImg { real :: Array Number, img :: Array Number }