Sound.DF.Uniform.PhT.Node

Data flow nodes.

Types

data KT ty

Constant with phantom type.

Constructors

KT

Fields

kt_k :: K

Instances

Eq (KT ty)

data DF ty

Data flow node with phantom type.

Constructors

DF

Fields

df_udf :: UDF

Instances

Eq (DF ty)

Floating (DF Float)

Fractional (DF Float)

Num n => Num (DF n)

Eq a => Ord (DF a)

Eq a => Bits (DF a)

Construct, destruct & predicate

k_Int32 :: Int32 -> KT Int32

Lift Int32 to constant, ie. KT of I.

k_Float :: Float -> KT Float

Lift Float to constant, ie. KT of F.

k_zero :: KT ty

A zero with unresolved type, ie. KT of F of 0.

df_Int32 :: Int32 -> DF Int32

Lift Int32 to DF.

df_Float :: Float -> DF Float

Lift Float to DF.

df_tbl_size :: DF a -> Maybe Int

Tables have a guard point.

mrg :: DF a -> DF () -> DF a

Multiple root graph.

Querying data type on ports

df_type :: DF a -> TypeRep

typeOf DF.

Operator cons

mk_a :: String -> [DF a] -> TypeRep -> DF ty

DF of UDF_P.

unary_operator :: String -> DF a -> DF a

Primitive unary operator.

binary_operator :: String -> DF a -> DF a -> DF a

Primitive binary operator.

comparison_operator :: String -> DF a -> DF a -> DF Bool

Primitive comparator.

sink_node :: String -> [DF a] -> DF ()

Primitive sink.

alt_unary_operator :: (String, String) -> DF a -> DF a

Primitive unary operator with separate primitives for integral and floating types.

df_vec_m :: UId m => [Float] -> m (DF (Vec Float))

Lift list of float to DF Vec.

Ord

df_eq :: DF a -> DF a -> DF Bool

==, equal to.

df_lt :: Num a => DF a -> DF a -> DF Bool

<, less than.

df_gte :: Num a => DF a -> DF a -> DF Bool

>=, greater than or equal to.

df_gt :: Num a => DF a -> DF a -> DF Bool

>, greater than.

n_lte :: Num a => DF a -> DF a -> DF Bool

<=, less than or equal to.

RealFrac

df_ceilingf :: DF Float -> DF Float

ceilf(3)

df_floorf :: DF Float -> DF Float

floorf(3)

df_lrintf :: DF Float -> DF Int32

lrintf(3)

df_roundf :: DF Float -> DF Float

roundf(3)

Primitives

out1 :: DF Float -> DF ()

Single channel output.

out2 :: DF Float -> DF Float -> DF ()

Two channel output.

out3 :: DF Float -> DF Float -> DF Float -> DF ()

Three channel output.

ctl1 :: DF Int32 -> DF Float

Single control input.

select2 :: DF Bool -> DF a -> DF a -> DF a

If p then q else r. p must have type bool, and q and r must have equal types.

w_sample_rate :: DF Float

Operating sample rate.

b_read :: DF Int32 -> DF Int32 -> DF Float

Buffer read, read from buffer p at index q.

b_write :: DF Int32 -> DF Int32 -> DF Float -> DF ()

Buffer write, write to buffer p at index q value r.

a_read :: DF (Vec Float) -> DF Int32 -> DF Float

Array read.

a_write :: DF (Vec Float) -> DF Int32 -> DF Float -> DF ()

Array write.

Backward arcs

rec_r :: R_Id -> KT a -> (DF a -> (DF a, DF a)) -> DF a

Introduce backward arc with implicit unit delay.

rec :: UId m => KT a -> (DF a -> (DF a, DF a)) -> m (DF a)

Monadic variant of rec_r.

recm :: UId m => KT a -> (DF a -> m (DF a, DF a)) -> m (DF a)

Variant or rec with monadic action in backward arc.