module Csound.Typed.Opcode.JackoOpcodes (
    
    
    
    jackoAudioIn, jackoAudioInConnect, jackoAudioOut, jackoAudioOutConnect, jackoInit, jackoMidiInConnect, jackoMidiOut, jackoMidiOutConnect, jackoNoteOut, jackoOn, jackoTransport) where

import Control.Monad.Trans.Class
import Control.Monad
import Csound.Dynamic
import Csound.Typed

-- 

-- | 
-- Receives an audio signal from a Jack port.
--
-- Receives an audio signal from a Jack audio input port 
--       inside this instance of Csound, which in turn has 
--       received the signal from its connected external Jack 
--       audio output port.
--
-- > asignal  JackoAudioIn ScsoundPortName
--
-- csound doc: <https://csound.com/docs/manual/JackoAudioIn.html>
jackoAudioIn ::  Str -> SE Sig
jackoAudioIn :: Str -> SE Sig
jackoAudioIn Str
b1 =
  (E -> Sig) -> SE E -> SE Sig
forall a b. (a -> b) -> SE a -> SE b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ( GE E -> Sig
Sig (GE E -> Sig) -> (E -> GE E) -> E -> Sig
forall b c a. (b -> c) -> (a -> b) -> a -> c
. E -> GE E
forall a. a -> GE a
forall (m :: * -> *) a. Monad m => a -> m a
return) (SE E -> SE Sig) -> SE E -> SE Sig
forall a b. (a -> b) -> a -> b
$ Dep E -> SE E
forall a. Dep a -> SE a
SE (Dep E -> SE E) -> Dep E -> SE E
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep E) -> Dep E
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep E) -> Dep E) -> DepT GE (Dep E) -> Dep E
forall a b. (a -> b) -> a -> b
$ E -> Dep E
forall {m :: * -> *}. Monad m => E -> DepT m E
f (E -> Dep E) -> Dep E -> DepT GE (Dep E)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1
  where
    f :: E -> DepT m E
f E
a1 = Name -> Spec1 -> [E] -> DepT m E
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m E
opcsDep Name
"JackoAudioIn" [(Rate
Ar,[Rate
Sr])] [E
a1]

-- | 
-- Creates an audio connection from a Jack port to Csound.
--
-- In the orchestra header, creates an audio connection 
--       from an external Jack audio output port to a 
--       Jack audio input port inside this instance of Csound.
--
-- >  JackoAudioInConnect SexternalPortName, ScsoundPortName
--
-- csound doc: <https://csound.com/docs/manual/JackoAudioInConnect.html>
jackoAudioInConnect ::  Str -> Str -> SE ()
jackoAudioInConnect :: Str -> Str -> SE ()
jackoAudioInConnect Str
b1 Str
b2 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> DepT m ()
f (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b2
  where
    f :: E -> E -> DepT m ()
f E
a1 E
a2 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoAudioInConnect" [(Rate
Xr,[Rate
Sr,Rate
Sr])] [E
a1,E
a2]

-- | 
-- Sends an audio signal to a Jack port.
--
-- Sends an audio signal to an internal Jack audio 
--       output port, and in turn to its connected external 
--       Jack audio input port.
--
-- >  JackoAudioOut  ScsoundPortName, asignal
--
-- csound doc: <https://csound.com/docs/manual/JackoAudioOut.html>
jackoAudioOut ::  Str -> Sig -> SE ()
jackoAudioOut :: Str -> Sig -> SE ()
jackoAudioOut Str
b1 Sig
b2 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> DepT m ()
f (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b2
  where
    f :: E -> E -> DepT m ()
f E
a1 E
a2 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoAudioOut" [(Rate
Xr,[Rate
Sr,Rate
Ar])] [E
a1,E
a2]

