CLaSH.Signal.MultiSignal

Documentation

data MultiSignal n a

Constructors

MultiSignal

Fields

• unMultiSignal :: Signal (Vec n a)

Instances

Functor (MultiSignal n)

Methods

fmap :: (a -> b) -> MultiSignal n a -> MultiSignal n b

(<$) :: a -> MultiSignal n b -> MultiSignal n a

KnownNat n => Applicative (MultiSignal n)

Methods

pure :: a -> MultiSignal n a

(<*>) :: MultiSignal n (a -> b) -> MultiSignal n a -> MultiSignal n b

(*>) :: MultiSignal n a -> MultiSignal n b -> MultiSignal n b

(<*) :: MultiSignal n a -> MultiSignal n b -> MultiSignal n a

KnownNat n => Foldable (MultiSignal n)

Methods

fold :: Monoid m => MultiSignal n m -> m

foldMap :: Monoid m => (a -> m) -> MultiSignal n a -> m

foldr :: (a -> b -> b) -> b -> MultiSignal n a -> b

foldr' :: (a -> b -> b) -> b -> MultiSignal n a -> b

foldl :: (b -> a -> b) -> b -> MultiSignal n a -> b

foldl' :: (b -> a -> b) -> b -> MultiSignal n a -> b

foldr1 :: (a -> a -> a) -> MultiSignal n a -> a

foldl1 :: (a -> a -> a) -> MultiSignal n a -> a

toList :: MultiSignal n a -> [a]

null :: MultiSignal n a -> Bool

length :: MultiSignal n a -> Int

elem :: Eq a => a -> MultiSignal n a -> Bool

maximum :: Ord a => MultiSignal n a -> a

minimum :: Ord a => MultiSignal n a -> a

sum :: Num a => MultiSignal n a -> a

product :: Num a => MultiSignal n a -> a

(KnownNat m, (~) Nat m ((+) n 1)) => Traversable (MultiSignal m)

Methods

traverse :: Applicative f => (a -> f b) -> MultiSignal m a -> f (MultiSignal m b)

sequenceA :: Applicative f => MultiSignal m (f a) -> f (MultiSignal m a)

mapM :: Monad m => (a -> m b) -> MultiSignal m a -> m (MultiSignal m b)

sequence :: Monad m => MultiSignal m (m a) -> m (MultiSignal m a)

(KnownNat n, (~) Nat n ((+) m 1)) => Prependable (MultiSignal n)

Methods

prepend :: a -> MultiSignal n a -> MultiSignal n a

(Bounded a, KnownNat n) => Bounded (MultiSignal n a)

Methods

minBound :: MultiSignal n a

maxBound :: MultiSignal n a

Eq (MultiSignal n a)

Methods

(==) :: MultiSignal n a -> MultiSignal n a -> Bool

(/=) :: MultiSignal n a -> MultiSignal n a -> Bool

(Fractional a, KnownNat n) => Fractional (MultiSignal n a)

Methods

(/) :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

recip :: MultiSignal n a -> MultiSignal n a

fromRational :: Rational -> MultiSignal n a

(Num a, KnownNat n) => Num (MultiSignal n a)

Methods

(+) :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

(-) :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

(*) :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

negate :: MultiSignal n a -> MultiSignal n a

abs :: MultiSignal n a -> MultiSignal n a

signum :: MultiSignal n a -> MultiSignal n a

fromInteger :: Integer -> MultiSignal n a

(Show a, KnownNat n) => Show (MultiSignal n a)

Methods

showsPrec :: Int -> MultiSignal n a -> ShowS

show :: MultiSignal n a -> String

showList :: [MultiSignal n a] -> ShowS

(Bits a, KnownNat n) => Bits (MultiSignal n a)

Methods

(.&.) :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

(.|.) :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

xor :: MultiSignal n a -> MultiSignal n a -> MultiSignal n a

complement :: MultiSignal n a -> MultiSignal n a

shift :: MultiSignal n a -> Int -> MultiSignal n a

rotate :: MultiSignal n a -> Int -> MultiSignal n a

zeroBits :: MultiSignal n a

bit :: Int -> MultiSignal n a

setBit :: MultiSignal n a -> Int -> MultiSignal n a

clearBit :: MultiSignal n a -> Int -> MultiSignal n a

complementBit :: MultiSignal n a -> Int -> MultiSignal n a

testBit :: MultiSignal n a -> Int -> Bool

bitSizeMaybe :: MultiSignal n a -> Maybe Int

bitSize :: MultiSignal n a -> Int

isSigned :: MultiSignal n a -> Bool

shiftL :: MultiSignal n a -> Int -> MultiSignal n a

