Csound.SigSpace

Documentation

class SigSpace a where

A class for easy way to process the outputs of the instruments.

Minimal complete definition

mapSig

Methods

mapSig :: (Sig -> Sig) -> a -> a

Instances

SigSpace Sig

Methods

mapSig :: (Sig -> Sig) -> Sig -> Sig

SigSpace (SE (Sig, Sig))

Methods

mapSig :: (Sig -> Sig) -> SE (Sig, Sig) -> SE (Sig, Sig)

SigSpace (SE (Sig, Sig, Sig))

Methods

mapSig :: (Sig -> Sig) -> SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

SigSpace (SE (Sig, Sig, Sig, Sig))

Methods

mapSig :: (Sig -> Sig) -> SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

SigSpace (SE Sig)

Methods

mapSig :: (Sig -> Sig) -> SE Sig -> SE Sig

SigSpace a => SigSpace (Seg a)

Methods

mapSig :: (Sig -> Sig) -> Seg a -> Seg a

SigSpace (Sig, Sig)

Methods

mapSig :: (Sig -> Sig) -> (Sig, Sig) -> (Sig, Sig)

SigSpace a => SigSpace (Patch b a)

Methods

mapSig :: (Sig -> Sig) -> Patch b a -> Patch b a

SigSpace (Sig, Sig, Sig)

Methods

mapSig :: (Sig -> Sig) -> (Sig, Sig, Sig) -> (Sig, Sig, Sig)

SigSpace (Sig, Sig, Sig, Sig)

Methods

mapSig :: (Sig -> Sig) -> (Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig)

class SigSpace a => BindSig a where

A class for easy way to process the outputs of the instruments.

Minimal complete definition

bindSig

Methods

bindSig :: (Sig -> SE Sig) -> a -> SE a

Instances

BindSig Sig

Methods

bindSig :: (Sig -> SE Sig) -> Sig -> SE Sig

BindSig (SE (Sig, Sig))

Methods

bindSig :: (Sig -> SE Sig) -> SE (Sig, Sig) -> SE (SE (Sig, Sig))

BindSig (SE (Sig, Sig, Sig))

Methods

bindSig :: (Sig -> SE Sig) -> SE (Sig, Sig, Sig) -> SE (SE (Sig, Sig, Sig))

BindSig (SE (Sig, Sig, Sig, Sig))

Methods

bindSig :: (Sig -> SE Sig) -> SE (Sig, Sig, Sig, Sig) -> SE (SE (Sig, Sig, Sig, Sig))

BindSig (SE Sig)

Methods

bindSig :: (Sig -> SE Sig) -> SE Sig -> SE (SE Sig)

BindSig (Sig, Sig)

Methods

bindSig :: (Sig -> SE Sig) -> (Sig, Sig) -> SE (Sig, Sig)

BindSig (Sig, Sig, Sig)

Methods