-- | 
-- Creates an audio connection from Csound to a Jack port.
--
-- In the orchestra header, creates an audio connection 
--       from a Jack audio output port inside this instance 
--       of Csound to an external Jack audio input port.
--
-- >  JackoAudioOutConnect ScsoundPortName, SexternalPortName
--
-- csound doc: <https://csound.com/docs/manual/JackoAudioOutConnect.html>
jackoAudioOutConnect ::  Str -> Str -> SE ()
jackoAudioOutConnect :: Str -> Str -> SE ()
jackoAudioOutConnect Str
b1 Str
b2 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> DepT m ()
f (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b2
  where
    f :: E -> E -> DepT m ()
f E
a1 E
a2 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoAudioOutConnect" [(Rate
Xr,[Rate
Sr,Rate
Sr])] [E
a1,E
a2]

-- | 
-- Initializes Csound as a Jack client.
--
-- Initializes this instance of Csound as a Jack client.
--
-- >  JackoInit ServerName, SclientName
--
-- csound doc: <https://csound.com/docs/manual/JackoInit.html>
jackoInit ::  Str -> Str -> SE ()
jackoInit :: Str -> Str -> SE ()
jackoInit Str
b1 Str
b2 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> DepT m ()
f (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b2
  where
    f :: E -> E -> DepT m ()
f E
a1 E
a2 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoInit" [(Rate
Xr,[Rate
Sr,Rate
Sr])] [E
a1,E
a2]

-- | 
-- Creates a MIDI  connection from a Jack port to Csound.
--
-- In the orchestra header, creates a MIDI connection 
--       from an external Jack MIDI output port to this instance of Csound.
--
-- >  JackoMidiInConnect SexternalPortName, ScsoundPortName
--
-- csound doc: <https://csound.com/docs/manual/JackoMidiInConnect.html>
jackoMidiInConnect ::  Str -> Str -> SE ()
jackoMidiInConnect :: Str -> Str -> SE ()
jackoMidiInConnect Str
b1 Str
b2 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> DepT m ()
f (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b2
  where
    f :: E -> E -> DepT m ()
f E
a1 E
a2 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoMidiInConnect" [(Rate
Xr,[Rate
Sr,Rate
Sr])] [E
a1,E
a2]

-- | 
-- Sends a MIDI channel message to a Jack port.
--
-- Sends a MIDI channel message to a Jack MIDI output port
--       inside this instance of Csound, and in turn to its 
--       connected external Jack MIDI input port.
--
-- >  JackoMidiOut  ScsoundPortName, kstatus, kchannel, kdata1[, kdata2]
--
-- csound doc: <https://csound.com/docs/manual/JackoMidiOut.html>
jackoMidiOut ::  Str -> Sig -> Sig -> Sig -> SE ()
jackoMidiOut :: Str -> Sig -> Sig -> Sig -> SE ()
jackoMidiOut Str
b1 Sig
b2 Sig
b3 Sig
b4 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> E -> E -> DepT m ()
f (E -> E -> E -> E -> Dep ())
-> Dep E -> DepT GE (E -> E -> E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> E -> E -> Dep ())
-> Dep E -> DepT GE (E -> E -> Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b2 DepT GE (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b3 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b4
  where
    f :: E -> E -> E -> E -> DepT m ()
f E
a1 E
a2 E
a3 E
a4 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoMidiOut" [(Rate
Xr,[Rate
Sr,Rate
Kr,Rate
Kr,Rate
Kr,Rate
Kr])] [E
a1,E
a2,E
a3,E
a4]

-- | 
-- Creates a MIDI connection from Csound to a Jack port.
--
-- In the orchestra header, creates a connection 
--       from a Jack MIDI output port inside this instance 
--       of Csound to an external Jack MIDI input port.
--
-- >  JackoMidiOutConnect ScsoundPortName, SexternalPortName
--
-- csound doc: <https://csound.com/docs/manual/JackoMidiOutConnect.html>
jackoMidiOutConnect ::  Str -> Str -> SE ()
jackoMidiOutConnect :: Str -> Str -> SE ()
jackoMidiOutConnect Str
b1 Str
b2 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> DepT m ()
f (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b2
  where
    f :: E -> E -> DepT m ()
f E
a1 E
a2 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoMidiOutConnect" [(Rate
Xr,[Rate
Sr,Rate
Sr])] [E
a1,E
a2]