unsafeShiftL :: MultiSignal n a -> Int -> MultiSignal n a

shiftR :: MultiSignal n a -> Int -> MultiSignal n a

unsafeShiftR :: MultiSignal n a -> Int -> MultiSignal n a

rotateL :: MultiSignal n a -> Int -> MultiSignal n a

rotateR :: MultiSignal n a -> Int -> MultiSignal n a

popCount :: MultiSignal n a -> Int

(FiniteBits a, KnownNat n) => FiniteBits (MultiSignal n a)

Methods

finiteBitSize :: MultiSignal n a -> Int

countLeadingZeros :: MultiSignal n a -> Int

countTrailingZeros :: MultiSignal n a -> Int

(Default a, KnownNat n, (~) Nat n ((+) m 1)) => Default (MultiSignal n a)

Methods

def :: MultiSignal n a

(SaturatingNum a, KnownNat n, (~) Nat n ((+) m 1)) => SaturatingNum (MultiSignal n a)

Methods

satPlus :: SaturationMode -> MultiSignal n a -> MultiSignal n a -> MultiSignal n a

satMin :: SaturationMode -> MultiSignal n a -> MultiSignal n a -> MultiSignal n a

satMult :: SaturationMode -> MultiSignal n a -> MultiSignal n a -> MultiSignal n a

CoArbitrary a => CoArbitrary (MultiSignal n a)

Methods

coarbitrary :: MultiSignal n a -> Gen b -> Gen b

(Arbitrary a, KnownNat n) => Arbitrary (MultiSignal n a)

Methods

arbitrary :: Gen (MultiSignal n a)

shrink :: MultiSignal n a -> [MultiSignal n a]

(ExtendingNum a b, KnownNat n, (~) Nat n ((+) m 1)) => ExtendingNum (MultiSignal n a) (MultiSignal n b)

Associated Types

type AResult (MultiSignal n a) (MultiSignal n b) :: *

type MResult (MultiSignal n a) (MultiSignal n b) :: *

Methods

plus :: MultiSignal n a -> MultiSignal n b -> AResult (MultiSignal n a) (MultiSignal n b)

minus :: MultiSignal n a -> MultiSignal n b -> AResult (MultiSignal n a) (MultiSignal n b)

times :: MultiSignal n a -> MultiSignal n b -> MResult (MultiSignal n a) (MultiSignal n b)

type MResult (MultiSignal n a) (MultiSignal n b)

type MResult (MultiSignal n a) (MultiSignal n b) = MultiSignal n (MResult a b)

type AResult (MultiSignal n a) (MultiSignal n b)

type AResult (MultiSignal n a) (MultiSignal n b) = MultiSignal n (AResult a b)

Prependable

class Prependable f where

class that can be prepended

rule

 toList (prepend a ax) == a : toList ax

Minimal complete definition

prepend

Methods

prepend :: a -> f a -> f a

Instances

Prependable ZipList

Methods

prepend :: a -> ZipList a -> ZipList a

Prependable (Signal' SystemClock)

Methods

prepend :: a -> Signal' SystemClock a -> Signal' SystemClock a

(KnownNat n, (~) Nat n ((+) m 1)) => Prependable (MultiSignal n)

Methods

prepend :: a -> MultiSignal n a -> MultiSignal n a

Utility functions

type SignalLike f = (Prependable f, Applicative f)

Constraints synonym

mealyP

Arguments

:: SignalLike f

=> (s -> i -> (s, o))

Transfer function in mealy machine form: state -> input -> (newstate,output)

-> s

Initial state

-> f i -> f o

Synchronous sequential function with input and output matching that of the mealy machine

mooreP

Arguments

:: SignalLike f

=> (s -> i -> s)

Transfer function in moore machine form: state -> input -> newstate

-> (s -> o)

Output function in moore machine form: state -> output

-> s

Initial state

-> f i -> f o

Synchronous sequential function with input and output matching that of the moore machine

windowP

Arguments

:: (KnownNat n, Default a, Prependable f)

=> f a

SignalLike to create a window over

-> Vec n (f a)

Vector of signals

Simulation functions (not synthesisable)

fromListP :: NFData a => SNat (n + 1) -> [a] -> MultiSignal (n + 1) a

convert list to MultiSignal

fromListPI :: (NFData a, KnownNat n) => [a] -> MultiSignal (n + 1) a

convert list to MultiSignal

simulateP :: (NFData a, NFData b, KnownNat n) => (MultiSignal (n + 1) a -> MultiSignal (n + 1) b) -> [a] -> [b]

Simulate a (MultiSignal (n + 1) a -> MultiSignal (n + 1) b) function given a list of samples of type a