Sound.DF.Uniform.LL.K

Data flow wire values.

Vector

data V_Id

Vector identifier.

Constructors

V_Id Id

Instances

Eq V_Id

Ord V_Id

Show V_Id

data Vec a

Vector type.

Constructors

Vec V_Id Int [a]

Instances

Eq a => Eq (Vec a)

Ord a => Ord (Vec a)

Show a => Show (Vec a)

K' (Vec Float)

Typeable (* -> *) Vec

vec_id :: Vec t -> Id

Id of V_Id of Vec.

vec_concise :: Vec a -> String

Concise pretty printer and Show instance for Vec.

vec_concise (Vec (V_Id 0) 1 [0]) == "vec(0,1)"

K

data K

Sum type for wire values. N = nil, B = boolean, I = integer, F = floating point, V = vector (array).

Constructors

N ()

B Bool

I Int32

F Float

V (Vec Float)

Instances

Eq K

Show K

Typeable * K

k_typeOf :: K -> TypeRep

Typeable instance for K.

map k_typeOf [B False,I 0,F 0.0] == [bool_t,int32_t,float_t]

k_concise :: K -> String

Concise pretty printer and Show instance for K.

TypeRep constants

nil_t :: TypeRep

typeOf ().

bool_t :: TypeRep

typeOf of Bool.

int32_t :: TypeRep

typeOf of Int32.

float_t :: TypeRep

typeOf of Float.

vec_float_t :: TypeRep

typeOf of (Vec Float).

Type classes

class (Typeable a, Eq a, Ord a, Show a) => K' a where

Class for values that can be lifted to K.

Methods

to_k :: a -> K

Instances

K' Bool

K' Float

K' Int32

K' ()

K' (Vec Float)

class (K' a, Ord a) => K_Ord a

Composite of Ord and K'.

Instances

K_Ord Bool

K_Ord Float

K_Ord Int32

class (K_Ord a, Num a) => K_Num a

Composite of K_Ord and Num.

Instances

K_Num Float

K_Num Int32