-- | 
-- Sends a MIDI channel message to a Jack port.
--
-- Sends a MIDI channel message to a Jack MIDI output port
--       inside this instance of Csound, and in turn to its 
--       connected external Jack MIDI input port.
--
-- >  JackoNoteOut  ScsoundPortName, kstatus, kchannel, kdata1[, kdata2]
--
-- csound doc: <https://csound.com/docs/manual/JackoNoteOut.html>
jackoNoteOut ::  Str -> Sig -> Sig -> Sig -> SE ()
jackoNoteOut :: Str -> Sig -> Sig -> Sig -> SE ()
jackoNoteOut Str
b1 Sig
b2 Sig
b3 Sig
b4 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> E -> E -> E -> Dep ()
forall {m :: * -> *}. Monad m => E -> E -> E -> E -> DepT m ()
f (E -> E -> E -> E -> Dep ())
-> Dep E -> DepT GE (E -> E -> E -> Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Str -> GE E) -> Str -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Str -> GE E
unStr) Str
b1 DepT GE (E -> E -> E -> Dep ())
-> Dep E -> DepT GE (E -> E -> Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b2 DepT GE (E -> E -> Dep ()) -> Dep E -> DepT GE (E -> Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b3 DepT GE (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall a b. DepT GE (a -> b) -> DepT GE a -> DepT GE b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b4
  where
    f :: E -> E -> E -> E -> DepT m ()
f E
a1 E
a2 E
a3 E
a4 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoNoteOut" [(Rate
Xr,[Rate
Sr,Rate
Kr,Rate
Kr,Rate
Kr,Rate
Kr])] [E
a1,E
a2,E
a3,E
a4]

-- | 
-- Enables or disables all Jack ports.
--
-- In the orchestra header, after all Jack connections have been created, enables
--       or disables all Jack input and output opcodes 
--       inside this instance of Csound to read or write data.
--
-- >  JackoOn [iactive] 
--
-- csound doc: <https://csound.com/docs/manual/JackoOn.html>
jackoOn ::   SE ()
jackoOn :: SE ()
jackoOn  =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ Dep () -> DepT GE (Dep ())
forall a. a -> DepT GE a
forall (m :: * -> *) a. Monad m => a -> m a
return (Dep () -> DepT GE (Dep ())) -> Dep () -> DepT GE (Dep ())
forall a b. (a -> b) -> a -> b
$ Dep ()
f 
  where
    f :: Dep ()
f  = Name -> Spec1 -> [E] -> Dep ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoOn" [(Rate
Xr,[Rate
Ir])] []

-- | 
-- Control the Jack transport.
--
-- Starts, stops, or repositions the Jack transport.
--       This is useful, e.g., for starting an external sequencer
--       playing to send MIDI messages to Csound.
--
-- >  JackoTransport  kcommand, [kposition]
--
-- csound doc: <https://csound.com/docs/manual/JackoTransport.html>
jackoTransport ::  Sig -> SE ()
jackoTransport :: Sig -> SE ()
jackoTransport Sig
b1 =
  Dep () -> SE ()
forall a. Dep a -> SE a
SE (Dep () -> SE ()) -> Dep () -> SE ()
forall a b. (a -> b) -> a -> b
$ DepT GE (Dep ()) -> Dep ()
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (DepT GE (Dep ()) -> Dep ()) -> DepT GE (Dep ()) -> Dep ()
forall a b. (a -> b) -> a -> b
$ E -> Dep ()
forall {m :: * -> *}. Monad m => E -> DepT m ()
f (E -> Dep ()) -> Dep E -> DepT GE (Dep ())
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (GE E -> Dep E
forall (m :: * -> *) a. Monad m => m a -> DepT m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (GE E -> Dep E) -> (Sig -> GE E) -> Sig -> Dep E
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sig -> GE E
unSig) Sig
b1
  where
    f :: E -> DepT m ()
f E
a1 = Name -> Spec1 -> [E] -> DepT m ()
forall (m :: * -> *). Monad m => Name -> Spec1 -> [E] -> DepT m ()
opcsDep_ Name
"JackoTransport" [(Rate
Xr,[Rate
Kr,Rate
Kr])] [E
a1]