bindSig :: (Sig -> SE Sig) -> (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

BindSig (Sig, Sig, Sig, Sig)

Methods

bindSig :: (Sig -> SE Sig) -> (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

mul :: SigSpace a => Sig -> a -> a

Scaling the sound.

on :: SigSpace a => Sig -> Sig -> a -> a

Rescaling of the bipolar signal (-1, 1) -> (a, b)

on a b biSig

uon :: SigSpace a => Sig -> Sig -> a -> a

Rescaling of the unipolar signal (0, 1) -> (a, b)

on a b uniSig

class SigSpace b => At a b c where

Minimal complete definition

at

Associated Types

type AtOut a b c :: *

Methods

at :: (a -> b) -> c -> AtOut a b c

Instances

At Sig2 Sig2 Sig2

Associated Types

type AtOut Sig2 Sig2 Sig2 :: *

Methods

at :: (Sig2 -> Sig2) -> Sig2 -> AtOut Sig2 Sig2 Sig2

At Sig2 Sig2 Sig

Associated Types

type AtOut Sig2 Sig2 Sig :: *

Methods

at :: (Sig2 -> Sig2) -> Sig -> AtOut Sig2 Sig2 Sig

At Sig Sig2 Sig2

Associated Types

type AtOut Sig Sig2 Sig2 :: *

Methods

at :: (Sig -> Sig2) -> Sig2 -> AtOut Sig Sig2 Sig2

At Sig Sig2 Sig

Associated Types

type AtOut Sig Sig2 Sig :: *

Methods

at :: (Sig -> Sig2) -> Sig -> AtOut Sig Sig2 Sig

SigSpace a => At Sig Sig a

Associated Types

type AtOut Sig Sig a :: *

Methods

at :: (Sig -> Sig) -> a -> AtOut Sig Sig a

At Sig2 Sig2 (SE Sig2)

Associated Types

type AtOut Sig2 Sig2 (SE Sig2) :: *

Methods

at :: (Sig2 -> Sig2) -> SE Sig2 -> AtOut Sig2 Sig2 (SE Sig2)

At Sig2 Sig2 (SE Sig)

Associated Types

type AtOut Sig2 Sig2 (SE Sig) :: *

Methods

at :: (Sig2 -> Sig2) -> SE Sig -> AtOut Sig2 Sig2 (SE Sig)

At Sig Sig2 (SE Sig2)

Associated Types

type AtOut Sig Sig2 (SE Sig2) :: *

Methods

at :: (Sig -> Sig2) -> SE Sig2 -> AtOut Sig Sig2 (SE Sig2)

At Sig Sig2 (SE Sig)

Associated Types

type AtOut Sig Sig2 (SE Sig) :: *

Methods

at :: (Sig -> Sig2) -> SE Sig -> AtOut Sig Sig2 (SE Sig)

At Sig2 (SE Sig2) Sig2

Associated Types

type AtOut Sig2 (SE Sig2) Sig2 :: *

Methods

at :: (Sig2 -> SE Sig2) -> Sig2 -> AtOut Sig2 (SE Sig2) Sig2

At Sig2 (SE Sig2) Sig

Associated Types

type AtOut Sig2 (SE Sig2) Sig :: *

Methods

at :: (Sig2 -> SE Sig2) -> Sig -> AtOut Sig2 (SE Sig2) Sig

At Sig (SE Sig) Sig2

Associated Types

type AtOut Sig (SE Sig) Sig2 :: *

Methods

at :: (Sig -> SE Sig) -> Sig2 -> AtOut Sig (SE Sig) Sig2

At Sig (SE Sig) Sig3

Associated Types

type AtOut Sig (SE Sig) Sig3 :: *

Methods

at :: (Sig -> SE Sig) -> Sig3 -> AtOut Sig (SE Sig) Sig3

At Sig (SE Sig) Sig4

Associated Types

type AtOut Sig (SE Sig) Sig4 :: *

Methods

at :: (Sig -> SE Sig) -> Sig4 -> AtOut Sig (SE Sig) Sig4

At Sig (SE Sig) Sig

Associated Types

type AtOut Sig (SE Sig) Sig :: *

Methods

at :: (Sig -> SE Sig) -> Sig -> AtOut Sig (SE Sig) Sig

At Sig2 (SE Sig2) (SE Sig2)

Associated Types

type AtOut Sig2 (SE Sig2) (SE Sig2) :: *

Methods

at :: (Sig2 -> SE Sig2) -> SE Sig2 -> AtOut Sig2 (SE Sig2) (SE Sig2)

At Sig2 (SE Sig2) (SE Sig)

Associated Types

type AtOut Sig2 (SE Sig2) (SE Sig) :: *

Methods

at :: (Sig2 -> SE Sig2) -> SE Sig -> AtOut Sig2 (SE Sig2) (SE Sig)

At Sig (SE Sig) (SE Sig2)

Associated Types

type AtOut Sig (SE Sig) (SE Sig2) :: *

Methods

at :: (Sig -> SE Sig) -> SE Sig2 -> AtOut Sig (SE Sig) (SE Sig2)

At Sig (SE Sig) (SE Sig3)

Associated Types

type AtOut Sig (SE Sig) (SE Sig3) :: *

Methods

at :: (Sig -> SE Sig) -> SE Sig3 -> AtOut Sig (SE Sig) (SE Sig3)

At Sig (SE Sig) (SE Sig4)

Associated Types

type AtOut Sig (SE Sig) (SE Sig4) :: *

Methods

at :: (Sig -> SE Sig) -> SE Sig4 -> AtOut Sig (SE Sig) (SE Sig4)

At Sig (SE Sig) (SE Sig)

Associated Types

type AtOut Sig (SE Sig) (SE Sig) :: *

Methods

at :: (Sig -> SE Sig) -> SE Sig -> AtOut Sig (SE Sig) (SE Sig)

class (SigSpace b, At a b c) => MixAt a b c where

It applies an effect and mixes the processed signal with original one. The first argument is for proportion of drywet (originalprocessed). It's like at but it allows to balance processed signal with original one.

Minimal complete definition

mixAt

Methods

mixAt :: Sig -> (a -> b) -> c -> AtOut a b c

Instances

MixAt Sig2 Sig2 Sig2

Methods

mixAt :: Sig -> (Sig2 -> Sig2) -> Sig2 -> AtOut Sig2 Sig2 Sig2

MixAt Sig2 Sig2 Sig

Methods

mixAt :: Sig -> (Sig2 -> Sig2) -> Sig -> AtOut Sig2 Sig2 Sig

MixAt Sig Sig2 Sig2

Methods

mixAt :: Sig -> (Sig -> Sig2) -> Sig2 -> AtOut Sig Sig2 Sig2

MixAt Sig Sig2 Sig

Methods

mixAt :: Sig -> (Sig -> Sig2) -> Sig -> AtOut Sig Sig2 Sig

SigSpace a => MixAt Sig Sig a

Methods

mixAt :: Sig -> (Sig -> Sig) -> a -> AtOut Sig Sig a

MixAt Sig2 Sig2 (SE Sig2)

Methods

mixAt :: Sig -> (Sig2 -> Sig2) -> SE Sig2 -> AtOut Sig2 Sig2 (SE Sig2)

MixAt Sig2 Sig2 (SE Sig)

Methods

mixAt :: Sig -> (Sig2 -> Sig2) -> SE Sig -> AtOut Sig2 Sig2 (SE Sig)

MixAt Sig Sig2 (SE Sig2)

Methods

mixAt :: Sig -> (Sig -> Sig2) -> SE Sig2 -> AtOut Sig Sig2 (SE Sig2)

MixAt Sig Sig2 (SE Sig)

Methods

mixAt :: Sig -> (Sig -> Sig2) -> SE Sig -> AtOut Sig Sig2 (SE Sig)

MixAt Sig2 (SE Sig2) Sig2

Methods

mixAt :: Sig -> (Sig2 -> SE Sig2) -> Sig2 -> AtOut Sig2 (SE Sig2) Sig2

MixAt Sig2 (SE Sig2) Sig

Methods

mixAt :: Sig -> (Sig2 -> SE Sig2) -> Sig -> AtOut Sig2 (SE Sig2) Sig

MixAt Sig (SE Sig) Sig2

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> Sig2 -> AtOut Sig (SE Sig) Sig2

MixAt Sig (SE Sig) Sig3

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> Sig3 -> AtOut Sig (SE Sig) Sig3

MixAt Sig (SE Sig) Sig4

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> Sig4 -> AtOut Sig (SE Sig) Sig4

MixAt Sig (SE Sig) Sig

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> Sig -> AtOut Sig (SE Sig) Sig

MixAt Sig2 (SE Sig2) (SE Sig2)

Methods

mixAt :: Sig -> (Sig2 -> SE Sig2) -> SE Sig2 -> AtOut Sig2 (SE Sig2) (SE Sig2)

MixAt Sig2 (SE Sig2) (SE Sig)

Methods

mixAt :: Sig -> (Sig2 -> SE Sig2) -> SE Sig -> AtOut Sig2 (SE Sig2) (SE Sig)

MixAt Sig (SE Sig) (SE Sig2)

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> SE Sig2 -> AtOut Sig (SE Sig) (SE Sig2)

MixAt Sig (SE Sig) (SE Sig3)

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> SE Sig3 -> AtOut Sig (SE Sig) (SE Sig3)

MixAt Sig (SE Sig) (SE Sig4)

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> SE Sig4 -> AtOut Sig (SE Sig) (SE Sig4)

MixAt Sig (SE Sig) (SE Sig)

Methods

mixAt :: Sig -> (Sig -> SE Sig) -> SE Sig -> AtOut Sig (SE Sig) (SE Sig)

bat :: At Sig a b => (Sig -> a) -> b -> AtOut Sig a b

It applies an effect and balances the processed signal by original one.

bmixAt :: MixAt Sig a b => Sig -> (Sig -> a) -> b -> AtOut Sig a b

It applies an effect and balances the processed signal by original one. Also it applies an effect and mixes the processed balanced signal with original one.

cfd :: (Num a, SigSpace a) => Sig -> a -> a -> a

Crossfade.

cfd coeff sig1 sig2

If coeff equals 0 then we get the first signal and if it equals 1 we get the second signal.

cfd4 :: (Num a, SigSpace a) => Sig -> Sig -> a -> a -> a -> a -> a

Bilinear interpolation for four signals. The signals are placed in the corners of the unit square. The first two signals are the xy coordinates in the square.

cfd4 x y a b c d

• (0, 0) is for a
• (1, 0) is for b
• (1, 1) is for c
• (0, 1) is for d

cfds :: (Num a, SigSpace a) => [Sig] -> [a] -> a

Generic crossfade for n coefficients and n+1 signals.

cfds coeffs sigs

cfdSpec :: Sig -> Spec -> Spec -> Spec

Spectral crossfade.

cfdSpec4 :: Sig -> Sig -> Spec -> Spec -> Spec -> Spec -> Spec

Spectral bilinear crossfade (see cfd4).

cfdsSpec :: [Sig] -> [Spec] -> Spec

Generic spectral crossfade.

wsum :: (Num a, SigSpace a) => [(Sig, a)] -> a

Weighted sum.

Orphan instances

Fractional (SE (Sig, Sig))

Methods

(/) :: SE (Sig, Sig) -> SE (Sig, Sig) -> SE (Sig, Sig)

recip :: SE (Sig, Sig) -> SE (Sig, Sig)

fromRational :: Rational -> SE (Sig, Sig)

Fractional (SE (Sig, Sig, Sig))

Methods

(/) :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

recip :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

fromRational :: Rational -> SE (Sig, Sig, Sig)

Fractional (SE (Sig, Sig, Sig, Sig))

Methods

(/) :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

recip :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

fromRational :: Rational -> SE (Sig, Sig, Sig, Sig)

Fractional (SE Sig)

Methods

(/) :: SE Sig -> SE Sig -> SE Sig

recip :: SE Sig -> SE Sig

fromRational :: Rational -> SE Sig

Num (SE (Sig, Sig))

Methods

(+) :: SE (Sig, Sig) -> SE (Sig, Sig) -> SE (Sig, Sig)

(-) :: SE (Sig, Sig) -> SE (Sig, Sig) -> SE (Sig, Sig)

(*) :: SE (Sig, Sig) -> SE (Sig, Sig) -> SE (Sig, Sig)

negate :: SE (Sig, Sig) -> SE (Sig, Sig)

abs :: SE (Sig, Sig) -> SE (Sig, Sig)

signum :: SE (Sig, Sig) -> SE (Sig, Sig)

fromInteger :: Integer -> SE (Sig, Sig)

Num (SE (Sig, Sig, Sig))

Methods

(+) :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

(-) :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

(*) :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

negate :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

abs :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

signum :: SE (Sig, Sig, Sig) -> SE (Sig, Sig, Sig)

fromInteger :: Integer -> SE (Sig, Sig, Sig)

Num (SE (Sig, Sig, Sig, Sig))

Methods

(+) :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

(-) :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

(*) :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

negate :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

abs :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

signum :: SE (Sig, Sig, Sig, Sig) -> SE (Sig, Sig, Sig, Sig)

fromInteger :: Integer -> SE (Sig, Sig, Sig, Sig)

Num (SE Sig)

Methods

(+) :: SE Sig -> SE Sig -> SE Sig

(-) :: SE Sig -> SE Sig -> SE Sig

(*) :: SE Sig -> SE Sig -> SE Sig

negate :: SE Sig -> SE Sig

abs :: SE Sig -> SE Sig

signum :: SE Sig -> SE Sig

fromInteger :: Integer -> SE Sig

Fractional (a -> (Sig, Sig, Sig, Sig))

Methods

(/) :: (a -> (Sig, Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

recip :: (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

fromRational :: Rational -> a -> (Sig, Sig, Sig, Sig)

Fractional (a -> (Sig, Sig, Sig))

Methods

(/) :: (a -> (Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

recip :: (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

fromRational :: Rational -> a -> (Sig, Sig, Sig)

Fractional (a -> (Sig, Sig))

Methods

(/) :: (a -> (Sig, Sig)) -> (a -> (Sig, Sig)) -> a -> (Sig, Sig)

recip :: (a -> (Sig, Sig)) -> a -> (Sig, Sig)

fromRational :: Rational -> a -> (Sig, Sig)

Fractional (a -> Sig)

Methods

(/) :: (a -> Sig) -> (a -> Sig) -> a -> Sig

recip :: (a -> Sig) -> a -> Sig

fromRational :: Rational -> a -> Sig

Fractional (a -> SE (Sig, Sig, Sig, Sig))

Methods

(/) :: (a -> SE (Sig, Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

recip :: (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

fromRational :: Rational -> a -> SE (Sig, Sig, Sig, Sig)

Fractional (a -> SE (Sig, Sig, Sig))

Methods

(/) :: (a -> SE (Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

recip :: (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

fromRational :: Rational -> a -> SE (Sig, Sig, Sig)

Fractional (a -> SE (Sig, Sig))

Methods

(/) :: (a -> SE (Sig, Sig)) -> (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

recip :: (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

fromRational :: Rational -> a -> SE (Sig, Sig)

Fractional (a -> SE Sig)

Methods

(/) :: (a -> SE Sig) -> (a -> SE Sig) -> a -> SE Sig

recip :: (a -> SE Sig) -> a -> SE Sig

fromRational :: Rational -> a -> SE Sig

Fractional (Sig, Sig)

Methods

(/) :: (Sig, Sig) -> (Sig, Sig) -> (Sig, Sig)

recip :: (Sig, Sig) -> (Sig, Sig)

fromRational :: Rational -> (Sig, Sig)

Num (a -> SE (Sig, Sig, Sig, Sig))

Methods

(+) :: (a -> SE (Sig, Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

(-) :: (a -> SE (Sig, Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

(*) :: (a -> SE (Sig, Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

negate :: (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

abs :: (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

signum :: (a -> SE (Sig, Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig, Sig)

fromInteger :: Integer -> a -> SE (Sig, Sig, Sig, Sig)

Num (a -> SE (Sig, Sig, Sig))

Methods

(+) :: (a -> SE (Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

(-) :: (a -> SE (Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

(*) :: (a -> SE (Sig, Sig, Sig)) -> (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

negate :: (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

abs :: (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

signum :: (a -> SE (Sig, Sig, Sig)) -> a -> SE (Sig, Sig, Sig)

fromInteger :: Integer -> a -> SE (Sig, Sig, Sig)

Num (a -> SE (Sig, Sig))

Methods

(+) :: (a -> SE (Sig, Sig)) -> (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

(-) :: (a -> SE (Sig, Sig)) -> (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

(*) :: (a -> SE (Sig, Sig)) -> (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

negate :: (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

abs :: (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

signum :: (a -> SE (Sig, Sig)) -> a -> SE (Sig, Sig)

fromInteger :: Integer -> a -> SE (Sig, Sig)

Num (a -> SE Sig)

Methods

(+) :: (a -> SE Sig) -> (a -> SE Sig) -> a -> SE Sig

(-) :: (a -> SE Sig) -> (a -> SE Sig) -> a -> SE Sig

(*) :: (a -> SE Sig) -> (a -> SE Sig) -> a -> SE Sig

negate :: (a -> SE Sig) -> a -> SE Sig

abs :: (a -> SE Sig) -> a -> SE Sig

signum :: (a -> SE Sig) -> a -> SE Sig

fromInteger :: Integer -> a -> SE Sig

Num (a -> (Sig, Sig, Sig, Sig))

Methods

(+) :: (a -> (Sig, Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

(-) :: (a -> (Sig, Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

(*) :: (a -> (Sig, Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

negate :: (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

abs :: (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

signum :: (a -> (Sig, Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig, Sig)

fromInteger :: Integer -> a -> (Sig, Sig, Sig, Sig)

Num (a -> (Sig, Sig, Sig))

Methods

(+) :: (a -> (Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

(-) :: (a -> (Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

(*) :: (a -> (Sig, Sig, Sig)) -> (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

negate :: (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

abs :: (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

signum :: (a -> (Sig, Sig, Sig)) -> a -> (Sig, Sig, Sig)

fromInteger :: Integer -> a -> (Sig, Sig, Sig)

Num (a -> (Sig, Sig))

Methods

(+) :: (a -> (Sig, Sig)) -> (a -> (Sig, Sig)) -> a -> (Sig, Sig)

(-) :: (a -> (Sig, Sig)) -> (a -> (Sig, Sig)) -> a -> (Sig, Sig)

(*) :: (a -> (Sig, Sig)) -> (a -> (Sig, Sig)) -> a -> (Sig, Sig)

negate :: (a -> (Sig, Sig)) -> a -> (Sig, Sig)

abs :: (a -> (Sig, Sig)) -> a -> (Sig, Sig)

signum :: (a -> (Sig, Sig)) -> a -> (Sig, Sig)

fromInteger :: Integer -> a -> (Sig, Sig)

Num (a -> Sig)

Methods

(+) :: (a -> Sig) -> (a -> Sig) -> a -> Sig

(-) :: (a -> Sig) -> (a -> Sig) -> a -> Sig

(*) :: (a -> Sig) -> (a -> Sig) -> a -> Sig

negate :: (a -> Sig) -> a -> Sig

abs :: (a -> Sig) -> a -> Sig

signum :: (a -> Sig) -> a -> Sig

fromInteger :: Integer -> a -> Sig

Fractional (Sig, Sig, Sig)

Methods

(/) :: (Sig, Sig, Sig) -> (Sig, Sig, Sig) -> (Sig, Sig, Sig)

recip :: (Sig, Sig, Sig) -> (Sig, Sig, Sig)

fromRational :: Rational -> (Sig, Sig, Sig)

Fractional (Sig, Sig, Sig, Sig)

Methods

(/) :: (Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig)

recip :: (Sig, Sig, Sig, Sig) -> (Sig, Sig, Sig, Sig)

fromRational :: Rational -> (Sig, Sig, Sig, Sig)