| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ReWire
Synopsis
- module RWC.Primitives
- error :: String -> a
- externWithSig :: [(String, Integer)] -> String -> String -> [(String, Integer)] -> [(String, Integer)] -> String -> a -> String -> a
- extern :: String -> a -> a
- put :: forall (m :: Type -> Type) s. Monad m => s -> StateT s m ()
- get :: forall (m :: Type -> Type) s. Monad m => StateT s m s
- modify :: forall (m :: Type -> Type) s. Monad m => (s -> s) -> StateT s m ()
- signal :: forall (m :: Type -> Type) o i. Monad m => o -> ReacT i o m i
- lift :: (MonadTrans t, Monad m) => m a -> t m a
- extrude :: forall (m :: Type -> Type) i o s a. Monad m => ReacT i o (StateT s m) a -> s -> ReacT i o m a
- natVal :: forall (n :: Nat). KnownNat n => Proxy n -> Integer
- length :: forall (n :: Nat) a. Vec n a -> Proxy n
- len :: forall (n :: Nat) a. KnownNat n => Vec n a -> Integer
- fromList :: forall (n :: Nat) a. KnownNat n => [a] -> Vec n a
- type Bit = Bool
- type W (n :: Nat) = Vec n Bit
Documentation
module RWC.Primitives
Arguments
| :: [(String, Integer)] | Module parameters (name and integer literal value). |
| -> String | Clock signal name or empty for no clock. |
| -> String | Reset signal name or empty for no reset. |
| -> [(String, Integer)] | Module inputs (name and integer literal bitwidth). |
| -> [(String, Integer)] | Module outputs (name and integer literal bitwidth). |
| -> String | Module name. |
| -> a | Haskell definition to use when interpreting. |
| -> String | Reserved: an instance-name hint; currently ignored by the compiler. |
| -> a |
lift :: (MonadTrans t, Monad m) => m a -> t m a Source #
extrude :: forall (m :: Type -> Type) i o s a. Monad m => ReacT i o (StateT s m) a -> s -> ReacT i o m a Source #