WAGS.Graph.Decorators

newtype Decorating f

A newtype for a decorator, isomorphic to Exists f where f is a type constructor of type Type -> Type. We use decorating instead of Exists because Exists does not (yet) have an API to work with raw type constructors.

Constructors

• Decorating (Decorating' f)

Instances

• (IsSymbol sym, Lacks sym rest, Cons sym (Decorating Identity) rest r, MakeDecorators b rest) => MakeDecorators (Cons sym (Decorating f) b) r
• (IsSymbol sym, Lacks sym rest, Cons sym (Decorating Identity) q r, Cons sym (Decorating Focus) q r', Cons sym (Record r') rest c, MakeFocusing b r rest) => MakeFocusing (Cons sym (Decorating f) b) r c

type Decorating' f = forall a. a -> f a

The internal type of decorator.

dk :: forall f. Decorating f -> Decorating' f

Retrieves the type constructor from decorating.

class Decorate (a :: Row Type) (b :: Row Type) (c :: Row Type) | a -> b c where

A class for the automatic generation of cursors Given an input row a of decorators, outputs a row b of Identity decorators as well as a Row c of Focus decorators for each key in a. For example:

decorators ::
  Tuple
    { d0: Decorating Identity, d1: Decorating Identity }
    { d0: { d0: Decorating Focus, d1: Decorating Identity }
    , d1: { d0: Decorating Identity, d1: Decorating Focus }
    }
decorators = decorate \{d0, d1} ->
  Speaker (dk d0 SinOsc 440.0 /\ dk d1 SinOsc 880.0 /\ unit)

Check out test/Ops.purs for an example of decorators in use.

Members

• decorate :: forall d. (Record a -> d) -> (Record b) /\ (Record c)

Instances

• (RowToList a rl, MakeDecorators rl b, MakeFocusing rl b c) => Decorate a b c

data Focus a

Used to focus on a specific audio unit when creating a cursor.

Constructors

• Focus a

Instances

• Functor Focus
• Apply Focus
• Applicative Focus

data This

Used as a placeholder for a spcific audio unit when creating a cursor.

Constructors

• This

Instances

• IsAudio This

data IgnoreMe

Used to tell the cursor traversal to ignore an element.

Constructors

• IgnoreMe

Instances

• IsAudio IgnoreMe

class IsAudio (audio :: Type) 

Class to determine if a type is audio.

Instances

• IsAudio (Allpass a b c)
• IsAudio (Bandpass a b c)
• IsAudio (Constant a)
• IsAudio (Convolver a b)
• IsAudio (Delay a b)
• IsAudio (Dup a b)
• IsAudio (DynamicsCompressor a b c d e f)
• IsAudio (Gain a b)
• IsAudio (Highpass a b c)
• IsAudio (Highshelf a b c)
• IsAudio (LoopBuf a)
• IsAudio (Lowpass a b c)
• IsAudio (Lowshelf a b c)
• IsAudio Microphone
• IsAudio (Notch a b c)
• IsAudio (Peaking a b c d)
• IsAudio (PeriodicOsc a)
• IsAudio (PlayBuf a)
• IsAudio (Recorder a b)
• IsAudio (SawtoothOsc a)
• IsAudio (SinOsc a)
• IsAudio (Speaker a)
• IsAudio (SquareOsc a)
• IsAudio (StereoPanner a b)
• IsAudio (TriangleOsc a)
• IsAudio (WaveShaper a b c)
• IsAudio (Proxy s)
• IsAudio This
• IsAudio IgnoreMe
• (IsAudio i) => IsAudio (f i)

class IsMultiAudio (audio :: Type) 

Class to determine if a type is audio or multiple audios.

Instances

• IsMultiAudio Unit
• (IsMultiAudio a, IsMultiAudio b) => IsMultiAudio (Tuple a b)
• (IsAudio a) => IsMultiAudio a

class IsAudioOrF (audioOrF :: Type) 

Class to determine if a type is audio or a closure producing audio.

Instances

• (IsAudio a) => IsAudioOrF (Proxy s -> a)
• (IsAudio a) => IsAudioOrF a

class IsMultiAudioOrF (audioOrF :: Type) 

Class to determine if a type is audio, multiple audios, or a closure producing audio or multiple audios.

Instances

• (IsMultiAudio a) => IsMultiAudioOrF (Proxy s -> a)
• (IsMultiAudio a) => IsMultiAudioOrF a

class IsOversample oversample  where

Class to determine if a type is an oversample directive.

Members

• reflectOversample :: oversample -> Oversample

Instances

• IsOversample OversampleNone
• IsOversample OversampleTwoX
• IsOversample OversampleFourX

class MakeDecorators (rl :: RowList Type) b | rl -> b where

Internal helper class to construct decorators.

Members

• makeDecorators :: Proxy rl -> Record b

Instances

• (IsSymbol sym, Lacks sym rest, Cons sym (Decorating Identity) rest r, MakeDecorators b rest) => MakeDecorators (Cons sym (Decorating f) b) r
• MakeDecorators Nil ()

class MakeFocusing (rl :: RowList Type) (b :: Row Type) (c :: Row Type) | rl b -> c where

Internal helper class to construct focusing decorators.

Members

• makeFocusing :: Proxy rl -> Record b -> Record c

Instances

• (IsSymbol sym, Lacks sym rest, Cons sym (Decorating Identity) q r, Cons sym (Decorating Focus) q r', Cons sym (Record r') rest c, MakeFocusing b r rest) => MakeFocusing (Cons sym (Decorating f) b) r c
• MakeFocusing Nil x ()