CLaSH.Prelude

Documentation

window :: (KnownNat (n + 1), Default a) => Signal a -> Vec ((n + 1) + 1) (Signal a)

windowP :: (KnownNat (n + 1), Default a) => Signal a -> Vec (n + 1) (Signal a)

(<^>) :: (Pack i, Pack o) => (s -> i -> (s, o)) -> s -> SignalP i -> SignalP o

registerP :: Pack a => a -> SignalP a -> SignalP a

blockRam :: forall n m a. (KnownNat n, KnownNat m, Pack a) => SNat n -> Signal (Unsigned m) -> Signal (Unsigned m) -> Signal Bool -> Signal a -> Signal a

blockRamPow2 :: (KnownNat n, KnownNat (n ^ 2), Pack a) => SNat (n ^ 2 :: Nat) -> Signal (Unsigned n) -> Signal (Unsigned n) -> Signal Bool -> Signal a -> Signal a

newtype Comp a b

Constructors

C

Fields

asFunction :: Signal a -> Signal b

Instances

Arrow Comp

ArrowLoop Comp

Category * Comp

(><) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d)

registerC :: a -> Comp a a

simulateC :: Comp a b -> [a] -> [b]

(^^^) :: (s -> i -> (s, o)) -> s -> Comp i o